MAJ: Greater than

Definition: The statement (q1 MAJ q2) expresses that the number or quantity q1 exceeds the number or quantity q2. See also MAJE.