🔍

Indlæser symboler…

››

⟓

Nedre højre hjørne med prik

Nedre højre hjørne med prik

⟓ markerer et pullback-kvadrat i kategoriteori: to afbildninger til det samme objekt forbindes på den mest generelle måde. Det er matematisk diagramnotation, ikke et generelt hjørnetegn. Det beslægtede tegn øverst til venstre, , står for den duale konstruktion, et pushout.

Tekstsymbol

Hvad betyder ⟓

Det markerer et pullback-kvadrat i kategoriteori.

I et pullback-kvadrat går to afbildninger til det samme objekt. Objektet ved det markerede hjørne forbinder på den mest generelle måde de input, der giver samme resultat. Tegnet gælder hele kvadratet, ikke kun hjørnet.

Det er specialiseret diagramnotation, ikke et generelt hjørne- eller skilletegn.

Hvor stammer pullback-hjørnenotationen fra?

En onlinediskussion fra 2017 fortæller, at Peter Freyd huskede lignende retvinklet notation fra forelæsninger i 1974. Diskussionen nævner også Paul Taylors softwarepakke til tegning af matematiske diagrammer som et tidligt dokumenteret eksempel, dateret senest 1994. Beretningerne følger brugen, men udpeger ikke en første opfinder.

Forveksl ikke med

⌋

Højre gulv

⟓ sammenlignet med højre gulvtegn: ⌋ har en lignende hjørneform, men ingen prik; ⟓ markerer pullback-kvadrater, mens ⌋ er en gulvklamme.

Sådan skriver eller finder du ⟓

Også kaldet: pullback
Søg efter som: pullback-symbol · pullback-kvadrat · fiberprodukt · kartesisk kvadrat · kategoriteori · hjørnenotation
Vises i: Alle tekstfelter · formen afhænger af skrifttypen

Windows (Word)

⎇Alt+XSkriv 27D3, og tryk på AltX 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 ”lower right corner with dot”.

Linux

⎈Ctrl+⇧Shift+USkriv 27d3, og tryk på Enter eller mellemrum.

HTML

⟓

CSS

\27D3

Koder og kodningKodepunkter: 1

HTML decimal

⟓

HTML hexadecimal

⟓

CSS-indhold

content: "\27D3";

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%9F%93

På skærmen

Kodepunkter

JS .length

UTF-8-byte

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

Symbolets grupper

Matematik og tal1.835 symboler

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣