Fuente TeX:

\scriptsize{(\bar{\forall} t \in TERM_{C_L}) (F(t^A) = t^A)}