U+2AE0 "⫠" Short Up Tack Unicode Character

U+2AE0 "⫠" Short Up Tack is a mathematical symbol used primarily in logic and formal semantics to represent a relation of incompatibility or disjunction, often denoting that two propositions cannot both be true simultaneously, akin to the logical "nand" or "not and" operator, though it can also appear in order theory and lattice diagrams to indicate a short, upward-pointing tack that signifies negation or exclusion within symbolic expressions.