MathML - Simboli logici
Di seguito è riportato un elenco di simboli logici disponibili in MathML.
| Simbolo MathML | Entità HTML | Codice esadecimale | Descrizione |
|---|---|---|---|
| ¬ | &non; | & # x00ac; | Per specificare la negazione |
| ∧ | &e; | & # x2227; | Per specificare la congiunzione logica |
| ∨ | &o; | & # x2228; | Per specificare la disgiunzione logica |
| ⊻ | & veebar; | & # x22bb; | Per specificare la disgiunzione esclusiva |
| ∀ | &per tutti; | & # x2200; | Specificare la quantificazione universale |
| ∃ | &esistere; | & # x2203; | Specificare la quantificazione esistenziale |
| ⇒ | & rarr; | & # x21d2; | Specificare le implicazioni materiali |
| ⇔ | & harr; | & # x21d4; | Per specificare l'equivalenza materiale |
| ◻ | & emptysmallsquare; | & # x25fb; | Specificare necessariamente |
| ◊ | & loz; | & # x25ca; | Specificare possibilmente |
| ⊢ | & vdash; | & # x22a2; | Specificare dimostrabile |
| ⊨ | & vdash; | & # x22a8; | Specificare comporta |
| ∴ | & there4; | & # x2234; | Specificare quindi |