U+2973 "⥳" Leftwards Arrow Above Tilde Operator Unicode Character

U+2973 "⥳" Leftwards Arrow Above Tilde Operator is a typographic symbol in the Arrows block, designed as a combination of a leftwards arrow positioned above a tilde operator. It is used primarily in mathematical and logical notation to represent a specific binary relation or operation, such as a variant of an equivalence or mapping that emphasizes both directional implication and approximate or relational similarity. While not common in everyday text, this character serves specialized purposes in formal notation, including contexts in algebra, category theory, or computer science where precise symbolic distinctions are required.