Solución:
La negación de símbolos en LaTeX se logra típicamente anteponiéndola not. Por ejemplo
documentclass{article}
begin{document}
$18 equiv 0 (textrm{mod} 9) notequiv 2 (textrm{mod} 9)$
end{document}
Para símbolos más elaborados, más grandes o largos, puede utilizar el cancel paquete. En esos casos not puede no proporcionar una negación suficientemente centrada. El centernot paquete también proporciona un centrado not para símbolos con mayor dimensión horizontal.
El carácter ≢ está en Unicode como U + 2262 y se puede ingresar directamente con unicode-math. El comando para ello es nequiv en muchos paquetes, incluyendo unicode-math, pxfonts, txfonts, newpxmath, newtxmath, stix, stix2, mnsymbol y fdsymbol.
Otras técnicas de búsqueda de símbolos se describen en ¿Cómo buscar un símbolo o identificar un símbolo o carácter matemático?
Aquí hay una respuesta tardía alternativa usando https://ctan.org/pkg/unicode-math, por lo tanto, requiere LuaLaTeX o XeLaTeX. El ejemplo utiliza varios modulo macros del paquete amsmath.
documentclass{memoir}
usepackage{fontspec,amsmath,unicode-math}
begin{document}
Here's to you, Donald and Leslie;
begin{align*}
18 &equiv 0 bmod 9, \
18 &nequiv 1 mod 9, \
18 &equiv 0 pmod 9, \
18 &nequiv 1 pod 9.
end{align*}
end{document}
