Zdroj TeX:

a|b \wedge a|c