TeX source:
b \leq a \Rightarrow a=b