░ UNICODEKIT

U+2040 CHARACTER TIE

Character tie, an arch-shaped curve above the line, used for sequence concatenation in Z notation.

Codepoint
U+2040
Name
CHARACTER TIE
Script
Common
Category
Connector Punctuation (Pc)
Unicode version
1.1
Plane
BMP
HTML
⁀ ⁀
CSS
\2040
UTF-8
E2 81 80
UTF-16
2040
UTF-32
00002040
Also known as
z notation sequence concatenation

Related characters

General Punctuation

111 characters in the General Punctuation Unicode block.