Signe de non-congruence en LaTeX (\ncong)

Où il est utilisé

Signe de congruence barré : deux figures ou objets ne sont pas isométriques, ou pas isomorphes.

En géométrie, \triangle ABC \ncong \triangle DEF indique que les triangles ne sont pas isométriques ; en algèbre, \cong signifie souvent « isomorphe », donc G \ncong H indique que deux groupes ne sont pas isomorphes. C’est une relation, l’espacement est donc automatique. Préférez ce glyphe précomposé à \not\cong, qui superpose une barre générique parfois décentrée sur le symbole. Parmi les relations niées apparentées figurent \neq et \nsim. Si vous employez \cong pour l’isomorphisme, précisez la catégorie ou la structure lorsqu’elle n’est pas évidente, car deux espaces peuvent être homéomorphes sans être isomorphes en tant que groupes.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Congruent: $\ncong$

\[ \mathbb{Z}_4 \ncong \mathbb{Z}_2 \times \mathbb{Z}_2 \]
\end{document}

Symboles associés

• Tilde (relation)\sim
• Isomorphisme (isométrie)\cong
• Signe semblable ou égal\simeq
• Non-parallélisme\nparallel
• Arc\frown
• Parallélisme\parallel

Questions fréquentes

Comment écrire Signe de non-congruence en LaTeX ?

Tapez \ncong en mode mathématique, par exemple $\mathbb{Z}_4 \ncong \mathbb{Z}_2 \times \mathbb{Z}_2$. Chargez d’abord amssymb avec \usepackage{amssymb}.

Quel paquet faut-il pour \ncong ?

\ncong nécessite amssymb : ajoutez \usepackage{amssymb} au préambule avant le début du document.

Peut-on utiliser \ncong en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\ncong$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ≆ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).