U+2971 "⥱" Equals Sign Above Rightwards Arrow Unicode Character

U+2971 "⥱" Equals Sign Above Rightwards Arrow is a mathematical symbol that combines a standard equals sign positioned directly above a rightward arrow, creating a single glyph used to denote a specific relational operation or mapping. Its typical application is in formal logic, set theory, or algebra to represent a relationship where one element or expression is equivalent to another while also indicating a directional transformation or association to the right. This symbol helps convey nuanced meaning in technical notation, distinguishing it from simpler arrows or equality signs by implying both an equivalence and a directed connection.