Źródło TeX:

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