Zdroj TeX:

k \bot a' \; \wedge \; k \bot b'; \; a', b' \subset \alpha