Fuente TeX:

\Leftarrow 2.4.5 \, (\exists) \text{ y sust. }