fsymbols
Indlæser symboler…
››
⌜

Øverste venstre hjørne

Øverste venstre hjørne

27/238

⌜ åbner et Quine-hjørnecitat: sammen med markerer det et udtryk, man taler om. I logik kan parret betegne en formels Gödel-tal. Alene ser ⌜ ufærdigt ud.

Tekstsymbol

Hvad betyder ⌜

Det åbner et hjørnecitat.

Logikeren W. V. Quine indførte kvasicitat i 1940: at henvise til et uspecificeret udtryk og samtidig vise dets form. De sammenhørende hjørner kan også betegne en formels Gödel-tal, det tal der gør det muligt for aritmetik at henvise til den.

Formel tegnsætning i logik og matematisk sats.

Alene ser ⌜ ufærdigt ud; lukker parret.

En del af samlingen

Forveksl ikke med

2

Kombinationsidéer

1
I Gödel-nummerering angiver dette tallet, der er tildelt formlen φ.

Samlinger med ⌜

4

Sådan skriver eller finder du ⌜

Også kaldet
Quine-hjørne · hjørnecitat
Søg efter som
ulcorner · kvasicitat · Gödel-tal · LaTeX ulcorner
Vises i
Alle tekstfelter · formen afhænger af skrifttypen
Windows (Word)
⎇Alt+XSkriv 231C, 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 ”top left corner”.
Linux
⎈Ctrl+⇧Shift+USkriv 231c, og tryk på Enter eller mellemrum.
HTML
⌜
CSS
\231C
LaTeX
Brug LaTeX-kommandoen \ulcorner; sæt \urcorner sammen med den som højre hjørne.
Koder og kodningKodepunkter: 1
HTML decimal
⌜
HTML hexadecimal
⌜
CSS-indhold
content: "\231C";
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%8C%9C
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

1

Matematik og tal1.835 symboler