fsymbols
Loading symbols…
››
⩁

union with minus sign

Union With Minus Sign

66/256

In Z notation, ⩁ means bag subtraction: it reduces repeated-item counts. Bags (multisets) let a formal computer-system description keep track of repeats; this is not a general symbol for ordinary set difference.

Text symbol

What ⩁ means

It means bag subtraction in Z notation. A bag, or multiset, records how many copies of each item it contains. Subtract matching counts from one bag by the counts in the other; a count cannot go below zero.

Z is a formal notation for describing computer systems; its mathematical conventions were proposed around 1981.

Use ⩁ only when the notation defines its bag meaning. For ordinary sets, follow the document's set-difference notation.

Part of collections

Don't confuse it with

1

Questions people ask

1

Is ⩁ ordinary set subtraction?

No. In Z's bag operation, repeated-item counts are subtracted; use your document's notation for ordinary set difference.

How to type or find ⩁

Also called
Z notation bag subtraction
Search it as
bag subtraction · bag difference · Z notation · multiset subtraction · bag minus · set difference
Shows up in
Anything that takes text · its shape is whatever your font draws
Windows (Word)
⎇Alt+XType 2A41, 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 “union with minus sign”.
Linux
⎈Ctrl+⇧Shift+UType 2a41, then Enter or Space.
HTML
⩁
CSS
\2A41
Codes and encoding1 code points
HTML decimal
⩁
HTML hex
⩁
CSS content
content: "\2A41";
Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.
URL encoded
%E2%A9%81
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