🔍

Indlæser symboler…

››

⦁

Z Notation Spot

Z Notation Spot

⦁ adskiller i Z-notation en erklæring fra det udtryk, der skal vurderes. Efter ∃ læses den som »sådan at«; efter ∀ indleder den kravet, der skal gælde. Det er et tegn til formelle specifikationer, ikke et dekorativt punkttegn.

Tekstsymbol

Søg efter som: z · prik · punkttegn · prædikat · kvantor · skema
Vises i: Alle tekstfelter · formen afhænger af skrifttypen

Hvad betyder ⦁

Det adskiller erklæringer fra det efterfølgende prædikat eller udtryk. I ∃ x : S ⦁ P gør en x i S, at P er sand. I ∀ x : S ⦁ P skal hver x i S opfylde P.

Forveksl ikke med

3

Et almindeligt punkttegn uden Z-grammatik.

En matematisk prikoperator, ikke Z-separatoren.

En større sort cirkel med en anden funktion.

Kombinationsidéer

2

Der findes en x i S, sådan at P gælder.

Hver x i S skal opfylde P.

Sådan skriver du ⦁

Windows (Word)

Alt+XSkriv 2981, og tryk på Alt+X for at få ⦁.

Windows

Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).

macOS

Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”z notation spot”.

Linux

Ctrl+Shift+USkriv 2981, og tryk på Enter eller mellemrum.

HTML

⦁

CSS

\2981

Koder og kodningKodepunkter: 1

HTML decimal

⦁

HTML hexadecimal

⦁

CSS-indhold

content: "\2981";

Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.

URL-kodet

%E2%A6%81

1

På skærmen

1

Kodepunkter

1

JS .length

3

UTF-8-byte

Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.

Symbolets grupper

1

Matematik og tal1.835 symboler

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