Was bedeutet ⧹
Es blendet ausgewählte Variablen aus, ohne ihre Bedingungen zu verwerfen. Z ist eine formale Notation zur Beschreibung von Software. Ein Schema ist ein benanntes Bündel aus Variablen und Bedingungen. Beim Ausblenden verschwinden bestimmte Namen aus der sichtbaren Darstellung; die Spezifikation verlangt aber weiterhin Werte, für die die Bedingungen gelten.
Der Z Base Standard dokumentiert diese Verwendung bereits 1992.
Nicht verwechseln mit
2
Mengenminus
Unicode verweist bei ∖ auf die Mengendifferenz: Dabei werden die Elemente einer Menge aus einer anderen entfernt. In der Z-Notation blendet ⧹ gezielt benannte Teile eines Schemas aus.
Backslash
Der gewöhnliche Backslash ist ein Tastaturzeichen, das etwa in Dateipfaden und Programmiersprachen vorkommt. Dieses mathematische Zeichen hat eine eigene Bedeutung in der Z-Notation.
Verwandte Zeichen
1
Mehr davon
9
⧹ eingeben oder finden
- Auch genannt
- Schemaausblendung · xbsol
- Suche nach
- Z-Notation · Mengendifferenz · mathematischer Backslash
- Erscheint in
- Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab
Windows (Word)
Windows
⊞Win+RStarte charmap für die vollständige Tabelle oder nutze den Ω-Reiter der Emoji-Auswahl (Win .).
HTML
⧹CSS
\29F9LaTeX
Das Paket
unicode-math ordnet \xbsol ⧹ zu.Codes und KodierungCodepunkte: 1
HTML dezimal
⧹
HTML hexadezimal
⧹
CSS-Inhalt
content: "\29F9";
Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.
URL-kodiert
%E2%A7%B9
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.