MathML - Símbolos Lógicos
A seguir está uma lista de símbolos lógicos disponíveis no MathML.
| Símbolo MathML | Entidade HTML | Código Hex | Descrição |
|---|---|---|---|
| ¬ | &não; | & # x00ac; | Para especificar a negação |
| ∧ | &e; | & # x2227; | Para especificar a conjunção lógica |
| ∨ | &ou; | & # x2228; | Para especificar disjunção lógica |
| ⊻ | & veebar; | & # x22bb; | Para especificar disjunção exclusiva |
| ∀ | ¶ todos; | & # x2200; | Para especificar a quantificação universal |
| ∃ | &existir; | & # x2203; | Para especificar a quantificação existencial |
| ⇒ | & rarr; | & # x21d2; | Para especificar a implicação material |
| ⇔ | & harr; | & # x21d4; | Para especificar a equivalência do material |
| ◻ | & emptysmallsquare; | & # x25fb; | Para especificar necessariamente |
| ◊ | & loz; | & # x25ca; | Para especificar possivelmente |
| ⊢ | & vdash; | & # x22a2; | Para especificar provável |
| ⊨ | & vdash; | & # x22a8; | Especificar implica |
| ∴ | & there4; | & # x2234; | Para especificar portanto |