Fuente TeX:

\displaystyle \forall \varphi \in FORM,\forall t\in TER{{M}_{C}}