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