Źródło TeX:

{\neg \textbf 1=\textbf 0}