Źródło TeX:

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