Fuente TeX:
\alpha \ eq \ \lnot f(\alpha)