MathML - Logiksymbole
Im Folgenden finden Sie eine Liste der in MathML verfügbaren Logiksymbole.
| MathML-Symbol | HTML-Entität | Hex-Code | Beschreibung |
|---|---|---|---|
| ¬ | &nicht; | & # x00ac; | Negation angeben |
| ∧ | &und; | & # x2227; | Logische Konjunktion angeben |
| ∨ | &oder; | & # x2228; | Festlegen der logischen Disjunktion |
| ⊻ | & veebar; | & # x22bb; | Festlegen der exklusiven Disjunktion |
| ∀ | &für alle; | & # x2200; | Universelle Quantifizierung angeben |
| ∃ | &existieren; | & # x2203; | Existenzielle Quantifizierung angeben |
| ⇒ | & rarr; | & # x21d2; | Festlegen der materiellen Implikation |
| ⇔ | & harr; | & # x21d4; | Angabe der Materialäquivalenz |
| ◻ | & Emptysmallsquare; | & # x25fb; | Notwendigerweise angeben |
| ◊ | & loz; | & # x25ca; | Möglicherweise zu spezifizieren |
| ⊢ | & vdash; | & # x22a2; | Nachweisbar zu spezifizieren |
| ⊨ | & vdash; | & # x22a8; | Zu spezifizieren bedeutet |
| ∴ | & there4; | & # x2234; | Um dies zu spezifizieren |