⊣
Mathematischer Operator 160
- Unicode
- U+22A3
- Kategorie
- Mathematik
- HTML Entity
- ⊣
- CSS
- \22A3
Das Symbol ⊣ (Rechter Querstrich oder „Right Tack“) stammt aus der formalen Logik und der Kategorientheorie. In der Mathematik wird es unter anderem genutzt, um eine Adjunktion zwischen Funktoren darzustellen oder Ableitungen in eine bestimmte Richtung zu markieren. Abseits von komplexen Gleichungen kannst du es auch als kreatives, minimalistisches Trennzeichen in deinen Texten oder Social-Media-Profilen verwenden.
So tippen Sie
- Windows
- Win + . drücken, zu Symbole wechseln und suchen (oder Alt + 8867 auf dem Ziffernblock)
- macOS
- Control + Command + Space drücken und nach "Right Tack" suchen
- Linux
- Strg + Shift + U, dann 22a3 eingeben und Enter drücken
- HTML
- ⊣ oder ⊣
In der Programmierung
In der Programmiersprache APL dient das Symbol ⊣ als Funktion, die schlicht ihr linkes Argument unverändert zurückgibt. In LaTeX erzeugst du das Zeichen in mathematischen Umgebungen mit dem Befehl \dashv.
Tags
mathematik
logik
links tack
beweis
operator