Zdroj TeX:
\small \overrightarrow{AX} = \overrightarrow{AY} \Rightarrow X = Y