🔍

Symbole werden geladen…

››

⦁

Z Notation Spot

Z Notation Spot

⦁ trennt in der Z-Notation eine Deklaration vom ausgewerteten Ausdruck. Nach ∃ liest du ihn als „sodass“; nach ∀ leitet er die geltende Bedingung ein. Er ist ein Zeichen formaler Spezifikationen, kein dekorativer Aufzählungspunkt.

Textsymbol

Suche nach: z · punkt · aufzählung · prädikat · quantor · schema
Erscheint in: Alles, was Text aufnimmt · seine Form hängt von deiner Schriftart ab

Was bedeutet ⦁

Er trennt Deklarationen vom folgenden Prädikat oder Ausdruck. In ∃ x : S ⦁ P macht ein x aus S die Aussage P wahr. In ∀ x : S ⦁ P muss jedes x aus S die Aussage P erfüllen.

Nicht verwechseln mit

3

Aufzählungspunkt

Ein gewöhnlicher Aufzählungspunkt ohne Z-Grammatik.

Aufzählungsoperator

Ein mathematischer Punktoperator, nicht das Z-Trennzeichen.

Schwarzer Kreis

Ein größerer schwarzer Kreis mit anderer Funktion.

Kombinationsideen

2

Es gibt ein x in S, sodass P gilt.

Jedes x in S muss P erfüllen.

So gibst du ⦁ ein

Windows (Word)

Alt+XGib 2981 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 „z notation spot“.

Linux

Ctrl+Shift+UGib 2981 ein und drücke Enter oder die Leertaste.

HTML

⦁

CSS

\2981

Codes und KodierungCodepunkte: 1

HTML dezimal

⦁

HTML hexadezimal

⦁

CSS-Inhalt

content: "\2981";

Jede Escape-Sequenz endet am nächsten Rückstrich; vor einer wörtlichen Hexadezimalziffer ist ein Leerzeichen nötig.

URL-kodiert

%E2%A6%81

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.

Gruppen dieses Symbols

1

Mathematik und Zahlen1.835 Symbole

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣