U+2293 "⊓" Square Cap Unicode Character

U+2293 "⊓" Square Cap is a mathematical symbol used primarily in lattice theory and order theory to represent the meet or greatest lower bound of two elements within a partially ordered set. It is the dual of the Square Cup (U+2294, "⊔"), which represents the join or least upper bound, and together they form an essential pair for defining lattices. The symbol visually resembles a square shaped like an inverted "U" or a square bowl, and it can also be encountered in other contexts such as some notations for the NAND operator in logic or for indicating the infimum in general algebra.