Προέλευση/πηγή TeX:

\dim A\cap B = \dim A + \dim B - \dim A\cup B .