Fuente TeX:
\Leftarrow 2.4.5 \, (\lnot)