Fuente TeX:
v_2(\neg p_0)=1