U+2A9A "⪚" Double-Line Equal to or Greater-Than Unicode Character

U+2A9A "⪚" Double-Line Equal to or Greater-Than is a mathematical symbol that combines a double horizontal line, reminiscent of an equivalence relation, with a greater-than sign to indicate a relational operator where a value is either equal to or greater than another, with the double line emphasizing a strong or strict form of equality within the comparison. It belongs to the Supplemental Mathematical Operators block and is typically used in advanced mathematical notation, logic, or computer science contexts to denote a specific binary relation distinct from the simpler "greater than or equal to" sign. This character helps avoid ambiguity in formal proofs or type theory where the precise nature of the equality relation matters.