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 |