A mathematical statement of the equivalence of two quantities. The equality `` is equal to '' is written .