$$x \neq y$$ genera
nota: la negazione logica si ottiene con $$\neg A$$ che genera
» Glossario Termini Matematici in Linguaggio LaTeX