Zdroj TeX:
a|b \wedge a|c, \; b ≥ c