Źródło TeX:
F \cup \textbf 1 = \textbf 1