Fuente TeX:

v(\varphi)=1 \Rightarrow v(\psi)=1