Zdroj TeX:

b|a \wedge a|c