Math Operator 193

Unicode
U+22C4
Category
Math
HTML Entity
⋄
CSS
\22C4
The ⋄ (Diamond Operator) is a mathematical symbol primarily used to represent custom binary operations or specific functions in abstract algebra. In modal logic, it is famously used to denote "possibility" (e.g., "it is possible that P"). Outside of strict technical fields, you might spot this minimalist diamond serving as a stylish bullet point or decorative element in digital text formatting.

How to Type

Windows
Alt+8900 or Win+. then search "diamond"
macOS
Control+Command+Space then search "diamond operator"
Linux
Ctrl+Shift+U then 22C4
HTML
⋄ or ⋄

In Programming

In modal logic and mathematical proofs, it represents possibility or custom binary operations. In programming, it is sometimes used in custom operator overloading or to signify specific mathematical states in technical documentation.

Tags

abstract algebra binary operation symbol diamond bullet point diamond operator geometric diamond lattice lattice theory mathematics modal logic symbol operator possibility operator shape text decoration diamond unicode diamond

Related Symbols