Z Notation Schema Piping

Group: Mathematics

Keywords

math

Technical codes

Code point: U+2A20
Hex: 2A20
Decimal: 10784
HTML: ⨠
CSS: \2A20
JavaScript: \u2A20
Python: \u2A20
UTF-8: E2 A8 A0

The same character is drawn differently by each operating system and font.

For All U+2200
Complement U+2201
Partial Differential U+2202
There Exists U+2203
There Does Not Exist U+2204
Empty Set U+2205
Increment U+2206
Nabla U+2207
Element Of U+2208
Not An Element Of U+2209
Small Element Of U+220A
Contains As Member U+220B
Does Not Contain As Member U+220C
Small Contains As Member U+220D
End Of Proof U+220E
N-Ary Product U+220F
N-Ary Coproduct U+2210
N-Ary Summation U+2211
Minus Sign U+2212
Minus-Or-Plus Sign U+2213
Dot Plus U+2214
Division Slash U+2215
Set Minus U+2216
Asterisk Operator U+2217

Questions

Why does this emoji look different on my phone?

Unicode standardises the meaning of a character, not its drawing. Apple, Google, Microsoft and Samsung each ship their own artwork, so the same code point changes shape between devices.

Does copying work everywhere?

The character is copied as plain text, so it pastes into any app that accepts text. If the receiving app has no font for it, you will see an empty box instead.

Z Notation Schema Piping

Keywords

Technical codes

Related

Questions

We use cookies