Zdroj TeX:
\small \forall X \in k \Rightarrow X \in HYP