U+27D9 "⟙" Large down Tack Unicode Character

U+27D9 "⟙" Large down Tack is a rarely used mathematical and logical symbol that represents the end of a proof or specific binary relations. It resembles an inverted uppercase "T" with a slightly oversized horizontal bar, pointing downward to indicate termination or a defined downward logical direction. While not common in standard prose, it appears in formal logic notation to denote a reversed turns tile relation or as a decoration in specialized technical contexts, maintaining a distinct visual role in the Unicode repertoire of arrows and relation symbols.