Was bedeutet ⟝
Es ist ein formales Zeichen, dessen Bedeutung von der Notation abhängt.
In Logik und Typentheorie gehört der lange rechte Tack zu einer Zeichenfamilie, die ein Urteil einleiten kann: was aus bestimmten Annahmen oder Regeln folgt. Die Notationsregeln eines Beweises oder Systems legen die genaue Rolle von ⟝ fest.
Die Unicode-Namensliste verweist von ⟝ auf den kürzeren rechten Tack . Das ist eine Beziehung im Standard, aber keine Garantie, dass beide Zeichen in jeder Notation austauschbar sind.
Technisch und spezialisiert; im lockeren Chat ungewöhnlich, wenn die anderen die formale Notation nicht kennen.
Die längere Form bedeutet nicht automatisch eine stärkere Betonung.
Nicht verwechseln mit
1
Verwandte Zeichen
1
Häufige Fragen
1Warum erscheint ⟝ als Kästchen oder gar nicht?
Das kann passieren. Der gewählte Font enthält möglicherweise kein Zeichen für ⟝; eine Schrift mit mathematischen Symbolen kann es darstellen.
Mehr davon
9
⟝ eingeben oder finden
- Suche nach
- rechter Tack · langer Tack · Turnstile · Beweissymbol · Logiksymbol · Typentheorie · formale Notation · Tack-Zeichen
- Erscheint in
- Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab
⟝\27DDCodes und KodierungCodepunkte: 1
Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.