TeXipedia

minuso

Represents a binary minus operator with a small circle above it, commonly used in mathematical logic and set theory.

Overview

Serves as a specialized mathematical operator primarily found in formal logic, set theory, and abstract algebra contexts. The circled minus notation provides a distinct visual representation that helps differentiate it from standard subtraction.

  • Frequently used to denote set-theoretic difference operations
  • Appears in formal mathematical proofs and academic papers
  • Common in contexts involving binary operations on sets or algebraic structures
  • Helps maintain clarity when multiple types of subtraction or difference operations are needed in the same document

Examples

Representing a binary operation with a minus in a circle, commonly used in algebraic notation.

a⦵b=ca \minuso b = c 
a \minuso b = c

Defining a group operation using circled minus.

(G,⦵) is an abelian group(G, \minuso) \text{ is an abelian group} 
(G, \minuso) \text{ is an abelian group}

Showing composition of elements with circled minus in abstract algebra.

x1⦵x2⦵x3=0x_1 \minuso x_2 \minuso x_3 = 0 
x_1 \minuso x_2 \minuso x_3 = 0