TeX source:
\not {x=-5 \sqrt{2}}