fsymbols
Loading symbols…
››
⦇

z notation left image bracket

Z Left Image Bracket

8/128

⦇ opens Z’s relational-image notation. In R⦇S⦈, the full expression names values that relation R links to at least one member of set S. It appears in formal specifications.

Text symbol

What ⦇ means

It opens a relational-image expression in Z notation.

Z is a mathematical language for precisely describing software and other discrete systems. In R⦇S⦈, relation R links values, S is a set, and the expression gives values linked to at least one member of S.

Jean-Raymond Abrial’s Z work began in the late 1970s. Oxford researchers developed it, and industry used it, in the 1980s; it later entered formal-methods teaching.

Highly technical: it signals a Z specification or Z-style relational notation.

Close it with ⦈, not an ordinary parenthesis.

Combination ideas

1
The relational image of S through R: values linked to at least one member of S.

Questions people ask

1

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 or find ⦇

Also called
image bracket · relational image bracket · limg
Search it as
relational image · image operator · Z notation bracket · R⦇S⦈
Shows up in
Anything that takes text · its shape is whatever your font draws
Windows (Word)
⎇Alt+XType 2987, then AltX 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 left image bracket”.
Linux
⎈Ctrl+⇧Shift+UType 2987, then Enter or Space.
HTML
⦇
CSS
\2987
Codes and encoding1 code points
HTML decimal
⦇
HTML hex
⦇
CSS content
content: "\2987";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%A6%87
1
On screen
1
Code points
1
JS .length
3
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

1

Maths & numbers1,835 symbols