Źródło TeX:

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