Fuente TeX:

\scriptstyle{\bar{\forall} v \, valuacion \, : \, v(\alpha \rightarrow \beta)=1 \, : \, v((\beta \rightarrow \gamma) \rightarrow (\alpha \rightarrow \gamma))=1}