U+2AEB "⫫" Double Up Tack Unicode Character

U+2AEB "⫫" Double Up Tack is a mathematical symbol consisting of two perpendicular tacks stacked vertically, representing a relationship in formal logic and lattice theory. It is often used to denote the concept of "independent of" or "orthogonal" in propositional logic, specifically indicating that two propositions are not provably related. In lattice theory, it can signify that two elements are incompatible or have no common covering, and its distinct design helps avoid confusion with the similar single up tack symbol.