U+27CA "⟊" Vertical Bar with Horizontal Stroke Unicode Character

U+27CA "⟊" Vertical Bar with Horizontal Stroke is a mathematical symbol used primarily in formal logic and notation to represent a relationship or operation, often functioning as a vertical version of a double turnstile or a specific logical connective within proofs or semantic models. Its design consists of a single vertical line intersected by a shorter horizontal stroke near its center, distinguishing it from similar characters like the vertical bar or the long dash. This glyph is typically employed in contexts where precise symbolic representation of inference, rejection, or a defined binary relation is required, making it a niche but important tool in advanced mathematical and computational typography.