MathML - Símbolos lógicos
A continuación se muestra una lista de símbolos lógicos disponibles en MathML.
| Símbolo MathML | Entidad HTML | Código hexadecimal | Descripción |
|---|---|---|---|
| ¬ | &no; | & # x00ac; | Para especificar la negación |
| ∧ | &y; | & # x2227; | Para especificar la conjunción lógica |
| ∨ | &o; | & # x2228; | Para especificar la disyunción lógica |
| ⊻ | & veebar; | & # x22bb; | Para especificar la disyunción exclusiva |
| ∀ | ¶ todos; | & # x2200; | Para especificar la cuantificación universal |
| ∃ | &existe; | & # x2203; | Para especificar la cuantificación existencial |
| ⇒ | & rarr; | & # x21d2; | Para especificar la implicación material |
| ⇔ | & harr; | & # x21d4; | Para especificar la equivalencia de material |
| ◻ | & emptysmallsquare; | & # x25fb; | Para especificar necesariamente |
| ◊ | & loz; | & # x25ca; | Para especificar posiblemente |
| ⊢ | & vdash; | & # x22a2; | Para especificar demostrable |
| ⊨ | & vdash; | & # x22a8; | Para especificar implica |
| ∴ | & there4; | & # x2234; | Para especificar por lo tanto |