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