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