Źródło TeX:

{\neg \textbf 0=\textbf 1}