\lozenge

The \lozenge symbol is used to represent a lozenge or diamond shape, often used in mathematical logic, set theory, and modal logic. It can also be used to denote certain operations or relations in various mathematical contexts.

Examples

Represents a relation or operation between sets A and B using the lozenge symbol.

A \lozenge B

In modal logic, denotes that the proposition P is possibly true.

\lozenge P

An abstract operation defined using the lozenge symbol.

x \lozenge y = z