U+2AE9 "⫩" Short Up Tack Above Short down Tack Unicode Character

U+2AE9 "⫩" Short Up Tack Above Short down Tack is a mathematical symbol typically used in formal logic, set theory, or lattice theory to represent a specific binary relation or operation, often indicating a double tack or orthogonal relationship where a short up tack is positioned directly above a short down tack. This glyph combines two opposing tack symbols vertically to suggest a symmetrical or bidirectional constraint, such as perpendicularity or mutual exclusion in abstract algebraic structures. Its design visually emphasizes the simultaneous upward and downward orientation, making it distinct from single tack characters like the up tack (⊥) or down tack (⊤).