U+27E6 "⟦" Mathematical Left White Square Bracket Unicode Character

U+27E6 "⟦" Mathematical Left White Square Bracket is a typographic symbol used primarily in mathematical notation and formal logic to denote a specific type of bracketing, often indicating a semantic evaluation function or a denotation in model theory and programming language semantics. Unlike ordinary square brackets, this character features a white (hollow) interior, which distinguishes it visually from its solid counterpart U+27E7 on the right side. It is encoded in the Unicode block "Miscellaneous Mathematical Symbols-A" and is supported in many modern fonts, allowing it to be reliably used in digital texts alongside standard mathematical symbols.