U+2A17 "⨗" Integral with Leftwards Arrow with Hook Unicode Character

U+2A17 "⨗" Integral with Leftwards Arrow with Hook is a mathematical symbol used primarily in formal logic and theoretical computer science, most notably in the study of linear logic and proof theory. It represents a specialized integral operator that incorporates a leftwards arrow with a hook, often denoting a form of reversible or directional integration tied to resource-sensitive computations. The symbol is part of the Supplemental Mathematical Operators block and is distinct from the standard integral sign, serving the precise notational needs of advanced symbolic reasoning. Its usage remains niche, appearing in academic papers and texts that require a compact notation for certain transformational or structural operations in mathematics.

General Properties

Code Point	U+2A17
Version Added	3.2
Name	Integral with Leftwards Arrow with Hook
Block	Supplemental Mathematical Operators
General Category	Math Symbol
Canonical Combining Class	Not Reordered
Bidirectional Class	Other Neutral
Mirrored	Yes

Encodings

HTML Decimal Encoding	⨗
HTML Hex Encoding	⨗
UTF-8 Encoding	0xE2 0xA8 0x97
UTF-16 Encoding	0x2A17
UTF-32 Encoding	0x00002A17
C/C++/Java Escape	\u2a17

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