fsymbols
Indlæser symboler…
››
⊔

Firkantet cup

Firkantet cup

⊔ betyder som regel en disjunkt union: mængder samles, uden at mærket for hvert elements oprindelse går tabt. Hvis den samme værdi findes på begge sider, kan begge mærkede versioner bevares hver for sig. I kategoriteori kaldes konstruktionen også et koprodukt.

Tekstsymbol
Søg efter som
sqcup · disjunkt union · koprodukt · firkantet union · LaTeX
Vises i
Alle tekstfelter · formen afhænger af skrifttypen

Hvad betyder ⊔

Den angiver en union, der holder delene adskilte.

I sqcup-notationen A ⊔ B bevares et mærke, der viser, om hvert element kom fra A eller B. Hvis den samme værdi findes i begge mængder, kan den optræde to gange, med et mærke for hver oprindelse. I kategoriteori kaldes en disjunkt union af mængder et koprodukt.

Hvad er historien bag den firkantede cupnotation?

Den dokumenterede dato 1888 gælder de almindelige cup- og captegn.

Matematikeren Peano brugte ∪ for union og ∩ for snit i 1888. Datoen dokumenterer den almindelige cup- og capnotation, men daterer ikke ⊔ selv.

Den firkantede cupoperator bruges i mængdelære, topologi, algebra og kategoriteori, når det er vigtigt at bevare hvert delleds identitet.

Formel matematisk notation, især når en konstruktion skal bevare, hvilken inputmængde et element kom fra.

Brug ∪ for almindelig union; ⊔ angiver en disjunkt union eller en konstruktion, der bevarer oprindelsesmærker.

Forveksl ikke med

1

Sådan skriver du ⊔

Windows (Word)
Alt+XSkriv 2294, og tryk på Alt+X for at få ⊔.
Windows
Win+RKør charmap for hele tabellen, eller brug Ω-fanen i emojivælgeren (Win + .).
macOS
Control+Command+SpaceÅbn tegnfremviseren, og søg efter ”square cup”.
Linux
Ctrl+Shift+USkriv 2294, og tryk på Enter eller mellemrum.
HTML
⊔
CSS
\2294
Julia
Skriv \sqcup, og tryk derefter på Tab.
Koder og kodningKodepunkter: 1
HTML decimal
⊔
HTML hexadecimal
⊔
CSS-indhold
content: "\2294";
Hver escape-sekvens slutter ved næste omvendte skråstreg; der skal være et mellemrum før et bogstaveligt hexadecimalt ciffer.
URL-kodet
%E2%8A%94
1
På skærmen
1
Kodepunkter
1
JS .length
3
UTF-8-byte

Et synligt symbol kan indeholde flere kodepunkter. JS .length tæller UTF-16-enheder; UTF-8 tæller byte.

Symbolets grupper

2

Matematik og tal1.835 symboler

Former og farver597 symboler