Mathematischer Operator 189

Unicode
U+22C0
Kategorie
Mathematik
HTML Entity
⋀
CSS
\22C0
Wenn du dich mit formaler Logik oder höherer Mathematik beschäftigst, begegnet dir das Symbol ⋀ (großes logisches Und) oft als Zeichen für die mehrfache Konjunktion einer Menge von Aussagen. Es ähnelt optisch einem vergrößerten Dach (Caret) und drückt aus, dass alle Bedingungen einer definierten Reihe gleichzeitig wahr sein müssen. Im Alltag oder auf Social Media spielt es kaum eine Rolle, ist dafür aber in akademischen Texten und Formelsatzsystemen unverzichtbar.

So tippen Sie

Windows
Alt + 8896 (auf dem Ziffernblock) oder Win + . und im Symbol-Menü suchen
macOS
Control + Command + Leertaste, dann nach "logical and" suchen
Linux
Strg + Umschalt + U, dann 22C0 und Enter
HTML
⋀ oder ⋀

In der Programmierung

In Textsatzsystemen wie LaTeX wird das Symbol mit dem Befehl \bigwedge erzeugt, um komplexe logische Bedingungen oder universelle Quantifizierungen in Beweisen und Algorithmen sauber darzustellen.

Tags

mathematik logik grosses und konjunktion operator

Verwandte Symbole