U+2AE8 "⫨" Short Up Tack with Underbar Unicode Character

U+2AE8 "⫨" Short Up Tack with Underbar is a mathematical symbol primarily used in formal logic and set theory to denote a specific type of binary relation, often representing a "not less than" or "not a subset" relationship, depending on the context, with the underbar adding a negation or distinction from a standard up tack. Its design combines a short vertical line (the tack) that points upward, intersecting a short horizontal bar beneath it, visually indicating a blocking or limiting condition. This character belongs to the Supplemental Mathematical Operators block and is encoded for use in technical texts where precise symbolic representation is required, such as in proofs or algebraic notation.