M Notation In Logic Notation