Coded Inequalities:
P $ Q means P is neither equal to nor smaller than Q.
P $\otimes$ Q means P is not smaller than Q.
P * Q means P is neither greater nor smaller than Q.
P # Q means P is neither greater than nor equal to Q.
P @ Q means P is not greater than Q
(I) M $ P(II) P * M