Zdroj TeX:

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