Was bedeutet ⫳
Es benennt den Parallelkalkül der Autoren. Sie schreiben den Namen des Systems mit ⫳ als kleinem Index unter λ (Lambda). Das System verbindet Beweise der linearen Logik – einer Art, über den Einsatz von Ressourcen zu schlussfolgern – mit Computerprogrammen, die parallel laufen und miteinander kommunizieren können. Hier benennt das Zeichen dieses System; es legt keine Regel für parallele Verknüpfungen in allen Gleichungen fest.
So gibst du ⫳ ein
Windows (Word)
Alt+XGib 2AF3 ein und drücke Alt+X für ⫳.
Windows
Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win + .).
macOS
Control+Command+SpaceÖffne die Zeichenübersicht und suche nach „parallel with tilde operator“.
Linux
Ctrl+Shift+UGib 2af3 ein und drücke Enter oder die Leertaste.
HTML
⫳CSS
\2AF3MathML-2-Quelltext
Schreibe in MathML-2-Markup mit den standardmäßigen Symbolentitäten `⫳`.
Codes und KodierungCodepunkte: 1
HTML dezimal
⫳
HTML hexadezimal
⫳
CSS-Inhalt
content: "\2AF3";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%AB%B3
1
Auf dem Bildschirm
1
Codepunkte
1
JS .length
3
UTF-8-Bytes
Ein sichtbares Symbol kann mehrere Codepunkte enthalten. JS .length zählt UTF-16-Einheiten; UTF-8 zählt Bytes.