Fuente TeX:

\scriptstyle{(\bar{\forall} \alpha,\beta \in PROP)(\alpha \rightarrow \beta \; \models \; (\beta \rightarrow \gamma) \rightarrow (\alpha \rightarrow \gamma) )}