🔍

Loading symbols…

››

⦁

z notation spot

Z Notation Spot

⦁ separates a declaration from the expression evaluated in Z notation. After ∃, read it as “such that”; after ∀, it introduces what must hold. It is a formal-specification character, not a decorative bullet.

Text symbol

Search it as: z · dot · bullet · predicate · quantifier · schema
Shows up in: Anything that takes text · its shape is whatever your font draws

What ⦁ means

It separates declarations from the following predicate or expression. In ∃ x : S ⦁ P, some x in S makes P true. In ∀ x : S ⦁ P, every x in S must satisfy P.

Don't confuse it with

•

Bullet

An ordinary list bullet, with no Z grammar.

∙

Bullet Operator

A mathematical bullet operator, not the Z separator.

●

Black Circle

A larger black circle with a different role.

Combination ideas

There is an x in S such that P holds.

Every x in S must satisfy P.

Questions people ask

Why does ⦁ show as a box on some devices?

Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.

How to type ⦁

Windows (Word)

Alt+XType 2981, then Alt+X to get ⦁.

Windows

Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win + .).

macOS

Control+Command+SpaceOpen the character viewer and search “z notation spot”.

Linux

Ctrl+Shift+UType 2981, then Enter or Space.

HTML

⦁

CSS

\2981

Codes and encoding1 code points

HTML decimal

⦁

HTML hex

⦁

CSS content

content: "\2981";

Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.

URL encoded

%E2%A6%81

On screen

Code points

JS .length

UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

Maths & numbers1,835 symbols

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