U+2A53 "⩓" Double Logical And Unicode Character

U+2A53 "⩓" Double Logical And is a typographic symbol used primarily in mathematical logic and formal notation to represent a double or iterated logical conjunction. It functions as a binary operator that combines two logical AND operations, often seen in contexts where multiple conditions must all be true, such as in lattice theory or symbolic logic expressions. Unlike the standard single logical AND operator (∧), the double variant emphasizes a repeated or compound application of the AND function, adding a layer of precision to formal proofs or computational logic diagrams.

General Properties

Code Point	U+2A53
Version Added	3.2
Name	Double Logical And
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 0xA9 0x93
UTF-16 Encoding	0x2A53
UTF-32 Encoding	0x00002A53
C/C++/Java Escape	\u2a53

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