A binary operator symbol showing a dot inside a square box, commonly used in modal logic and algebraic notation.
