Fuente TeX:
\Rightarrow x = y; z = z