Можно воспользоваться тегом notex, он предотвращает интерпретацию того, что внутри, как формул.
(Оффтоп)
Пусть $X=\varnothing$, тогда $$\varnothing\cap A=\varnothing\cup B,\eqno(1)$$ из чего следует, что $B=\varnothing$.
Пусть $X=U$, тогда $U\cap A=U\cup B$; из этого и (1) следует, что $A=U$.
Для красоты можно дополнительно заключить формулы в тег tt (зелёный моноширинный шрифт).
(Оффтоп)
Пусть $X=\varnothing$, тогда $$\varnothing\cap A=\varnothing\cup B,\eqno(1)$$ из чего следует, что $B=\varnothing$.
Пусть $X=U$, тогда $U\cap A=U\cup B$; из этого и (1) следует, что $A=U$.
Спору нет, эти варианты не так удобны, и нет syntax highlighting.