Fuente TeX:

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