Zdroj TeX:

\small \forall P,Q\in \mathbb{E}_n:  Q=P+(Q-P)