TeXipedia

boxminus

Represents a binary operator displaying a minus sign inside a box, commonly used in mathematical logic and set theory.

Overview

Serves as a specialized mathematical operator that combines visual elements of a box and minus symbol, primarily appearing in advanced mathematical notation.

  • Common in formal logic and abstract algebra contexts
  • Used to denote special operations or relations between sets or mathematical objects
  • Often appears alongside other boxed operators like \boxplus for symmetrical notation
  • Particularly useful in theoretical mathematics and computer science proofs where distinct binary operators are needed

Examples

Expressing a binary operation in abstract algebra.

a⊟b=ca \boxminus b = c 
a \boxminus b = c

Defining a custom mathematical operator using boxminus.

f(x)=x⊟1f(x) = x \boxminus 1 
f(x) = x \boxminus 1

Showing a sequence of operations with different binary operators.

a⊕b⊟c⊞da \oplus b \boxminus c \boxplus d 
a \oplus b \boxminus c \boxplus d