Zdroj TeX:
\;\;(1 \neq0 \in \small O