Fuente TeX:

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