Zdroj TeX:
a\ >\ b \Rightarrow \neg (b\ >\ a)