Fuente TeX:

\scriptstyle{\alpha \rightarrow \beta \; \models \; (\beta \rightarrow \gamma) \rightarrow (\alpha \rightarrow \gamma) }