Fuente TeX:
\text{no }Y\Rightarrow \text{no }X