Operatore diamante

Indica un’operazione qualsiasi definita tra due elementi. Nei testi di algebra astratta, teoria dei gruppi o informatica teorica, quando si introducono proprietà valide per molti tipi di operazioni, scrivere + o × farebbe pensare subito alle regole dell’aritmetica elementare. Gli autori scelgono quindi simboli neutri come ⋆, ∘ o ⋄ e ne fissano la regola di volta in volta (ad esempio: «sia ⋄ un’operazione binaria definita sull’insieme A»). Nei sistemi di composizione tipografica come LaTeX (con il comando \diamond) e MathML, ⋄ è codificato come operatore infisso: si allinea all’altezza del segno più e lascia automaticamente spazio su entrambi i lati.

Non va confuso con il rombo bianco più grande ◇, tipico della logica modale (che studia necessità e possibilità). In logica, ◇P precede una singola proposizione e significa «è possibile che P», mentre ⋄ si colloca tra due argomenti (p ⋄ q). Fuori dall’ambito matematico, grazie alle dimensioni ridotte e alla posizione centrata sul rigo, è molto usato come punto elenco o separatore pulito nelle biografie e nelle intestazioni (Architetto ⋄ Milano).