⋁
Mathematischer Operator 190
- Unicode
- U+22C1
- Kategorie
- Mathematik
- HTML Entity
- ⋁
- CSS
- \22C1
Das Symbol ⋁ (n-äres logisches Oder) stammt aus der mathematischen Logik und steht für eine weitreichende Disjunktion. Es funktioniert wie der große Bruder des einfachen logischen Oder-Zeichens (∨) und wird genutzt, um eine ganze Menge von Aussagen auf einmal zu verknüpfen. Vergleichbar mit dem Summenzeichen (∑) in der Algebra, signalisiert es, dass mindestens eine Bedingung aus einer großen oder unendlichen Reihe wahr sein muss.
So tippen Sie
- Windows
- Alt + 8897 (auf dem Ziffernblock)
- macOS
- Control + Command + Space, dann nach 'logical or' suchen
- Linux
- Ctrl + Shift + U, dann 22C1 tippen und Leertaste drücken
- HTML
- ⋁ oder ⋁
In der Programmierung
In der Textsatzsoftware LaTeX wird das Symbol mit dem Befehl `\bigvee` gesetzt, um umfassende logische Verknüpfungen in Formeln darzustellen. In der theoretischen Informatik und bei automatischen Beweissystemen kennzeichnet es logische Operationen über ganze Mengen von Aussagen.
Tags
mathematik
logik
grosses oder
disjunktion
operator