Zdroj TeX:

\small (T \in \omega ) \wedge (AT \perp OA );(OT \perp TA' )