Zdroj TeX:

\small [\forall n (\phi (n) \Rightarrow \phi (n'))]