A binary operator symbol representing modal possibility in logic or denoting special products in abstract algebra.
Examples
Modal logic operator (possibility)
\diamond p \text{ means 'it is possible that p'}
Binary operation notation
a \diamond b = (a + b)^2
Group operation on sets
A \diamond B = \{x \diamond y : x \in A, y \in B\}