MathML - Symboles logiques
Voici une liste des symboles logiques disponibles dans MathML.
| Symbole MathML | Entité HTML | Code hexadécimal | La description |
|---|---|---|---|
| ¬ | &ne pas; | & # x00ac; | Pour spécifier la négation |
| ∧ | &et; | & # x2227; | Pour spécifier une conjonction logique |
| ∨ | &ou; | & # x2228; | Pour spécifier une disjonction logique |
| ⊻ | & veebar; | & # x22bb; | Pour spécifier une disjonction exclusive |
| ∀ | &pour tous; | & # x2200; | Pour spécifier la quantification universelle |
| ∃ | &exister; | & # x2203; | Pour spécifier la quantification existentielle |
| ⇒ | & rarr; | & # x21d2; | Pour spécifier l'implication matérielle |
| ⇔ | & harr; | & # x21d4; | Pour spécifier l'équivalence matière |
| ◻ | & emptysmallsquare; | & # x25fb; | A spécifier obligatoirement |
| ◊ | & loz; | & # x25ca; | A préciser éventuellement |
| ⊢ | & vdash; | & # x22a2; | Pour spécifier prouvable |
| ⊨ | & vdash; | & # x22a8; | Spécifier implique |
| ∴ | & there4; | & # x2234; | Préciser donc |