Losange en LaTeX (\diamond)

Où il est utilisé

Petit opérateur binaire en losange, utilisé pour des opérations génériques et dans certaines notations modales et algébriques.

\diamond apparaît comme opération binaire quelconque (a \diamond b), dans le produit losange de la théorie de Lie et en théorie des automates. La logique modale note la possibilité avec un losange plus grand, généralement \Diamond ou \lozenge, plutôt qu'avec cette petite version d'opérateur binaire. Comme \diamond est un opérateur binaire, l'utiliser comme opérateur préfixe devant une formule donne un espacement étrange ; utilisez \Diamond ou encadrez-le ainsi : {\diamond}p. Il diffère de \diamondsuit, l'enseigne de carreau des cartes à jouer, qui est un symbole ordinaire.

Exemple minimal compilable

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

\documentclass{article}
\begin{document}
Diamond: $\diamond$

\[ a \diamond (b \diamond c) = (a \diamond b) \diamond c \]
\end{document}

Symboles associés

• Grand cercle\bigcirc
• Point épais (bullet)\bullet
• Triangle vers le haut\triangle
• Composition\circ
• Triangle vers le bas\triangledown
• Astérisque\ast

Questions fréquentes

Comment écrire Losange en LaTeX ?

Tapez \diamond en mode mathématique, par exemple $a \diamond (b \diamond c) = (a \diamond b) \diamond c$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \diamond ?

Aucun. \diamond fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \diamond 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 $\diamond$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⋄ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).