Character Tie
Part of Punctuation and Typography Marks
Character Tie has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⁀
- Unicode
- U+2040
About this symbol
⁀, the character tie, joins two characters with a curved line above. In Z notation, the specification language developed at Oxford, it means joining two sequences end to end.
Unicode facts
- Official name
- CHARACTER TIE
- Also called
- Z notation sequence concatenation
- Type
- Connecting punctuation
- Unicode block
- General Punctuation
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Punctuation and Typography Marks chart for related characters.