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