Symbole donc ∴

Cliquez sur ∴ pour copier le signe donc ou sur ∵ pour car. Ces triangles à trois points font gagner du temps dans les démonstrations mathématiques, la logique et les notes rapides, et chaque symbole ici se copie en un clic.

Comment le taper 25 symboles sur cette page

Donc et car2

Symboles de démonstration et de logique12

Signes à trois points ressemblants8

Motifs de points similaires avec des significations différentes.

Prêts à coller3

Comment taper ∴

Copier-coller

Cliquez sur pour le copier, puis collez avec Ctrl + V (⌘ + V sur Mac) ou par un appui long sur mobile.

Windows

Appuyez sur Win + . pour ouvrir le panneau des emojis et symboles, puis recherchez « donc ».

Dans Microsoft Word, tapez 2234 puis appuyez sur Alt + X.

Mac

Appuyez sur Control + ⌘ + Space pour ouvrir le Visualiseur de caractères, puis recherchez « donc ».

iPhone et Android

Copiez-le ici puis collez-le. Pour le retaper plus tard, enregistrez-le comme remplacement de texte (iPhone : Réglages › Général › Clavier › Remplacement de texte ; Gboard : Paramètres › Dictionnaire › Dictionnaire personnel).

HTML et CSS

Unicode U+2234. Tous les formats figurent sur la page Page donc.

Codes de symbole donc

SymboleNomUnicodeHTMLCode Alt
donc U+2234 ∴ –
car U+2235 ∵ –
rightwards double arrow U+21D2 ⇒ –
long rightwards double arrow U+27F9 ⟹ –
rightwards arrow U+2192 → Alt 26
left right double arrow U+21D4 ⇔ –
right tack U+22A2 ⊢ –
end of proof U+220E ∎ –
white square U+25A1 □ –
for all U+2200 ∀ –
there exists U+2203 ∃ –
not sign U+00AC ¬ Alt 170
logical and U+2227 ∧ –
logical or U+2228 ∨ –
one dot over two dots punctuation U+2E2B ⸫ –
two dots over one dot punctuation U+2E2A ⸪ –
three dot punctuation U+2056 ⁖ –
historic site U+26EC ⛬ –
proportion U+2237 ∷ –
four dot punctuation U+2058 ⁘ –
vertical ellipsis U+22EE ⋮ –
up right diagonal ellipsis U+22F0 ⋰ –

Que signifient ∴ et ∵

Le signe donc ∴ est formé de trois points disposés en triangle pointe en haut. Il introduit une conclusion : x + 3 = 5, ∴ x = 2. Son image miroir, le signe car ∵, pointe vers le bas et introduit une raison : ∵ les trois côtés sont égaux, le triangle est équilatéral.

Une façon simple de les distinguer : ∴ repose fermement sur deux points, comme une conclusion qui s'appuie sur ce qui précède, tandis que ∵ tient en équilibre sur un seul point.

Les deux signes sont courants dans les démonstrations de géométrie à l'école, en logique et dans les notes manuscrites rapides, où ∴ est bien plus rapide que d'écrire « donc ». Dans les articles formels, beaucoup d'auteurs préfèrent une flèche comme ⇒ ou simplement le mot lui-même.

Autres usages et signes qui se ressemblent

Les francs-maçons utilisent ∴ après les abréviations : vous pouvez donc le voir dans les noms et titres de loges. Plusieurs caractères se ressemblent mais ont un autre sens : ⸫ et ⸪ sont des signes de ponctuation, ⛬ est un symbole de carte pour un site historique, et ∷ est le signe de proportion, comme dans a : b ∷ c : d. Retrouvez d'autres motifs de points sur la page symbole point, et les signes à deux points sur la page symbole deux-points.

Comment taper le symbole donc

Il n'y a pas de code Alt ni de raccourci Option sur Mac pour ∴ : le copier est donc généralement le plus rapide. Dans Microsoft Word, tapez 2234 puis appuyez sur Alt + X (utilisez 2235 pour ∵). Sur Mac, ouvrez le Visualiseur de caractères avec Control + Commande + Espace et cherchez « therefore » ou « donc ». Dans Google Docs, utilisez Insertion > Caractères spéciaux.

En LaTeX, écrivez \therefore et \because ; les deux nécessitent le package amssymb. En HTML, utilisez ∴ pour ∴ ou, en HTML5, ∵ pour ∵. Pour d'autres signes utilisés dans les démonstrations, consultez la liste complète des symboles mathématiques.

Questions fréquentes

Que signifie ∴ ?

Il signifie « donc ». Il se place devant une conclusion qui découle de l'étape précédente.

Quel est le symbole car ?

∵ est le symbole « car ». Il ressemble au signe donc retourné, avec un point en bas et deux en haut.

Comment taper le symbole donc ?

Copiez-le depuis cette page, tapez 2234 puis Alt + X dans Word, ou utilisez \therefore en LaTeX avec le package amssymb.