Remark
74
[1Y7]It is customary to write \(a≥ b\) as a synonym for \(b≤ a\). If \(a≤ b∧ a≠ b\) we will write \(a{\lt}b\); similarly if \(a≥ b∧ a≠ b\) we write \(a{\gt}b\). Beware that if the relation is not total, it is not true in general that \(¬ (a≤ b)\) is equivalent to \(a{\gt}b\).
See in this regard the exercise [067].