U+2AF1 "⫱" Down Tack with Circle Below Unicode Character

U+2AF1 "⫱" Down Tack with Circle Below is a mathematical symbol classified in the Supplemental Mathematical Operators block, designed to represent a specific relational or logical operation, likely denoting perpendicularity or a downward negation modified by an additional condition indicated by the circle beneath it. Its appearance combines a downward-pointing tack, which typically signifies a termination or a perpendicular relationship, with a small circle below, adding a layer of constraint or a binary operator nuance within advanced algebra or type theory. While not common in everyday text, it serves as a precise notation for specialists working in formal logic, proof theory, or vector calculus where such compound symbols are required to express complex dependencies or constraints.

General Properties

Code Point	U+2AF1
Version Added	3.2
Name	Down Tack with Circle Below
Block	Supplemental Mathematical Operators
General Category	Math Symbol
Canonical Combining Class	Not Reordered
Bidirectional Class	Other Neutral

Encodings

HTML Decimal Encoding	⫱
HTML Hex Encoding	⫱
UTF-8 Encoding	0xE2 0xAB 0xB1
UTF-16 Encoding	0x2AF1
UTF-32 Encoding	0x00002AF1
C/C++/Java Escape	\u2af1

Unicode Properties

NFC Quick Check	Yes
NFD Quick Check	Yes
NFKC Quick Check	Yes
NFKD Quick Check	Yes
Numeric Type	None
Numeric Value	NaN
Line Break	Alphabetic
Script	Common
Script Extensions	Common
Indic Syllabic Category	Other
Pattern Syntax	Yes
Math	Yes
Vertical Orientation	Rotated
Grapheme Base	Yes
Grapheme Cluster Break	Other
Word Break	Other
Sentence Break	Other