Fuente TeX:

v(\alpha) = v(\neg p_i)