A binary operator symbol showing a minus sign inside a box, commonly used in modal logic and abstract algebra.
