Fuente TeX:

\scriptstyle{\Gamma \neq \oslash \Rightarrow \Gamma \vdash \varphi}