Fuente TeX:

\Leftarrow 2.4.5 \, (\lnot) \text{ (usado en el otro sentido esta vez) }