fsymbols
Symbolen laden…
››
⋄

Diamantoperator

Diamantoperator

197/256

In een formule staat ⋄ voor een bewerking tussen twee uitdrukkingen; de notatie bepaalt de regel. De modale logica, die noodzakelijkheid en mogelijkheid bestudeert, gebruikt meestal het aparte teken voor mogelijkheid.

Tekensymbool

Wat betekent ⋄

De notatie bepaalt de bewerking. Een binaire operator staat tussen twee invoeren, zoals in p ⋄ q. LaTeX biedt deze operator met het commando \diamond. MathML, een formaat voor wiskundige formules op computers, behandelt ⋄ als een infixoperator: het staat tussen de invoeren.

Het mogelijkheidsteken heeft een eigen geschiedenis: logicus C. I. Lewis ontwikkelde de modale logica in 1918, 1920 en 1932. Die mijlpalen horen bij modale notatie, niet bij ⋄.

Technische notatie waarvan de betekenis afhangt van het wiskundige systeem.

Controleer de definitie voordat je ⋄ als mogelijkheid leest.

Onderdeel van de collectie

Niet verwarren met

1

Collecties met ⋄

2

⋄ typen of vinden

Zoek als
wiskundig diamantsymbool · diamant in formules · LaTeX-diamant · binaire operator · modale diamant
Komt voor in
Elk tekstveld · de vorm hangt af van je lettertype
Windows (Word)
⎇Alt+XTyp 22C4 en druk op AltX voor ⋄.
Windows
⊞Win+RStart charmap voor de volledige tabel of gebruik het Ω-tabblad van de emojikiezer (Win .).
macOS
⌃Control+⌘Command+␣SpaceOpen de tekenweergave en zoek naar “diamond operator”.
Linux
⎈Ctrl+⇧Shift+UTyp 22c4 en druk op Enter of Spatie.
HTML
⋄
CSS
\22C4
LaTeX
Voer in de LaTeX-wiskundemodus \diamond in voor deze binaire operator.
Codes en coderingCodepunten: 1
HTML decimaal
⋄
HTML hexadecimaal
⋄
CSS-inhoud
content: "\22C4";
Elke escape eindigt bij de volgende backslash; vóór een letterlijk hexadecimaal cijfer is een spatie nodig.
URL-gecodeerd
%E2%8B%84
1
Op het scherm
1
Codepunten
1
JS .length
3
UTF-8-bytes

Een zichtbaar symbool kan meerdere codepunten bevatten. JS .length telt UTF-16-eenheden; UTF-8 telt bytes.

Groepen van dit symbool

2

Wiskunde en getallen1.835 symbolen

Vormen en kleuren597 symbolen