fsymbols
Ladataan symboleja…
››
⟧

Matemaattinen oikea valkoinen hakasulje

Matemaattinen oikea valkoinen hakasulje

40/48

⟧ on parina käytetyn rajaavan merkin sulkeva puolisko, ja merkintätapa ratkaisee parin merkityksen. Yhdessä merkin ⟦ kanssa se voi rajata Z-merkinnän pussiesityksen tai osoittaa formaalissa semantiikassa lausekkeelle annetun arvon. Yksinään se antaa liian vähän kontekstia tulkintaan.

Tekstisymboli

Mitä ⟧ tarkoittaa

Se sulkee pareittain käytettävän matemaattisen tai semanttisen rajaavan merkin.

Z-merkinnässä ⟦...⟧ rajaa pussiesityksen. Formaalissa semantiikassa pari voi osoittaa lausekkeen denotaation eli sille annetun arvon tai tulkinnan. Merkkiyhdistelmällä ei ole yhtä kiinteää merkitystä ilman käytössä olevaa merkintätapaa.

Toisin kuin Itä-Aasian välimerkinnässä käytetty leveä oikea sulje 〛, ⟧ on kapea matemaattinen muoto; teknisessä tekstissä niitä ei voi vaihtaa keskenään.

Miksi semantiikassa käytetään merkkejä ⟦ ⟧?

Pari voi osoittaa lausekkeen ilmaiseman arvon.

Kaksoissulkeiden käyttötapa kehittyi totuusarvojen ja tulkinnan tutkimuksesta. 1960-luvun puolivälissä Dana Scott kuvasi siirtymistä viivamaisista merkeistä helpommin luettaviin kaksoissulkeisiin, kun kaavat pitenivät. 1960-luvun lopulla merkintätapa tuli ohjelmointikielten semantiikkaan ja myöhemmin luonnollisen kielen semantiikkaan.

Historia selittää merkin erikoistuneen käytön: ⟦expression⟧ ohjaa tulkitsemaan lauseketta tietyn teoreettisen kehyksen mukaan; kehys määrittää tarkat säännöt.

Matematiikan ja semantiikan erikoismerkintä; käytä sitä, kun teksti määrittelee sulkeiden käyttötavan.

Yksinään ⟧ ei kerro käyttötapaa; etsi sen pari ⟦ ja ympäröivä merkintä.

Osa kokoelmia

Mitä se tarkoittaa, kun joku lähettää sen sinulle

Tulkintoja: 3

Lausekkeen denotaatio: sille annettu arvo tai tulkinta.

Älä sekoita tähän

2

Yhdistelmäideoita

2
Formaalissa semantiikassa x:n denotaatio eli sille annettu arvo tai tulkinta.
Formaalissa semantiikassa lausekkeelle e annettu merkitys; tarkat yksityiskohdat riippuvat teoreettisesta kehyksestä.

Kokoelmat, joissa on ⟧

2

Näin kirjoitat tai löydät ⟧

Myös nimellä
oikea pussisulje · Z-merkinnän oikea pussisulje · oikea valkoinen sulje
Hae näin
pussisulje · Scottin sulkeet · kaksoishakasulkeet · denotaation sulkeet · semanttiset sulkeet · matemaattinen sulje · Z-merkintä
Näkyy
Kaikki tekstikentät · ulkoasu riippuu fontista
Windows (Word)
⎇Alt+XKirjoita 27E7 ja paina AltX, niin saat merkin ⟧.
Windows
⊞Win+RAvaa koko taulukko suorittamalla charmap tai käytä emojivalitsimen Ω-välilehteä (Win .).
macOS
⌃Control+⌘Command+␣SpaceAvaa merkkivalitsin ja hae ”mathematical right white square bracket”.
Linux
⎈Ctrl+⇧Shift+UKirjoita 27e7 ja paina Enter tai välilyönti.
HTML
⟧
CSS
\27E7
Koodit ja koodausKoodipisteitä: 1
HTML desimaalina
⟧
HTML heksadesimaalina
⟧
CSS-sisältö
content: "\27E7";
Kukin ohjausjakso päättyy seuraavaan kenoviivaan; ennen kirjaimellista heksadesimaalinumeroa tarvitaan välilyönti.
URL-koodattu
%E2%9F%A7
1
Näytöllä
1
Koodipisteet
1
JS .length
3
UTF-8-tavut

Näkyvä symboli voi sisältää useita koodipisteitä. JS .length laskee UTF-16-yksiköt; UTF-8 laskee tavut.

Symbolin ryhmät

2

Matematiikka ja numerot1 835 symbolia

Muodot ja värit597 symbolia