Vad betyder ⊎
Det adderar antalet identiska element. En multimängd är en samling där upprepade element räknas var för sig: om en påse har två exemplar av a och en annan har ett, blir resultatet av ⊎ tre. I Z, ett formellt språk för programvaruspecifikationer, använder Z-standarden version 1.0 det för union av påsar och adderar förekomsterna.
Idén att räkna upprepningar är äldre än den här symbolen. Bhāskarāchāryas beskrivning av ordningar med upprepade element omkring 1150 brukar räknas som en tidig studie av multimängder. Det engelska ordet “multiset” myntades på 1970-talet.
Betyder ⊎ samma sak som vanlig union?
Nej. anger medlemskap; ⊎ adderar antal. En mängd registrerar om ett element finns, så upprepade exemplar blir ett enda element. Om dubbletter spelar roll innehåller {a, a} ⊎ {a} tre exemplar av a.
Övervägdes ⊎ för kodpunktsnotation?
Ja, som ett föreslaget visuellt prefix. I Unicode 1.0 (1991) övervägdes ⊎ som ett kompakt visuellt prefix för kodpunktsnummer, innan textprefixet U+ blev praktiskt.
Formell och teknisk: den visar att upprepade element räknas.
Byt inte ut den mot när antalet upprepningar spelar roll.
Blanda inte ihop med
1
Relaterade tecken
1
Vanliga frågor
1Varför ser ⊎ olika ut i vissa typsnitt?
Det kan den göra: det aktiva typsnittet ritar ⊎, så linjetjockleken eller plusets placering kan variera utan att tecknet ändras.
Fler liknande
9
Så skriver eller hittar du ⊎
- Kallas också
- addition av multimängder
- Sök efter
- uplus · union av påsar · multimängdsunion · union med plus · Z-notation
- Finns i
- Alla textfält · formen beror på teckensnittet
⊎\228E⊎ i HTML-källkod.U+228E; annars använder du dess Unicode-teckenväljare.Koder och kodningKodpunkter: 1
En synlig symbol kan innehålla flera kodpunkter. JS .length räknar UTF-16-enheter; UTF-8 räknar byte.