TeXipedia

bigcirc

Represents a large circle operator commonly used in mathematical notation for binary operations and set theory.

Overview

Serves as a versatile mathematical symbol that appears frequently in abstract algebra, set theory, and theoretical computer science to denote binary operations or specialized compositions.

  • Often used to represent circle operations or specialized product notations
  • Appears in group theory and algebraic structures
  • Useful in formal logic and discrete mathematics when defining custom binary operations
  • Distinguished from smaller circle operators by its larger size and clearer visibility in complex expressions

Examples

Representing composition of functions in abstract algebra.

fg(x)=f(g(x))f \bigcirc g(x) = f(g(x))
f \bigcirc g(x) = f(g(x))

Denoting a binary operation in group theory.

(G,) is a group(G, \bigcirc) \text{ is a group}
(G, \bigcirc) \text{ is a group}

Indicating a large circle operation in set theory.

AB={xy:xA,yB}A \bigcirc B = \{x \bigcirc y : x \in A, y \in B\}
A \bigcirc B = \{x \bigcirc y : x \in A, y \in B\}