Zdroj TeX:

\small \left( \left| AS\right| =\left| BS \right| ∧\left| BS\right| =\left| CS \right| \right) ⇒\left( \left| AS\right| =\left| CS \right| \right)