Źródło TeX:

(e=P \wedge \Delta e=N) \Rightarrow (\Delta CV=Z)