16.2 Symboles mathématiques

LaTeX fournit presque tout symbole mathématique dont vous êtes susceptible d’avoir besoin. Par exemple, si vous incluez $\pi$ dans votre code source, alors vous obtenez le symbole pi π. Voir le paquetage « Comprehensive LaTeX Symbol List », https://ctan.org/pkg/comprehensive.

Ci-dessous se trouve une liste de symboles usuels. Ce n’est en aucun cas une liste exhaustive. Chaque symbole y est décrit brièvement et avec sa classe de symbole (qui détermine l’espacement autour de lui) qui est donnée entre parenthèses. Les commandes pour ces symboles peuvent, sauf mention contraire, être utilisées seulement en mode mathématique. Pour redéfinir une commande de sorte à pouvoir l’utiliser quel que soit le mode, voir \ensuremath.

\|

∥ Parallèle (relation). Synonyme : \parallel.

\aleph

ℵ Aleph, cardinal transfini (ordinaire).

\alpha

α Lettre grecque en bas de casse alpha (ordinaire).

\amalg

⨿ Union disjointe (binaire)

\angle

∠ Angle géométrique (ordinaire). Similaire : signe inférieur-à < et chevron \langle.

\approx

≈ Presque égal à (relation).

\ast

∗ Opérateur astérisque, convolution, à six branches (binaire). Synonyme : *, ce qui est souvent un indice supérieur ou inférieur, comme dans l’étoile de Kleene. Similaire : \star, qui est à cinq branches, et est quelquefois utilisée comme une opération binaire générale, et quelquefois réservée pour la corrélation croisée.

\asymp

≍ Équivalent asymptotiquement (relation).

\backslash

\ controblique (ordinaire). Similaire : soustraction d’ensemble \setminus, et \textbackslash pour une controblique en dehors du mode mathématique.

\beta

β Lettre grecque en bas de casse bêta (ordinaire).

\bigcap

⋂ De taille Variable, ou n-aire, intersection (opérateur). Similaire : intersection binaire \cap.

\bigcirc

⚪ Cercle, plus grand (binaire). Similaire : composition de fonction \circ.

\bigcup

⋃ De taille variable, ou n-aire, union (opérateur). Similaire : union binaire \cup.

\bigodot

⨀ De taille variable, ou n-aire, opérateur point encerclé (opérateur).

\bigoplus

⨁ De taille variable, ou n-aire, opérateur plus encerclé (opérateur).

\bigotimes

⨂ De taille variable, ou n-aire, opérateur multiplié encerclé (opérateur).

\bigtriangledown

▽ De taille variable, ou n-aire, triangle ouvert pointant vers le bas(opérateur).

\bigtriangleup

△ De taille variable, ou n-aire, triangle ouvert pointant vers le haut (opérateur).

\bigsqcup

⨆ De taille variable, ou n-aire, union carrée (opérateur).

\biguplus

⨄ De taille variable, ou n-aire, opérateur union avec un plus (opérateur). (Notez que le nom a juste un p.)

\bigvee

⋁ De taille variable, ou n-aire, ou-logique (opérateur).

\bigwedge

⋀ De taille variable, ou n-aire, et-logique (opérateur).

\bot

⊥ Taquet vers le haut, minimum, plus petit élément d’un ensemble partiellement ordonné, ou une contradiction (ordinaire). Voir aussi \top.

\bowtie

⋈ Jonction naturelle de deux relations (relation).

\Box

□ Opérateur modal pour la nécessité ; boîte ouverte carrée (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\bullet

• Puce (binaire). Similaire : point de multiplication \cdot.

\cap

∩ Intersection de deux ensembles (binaire). Similaire : opérateur de taille variable \bigcap.

\cdot

⋅ Multiplication (binaire). Similaire : Point puce \bullet.

\chi

χ Lettre grecque en bas de casse chi (ordinaire).

\circ

∘ Composition de fonctions, opérateur rond (binaire). Similaire : opérateur de taille variable \bigcirc.

\clubsuit

♣ Trèfle de carte à jouer (ordinaire).

\complement

∁ Complément d’ensemble, utilisée en indice supérieur comme dans $S^\complement$ (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. On utilise aussi : $S^{\mathsf{c}}$ ou $\bar{S}$.

\cong

≅ Congruent (relation).

\coprod

∐ Coproduit (opérateur).

\cup

∪ Réunion de deux ensembles (binaire). opérateur de taille variable \bigcup.

\dagger

† Relation obèle (binaire).

\dashv

⊣ Taquet gauche, tiret avec barre verticale à droite, tourniquet pour gauchers (relation). Similaire : taquet droit, tourniquet \vdash.

\ddagger

‡ Relation double obèle (binaire).

\Delta

Δ Delta grec capital, utilisé pour indiquer une incrémentation (ordinaire).

\delta

δ Delta grec bas-de-casse (ordinaire).

\Diamond

◇ Opérateur grand carreau (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\diamond

⋄ Opérateur Carreau, ou puce carreau (binaire). Similaire : grand carreau \Diamond, puce disque \bullet.

\diamondsuit

♢ Carreau de carte à jouer (ordinaire).

\div

÷ Signe de division, obélus (binaire).

\doteq

≐ Approche la limite (relation). Similaire : géométriquement égal à \Doteq.

\downarrow

↓ Flèche vers le bas, converge (relation). Similaire : flèche à ligne double vers le bas \Downarrow.

\Downarrow

⇓ Flèche à ligne double vers le bas (relation). Similaire : flèche à ligne simple vers le bas \downarrow.

\ell

ℓ Lettre l bas de casse cursive (ordinaire).

\emptyset

∅ Symbole ensemble vide (ordinaire). La forme en variante est \varnothing.

\epsilon

ϵ Lettre grecque bas de casse epsilon lunaire (ordinaire). Semblable à la lettre en texte grec. En mathématiques on utilise plus fréquemment l’epsilon minuscule de ronde \varepsilon ε. En relation avec : la relation ensembliste « appartenir à » \in ∈.

\equiv

≡ Équivalence (relation).

\eta

η Lettre grecque en bas de casse (ordinaire).

\exists

∃ Quanteur « Il existe » (ordinaire).

\flat

♭ Bémol (ordinaire).

\forall

∀ Quanteur « Pour tout » (ordinaire).

\frown

⌢ Moue (ordinaire).

\Gamma

Γ Lettre grecque en capitale (ordinaire).

\gamma

γ Lettre grecque en bas de casse (ordinaire).

\ge

≥ Supérieur ou égal à (relation). Synonyme : \geq.

\geq

≥ Supérieur ou égal à (relation). Synonyme : \ge.

\gets

← Auquel est assignée la valeur (relation). Synonyme : \leftarrow.

\gg

≫ Beaucoup plus grand que (relation). Similaire : Beaucoup plus petit que \ll.

\hbar

ℏ Constante de Planck sur deux pi (ordinaire).

\heartsuit

♡ Cœur de carte jouer (ordinaire).

\hookleftarrow

↩ Flèche vers la gauche avec crochet (relation).

\hookrightarrow

↪ Flèche vers la gauche avec crochet (relation).

\iff

⟷ Si et seulement si (relation). C’est un \Longleftrightarrow avec un \thickmuskip de chaque côté.

\Im

ℑ Partie imaginaire (ordinaire). Voir aussi : partie réelle \Re.

\imath

i sans point ; utilisé quand on place un accent sur un i (voir Math accents).

\in

∈ Appartient à (relation). Voir aussi : lettre grecque bas de casse epsilon lunaire \epsilon ϵ et l’epsilon minuscule de ronde \varepsilon.

\infty

∞ Infini (ordinaire).

\int

∫ Intégrale (opérateur).

\iota

ι Lettre grecque en bas de casse (ordinaire).

\Join

⨝ Symbole jointure condensé (relation). Ceci n’est pas disponible en TeX de base.

\jmath

j sans point ; utilisé quand on place un accent sur un j (voir Math accents).

\kappa

κ Lettre grecque en bas de casse (ordinaire).

\Lambda

Λ Lettre grecque en capitale (ordinaire).

\lambda

λ Lettre grecque en bas de casse (ordinaire).

\land

∧ Et logique (binaire). Synonyme : \wedge. Voir aussi ou-logique \lor.

\langle

⟨ Chevron mathématique gauche, ou séquence, crochet (ouvrant). Similaire : inférieur à <. Correspond à \rangle.

\lbrace

{ Accolade gauche (ouvrant). Synonyme : \{. Correspond à \rbrace.

\lbrack

[ Crochet gauche (ouvrant). Synonyme : [. Correspond à \rbrack.

\lceil

⌈ Plafond à gauche, ressemble à un crochet mais avec le pied coupé (ouvrant). Correspond à \rceil.

\le

≤ Inférieur ou égal à (relation). C’est un synonyme de \leq.

\leadsto

⇝ flèche vers la droite en tire-bouchon (relation). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\Leftarrow

⇐ Est impliqué par, flèche vers la gauche à double-ligne (relation). Similaire : flèche vers la gauche à simple ligne \leftarrow.

\leftarrow

← Flèche vers la gauche à simple ligne (relation). Synonyme : \gets. Similaire : Flèche vers la gauche à double-ligne \Leftarrow.

\leftharpoondown

↽ Harpon vers la gauche à simple ligne avec crochet vers le bas (relation).

\leftharpoonup

↼ Harpon vers la gauche à simple ligne avec crochet vers le haut (relation).

\Leftrightarrow

⇔ Bi-implication ; double flèche bilatérale (relation). Similaire : flèche bilatérale \leftrightarrow.

\leftrightarrow

↔ Flèche bilatérale (relation). Similaire : double flèche bilatérale \Leftrightarrow.

\leq

≤ Inférieur ou égal à (relation). Synonyme : \le.

\lfloor

⌊ Plancher à gauche (ouvrant). Correspond à : \rfloor.

\lhd

◁ Pointe de flèche, c.-à-d. triangle pointant vers la gauche (binaire). Pour le symbole normal de sous-groupe on doit charger amssymb et utiliser \vartriangleleft (qui est une relation et ainsi donne un meilleur espacement).

\ll

≪ Beaucoup plus petit que (relation). Similaire : Beaucoup plus grand que \gg.

\lnot

¬ Négation logique (ordinaire). Synonyme : \neg.

\longleftarrow

⟵ Longue flèche vers la gauche à ligne simple (relation). Similaire : longue flèche gauche à ligne double \Longleftarrow.

\longleftrightarrow

⟷ Longue flèche bilatérale à ligne simple (relation). Similaire : longue flèche bilatérale à ligne double \Longleftrightarrow.

\longmapsto

⟼ Longue flèche d’un taquet vers la droite à ligne simple (relation). Similaire : version courte \mapsto.

\longrightarrow

⟶ Longue flèche vers la droite à ligne simple (relation). Similaire : longue flèche vers la droite à ligne double \Longrightarrow.

\lor

∨ Ou-logique (binaire). Synonyme : \vee. Voir aussi et-logique \land.

\mapsto

↦ Flèche d’un taquet vers la droite (relation). Similaire : version longue \longmapsto.

\mho

℧ Conductance, symbole Ohm culbuté (ordinaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\mid

∣ Barre verticale à ligne simple (relation). une utilisation typique de \mid est pour un ensemble \{\, x \mid x\geq 5 \,\}.

Similaire : \vert et | produisent le même symbole de barre verticale à ligne simple mais sans aucun espacement (on les classe comme « ordinaires ») et vous ne devriez pas les utiliser comme symbole de relation mais seulement comme des ordinaux, c.-à-d. comme des symboles de note en bas de page. Pour dénoter une valeur absolue, voir l’entrée de \vert et pour une norme voir l’entrée de \Vert.

\models

⊨ inclut ; portillon/tourniquet à double barre, barre verticale et double tiret court (relation). Similaire : barre verticale et double tiret long \vDash.

\mp

∓ Moins ou plus (relation).

\mu

μ Lettre grecque en bas de casse (ordinaire).

\nabla

∇ Del de Hamilton, ou nabla, ou différentiel, opérateur (ordinaire).

\natural

♮ Bécarre (ordinaire).

\ne

≠ Non égal (relation). Synonyme : \neq.

\nearrow

↗ Flèche nord-est (relation).

\neg

¬ Négation logique (ordinaire). Synonyme : \lnot. Utilisé parfois au lieu du symbole de négation: \sim.

\neq

≠ Non égal (relation). Synonyme : \ne.

\ni

∋ Signe d’appartenance réfléchi ; « contient comme élément » (relation). Synonyme : \owns. Similaire : « appartient à » \in.

\not

̸ Barre oblique longue utilisée pour rayer un opérateur la suivant (relation).

Beaucoup opérateurs en négation qui n’ont pas besoin de \not sont disponibles, en particulier avec le paquetage amssymb. Par exemple, \notin est sans doute préférable à \not\in d’un point de vue typographique.

\notin

∉ N’appartient pas à (relation). Similaire : non contenu dans \nsubseteq.

\nu

ν Lettre grecque en bas de casse (ordinaire).

\nwarrow

↖ Flèche nord-ouest (relation).

\odot

⊙ Point cerclé (binaire). Similaire : opérateur de taille variable \bigodot.

\oint

∮ Intégrale de contour, intégrale avec un cercle au milieu (opérateur).

\Omega

Ω Lettre grecque en capitale (ordinaire).

\omega

ω Lettre grecque en bas de casse (ordinaire).

\ominus

⊖ Signe moins, ou tiret, cerclé (binaire).

\oplus

⊕ Signe plus cerclé (binaire). Similaire : opérateur de taille variable \bigoplus.

\oslash

⊘ Barre de fraction, ou barre oblique, cerclée (binaire).

\otimes

⊗ Signe de multiplication, ou croix, cerclé (binaire). Similaire : opérateur de taille variable \bigotimes.

\owns

∋ Epsilon d’appartenance réfléchi ; « contient comme élément » (relation). Synonyme : \ni. Similaire : appartient à \in.

\parallel

∥ Parallèle (relation). Synonyme : \|.

\partial

∂ Différentielle partielle (ordinaire).

\perp

⟂ Perpendiculaire (relation). Similaire : \bot utilise le même glyphe mais l’espacement est différent parce qu’il est dans la classe ordinaire.

\Phi

Φ Lettre grecque capitale (ordinaire).

\phi

ϕ Lettre grecque en bas de casse (ordinaire). La forme en variante est \varphi φ.

\Pi

Π Lettre grecque en capitale (ordinaire).

\pi

π Lettre grecque en bas de casse (ordinaire). La forme en variante est \varpi ϖ.

\pm

± Plus or minus (binaire).

\prec

≺ Précède (relation). Similaire : inférieur à <.

\preceq

⪯ Précède ou égal, précède par-dessus signe égal à une ligne (relation). Similaire : inférieur ou égal \leq.

\prime

′ Prime, ou minute au sein d’une expression temporelle (ordinaire). Typiquement utilisé en indice supérieur $A^\prime$. Il est à noter que $f^\prime$ et $f'$ produisent le même résultat. Un avantage de la seconde forme est que $f'''$ produit le symbole désiré, c.-à-d. le même résultat que $f^{\prime\prime\prime}$, mais en nécessitant moins de saisie. Il est à noter que vous ne pouvez utiliser \prime qu’en mode mathématique. Utiliser le quote ' en mode texte produit un caractère différent (apostrophe ou guillemet anglais simple de droite).

\prod

∏ Produit (opérateur).

\propto

∝ Proportionnel à (relation)

\Psi

Ψ Lettre grecque en capitale (ordinaire).

\psi

ψ Lettre grecque en bas de casse (ordinaire).

\rangle

⟩ Chevron mathématique droit, ou séquence, crochet (fermant). Similaire : supérieur à >. Correspond à \langle.

\rbrace

} Accolade de droite (fermante). Synonyme : \}. Correspond à \lbrace.

\rbrack

] Crochet droit (fermant). Synonyme : ]. Correspond à \lbrack.

\rceil

⌉ Plafond droit (fermant). Correspond à \lceil.

\Re

ℜ Partie réelle, nombres réels, R capital gothique (ordinaire). En relation avec : R majuscule ajouré, ou gras de tableau d’école \mathbb{R} ; pour accéder à cela charger le paquetage amsfonts.

\restriction

↾ Restriction d’une fonction (relation). Synonyme : \upharpoonright. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\revemptyset

⦰ Symbole ensemble vide inversé (ordinaire). En relation avec : \varnothing. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage stix.

\rfloor

⌋ Plancher droit, un crochet droit avec la dent du haut coupée (fermant). Correspond à \lfloor.

\rhd

◁ Pointe de flèche, c.-à-d. u triangle pointant vers la droite (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. Pour le symbole normal de sous-groupe vous devriez plutôt charger amssymb et utiliser \vartriangleright (qui est une relation et ainsi donne un meilleur espacement).

\rho

ρ Lettre grecque en bas de casse (ordinaire). La forme en variante est \varrho ϱ.

\Rightarrow

⇒ Implique, flèche vers la droite à double-ligne (relation). Similaire : flèche vers la droite \rightarrow.

\rightarrow

→ Flèche vers la droite à ligne simple (relation). Synonyme : \to. Similaire : flèche vers droite à ligne double \Rightarrow.

\rightharpoondown

⇁ Harpon vers la droite avec crochet vers le bas (relation).

\rightharpoonup

⇀ Harpon vers la droite avec crochet vers la haut (relation).

\rightleftharpoons

⇌ Harpon vers la droite avec crochet vers le haut au dessus d’un harpon vers la gauche avec crochet vers le bas (relation).

\searrow

↘ Flèche pointant sud-est (relation).

\setminus

⧵ Différence ensembliste, barre de faction inversée ou controblique, comme \ (binaire). Similaire : controblique \backslash et aussi \textbackslash hors du mode mathématique.

\sharp

♯ Dièse (ordinaire).

\Sigma

Σ Lettre grecque en capitale (ordinaire).

\sigma

σ Lettre grecque en bas de casse (ordinaire). La forme en variante est \varsigma ς.

\sim

∼ Similaire à, dans une relation (relation).

\simeq

≃ Similaire ou égal à, dans une relation (relation).

\smallint

∫ Signe intégrale qui ne change pas en taille plus grande au sein d’une formule hors texte (opérateur).

\smile

⌣ Arc concave en haut, sourire (ordinaire).

\spadesuit

♠ Pique de carte à jouer (ordinaire).

\sqcap

⊓ Symbole d’intersection carré (binaire). Similaire : intersection cap.

\sqcup

⊔ Symbole d’union carré (binaire). Similaire : union \cup. En relation avec : opérateur de taille variable \bigsqcup.

\sqsubset

⊏ Symbole carré de sous-ensemble (relation). Similaire : sous-ensemble \subset. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\sqsubseteq

⊑ Symbole carré de sous-ensemble ou égal (binaire). Similaire : sous-ensemble ou égal \subseteq.

\sqsupset

⊐ Symbole carré de sur-ensemble (relation). Similaire : superset \supset. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\sqsupseteq

⊒ Symbole carré de sur-ensemble ou égal (binaire). Similaire : sur-ensemble ou égal \supseteq.

\star

⋆ Étoile à cinq branches, quelquefois utilisée comme une opération binaire générale mais quelquefois réservée pour la corrélation croisée (binaire). Similaire : les synonymes astérisque * et \ast, qui sont à six branches, et apparaissent plus souvent comme indice supérieur et inférieur, comme c’est le cas avec l’étoile de Kleene.

\subset

⊂ Est contenu (occasionnellement, est impliqué par) (relation).

\subseteq

⊆ Est contenu ou égal à (relation).

\succ

≻ Vient après, suit (relation). Similaire : inférieur à >.

\succeq

⪰ Suit ou est égal à (relation). Similaire : inférieur ou égal à \leq.

\sum

∑ Summation (opérateur). Similaire : Lettre grecque capitale \Sigma.

\supset

⊃ Contient (relation).

\supseteq

⊇ Contient ou est égal à (relation).

\surd

√ Symbole racine (ordinaire). La commande LaTeX \sqrt{..} compose la racine de l’argument, avec une barre qui s’étend pour couvrir l’argument.

\swarrow

↙ Flèche pointant au sud-ouest (relation).

\tau

τ Lettre grecque en bas de casse (ordinaire).

\theta

θ Lettre grecque en bas de casse (ordinaire). La forme en variante est \vartheta ϑ.

\times

× Signe de multiplication d’école primaire (binaire). Voir aussi \cdot.

\to

→ Flèche en ligne simple vers la droite (relation). Synonyme : \rightarrow.

\top

⊤ Taquet vers le haut ; dessus, plus grand élément d’un ensemble partiellement ordonné (ordinaire). Voir aussi \bot.

\triangle

△ Triangle (ordinaire).

\triangleleft

◁ Triangle non-rempli pointant à gauche (binaire). Similaire : \lhd. Pour le symbole normal de sous-groupe vous devez charger amssymb et utiliser \vartriangleleft (qui est une relation et ainsi donne un meilleur espacement).

\triangleright

▷ Triangle non-rempli pointant à droite (binaire). Pour le symbole normal de sous-groupe vous devez à la place charger amssymb et utiliser \vartriangleright (qui est une relation et ainsi donne un meilleur espacement).

\unlhd

⊴ Pointe de flèche non-pleine soulignée pointant vers la gauche, c.-à-d. triangle avec une ligne au-dessous (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. Pour le symbole normal de sous-groupe chargez amssymb et utilisez \vartrianglelefteq (qui est une relation et ainsi donne un meilleur espacement).

\unrhd

⊵ Pointe de flèche non-pleine soulignée pointant vers la droite, c.-à-d. triangle avec une ligne au-dessous (binaire). Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb. Pour le symbole normal de sous-groupe chargez amssymb et utilisez \vartrianglerighteq (qui est une relation et ainsi donne un meilleur espacement).

\Uparrow

⇑ Flèche vers le haut à ligne double (relation). Similaire : flèche vers le haut à ligne simple \uparrow.

\uparrow

↑ Single-line upward-pointing flèche, diverges (relation). Similaire : double-line up-pointing flèche \Uparrow.

\Updownarrow

⇕ Double-line upward-and-downward-pointing flèche (relation). Similaire : single-line upward-and-downward-pointing flèche \updownarrow.

\updownarrow

↕ flèche haut et bas à ligne simple (relation). Similaire : flèche haut et bas à ligne double \Updownarrow.

\upharpoonright

↾ Harpon vers le haut avec crochet à droite (relation). Synonyme : \restriction. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\uplus

⊎ Union de multiensemble, un symbole union avec un symbole plus en son sein (binaire). Similaire : union \cup. En relation avec : opérateur de taille variable \biguplus.

\Upsilon

Υ Lettre grecque en capitale (ordinaire).

\upsilon

υ Lettre grecque en bas de casse (ordinaire).

\varepsilon

ε Epsilon de ronde en bas de casse (ordinaire). Plus largement utilise en mathématique que la forme non variante epsilon lunaire \epsilon ϵ. En relation avec : « appartient à » \in.

\vanothing

∅ Symbole ensemble vide. Similaire : \emptyset. En relation avec : \revemptyset. Ceci n’est pas disponible en TeX de base. En LaTeX vous devez charger le paquetage amssymb.

\varphi

φ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \phi ϕ.

\varpi

ϖ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \pi π.

\varrho

ϱ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \rho ρ.

\varsigma

ς Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \sigma σ.

\vartheta

ϑ Variante de la lettre grecque bas de casse (ordinaire). La forme non en variante est \theta θ.

\vdash ⊢ Taquet droit ; prouve, implique ;

portillon/tourniquet ; barre verticale et un tiret (relation). Similaire : portillon inversé \dashv.

\vee

∨ Ou logique ; une forme de v pointant vers le bas (binaire). En relation avec : Et logique \wedge. Similaire : Opérateur de taille variable \bigvee.

\Vert

‖ Double barre verticale (ordinaire). Similaire : barre verticale simple \vert.

Le paquetage mathtools vous permet de créer des commandes pour des délimiteurs appairés. Par ex., si vous mettez \DeclarePairedDelimiter\norm{\lVert}{\rVert} dans votre préambule, ceci vous donne trois variantes de commande pour faire des barres verticales correctement espacées horizontalement : si dans le corps du document vous écrivez la version étoilée $\norm*{M^\perp}$ alors la hauteur des barres verticales correspond à celle de l’argument, alors qu’avec \norm{M^\perp} les barres ne grandissent pas avec la hauteur de l’argument mais à la place reste de la hauteur par défaut, et \norm[commande-taille]{M^\perp} donne aussi des barres qui ne grandissent pas mais sont de la taille donnée dans la commande-taille, par ex. \Bigg.

\vert

| Barre verticale simple (ordinaire). Similaire : barre à double-ligne verticale \Vert. Pour usage tel qu’au sein de la définition d’un ensemble, utilisez \mid parce que c’est une relation.

Pour une valeur absolue vous pouvez utiliser le paquetage mathtools et ajouter \DeclarePairedDelimiter\abs{\lvert}{\rvert} à votre préambule. Ceci vous donne trois variantes de commande pour les barres simples verticales qui sont correctement espacées verticalement : si dans le corps du document vous écrivez la version étoilée $\abs*{\frac{22}{7}}$ alors la hauteur des barres verticales correspond à la hauteur de l’argument, alors qu’avec \abs{\frac{22}{7}} les barres ne grandissent pas avec l’argument mais à la place sont de la hauteur par défaut, et \abs[commande-taille]{\frac{22}{7}} donne aussi des barres qui ne grandissent pas mais qui sont réglées à la taille donnée par la commande-taille, par ex. \Bigg.

\wedge

∧ Et logique (binaire). Synonyme : \land. Voir aussi ou logique \vee. Similaire : opérateur de taille variable \bigwedge.

\wp

℘ « p » de Weierstrass, fonction elliptique de Weierstrass (ordinaire).

\wr

≀ Produit couronne (binaire).

\Xi

Ξ Lettre grecque en capitale (ordinaire).

\xi

ξ Lettre grecque en bas de casse (ordinaire).

\zeta

ζ Lettre grecque en bas de casse (ordinaire).

Les symboles suivants sont utilisés le plus souvent en texte simple mais LaTeX fourni des versions pour être utilisés dans du texte mathématique.

\mathdollar

Signe dollar en mode mathématique : $.

\mathparagraph

Signe paragraphe (pied-de-mouche) en mode mathématique : ¶.

\mathsection

Signe section en mode mathématique : §.

\mathsterling

Signe livre sterling mode mathématique : £.

\mathunderscore

Signe « souligné » en mode mathématique : _.