Fuente TeX:

\scriptstyle{\alpha\rightarrow \neg\bot }