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

X + Y \subseteq \langle X \cup Y\rangle