Mitä ⦉ tarkoittaa
Se avaa sidonnan Z-merkinnässä.
Sidonta yhdistää osien nimet arvoihin; skeematyypit ilmoittavat niiden tyypit. Merkinnässä ⦉x:X⦊ x on nimetty osa, jonka tyyppi on X, eikä sille anneta arvoa.
Z:n formaalia semantiikkaa käsittelevä raportti julkaistiin 1984. Z Base Standard painettiin 1992, ja siinä sidonnan laajennukset määritellään nimien ja lausekkeiden vastaavuuksiksi. Nämä vuodet kertovat sidonta-ajatuksen historiasta, eivät tämän hakasulkeen alkuperästä.
Erikoismerkintä Z:n muodollisiin määrityksiin.
Avaava ⦉ tarvitsee parikseen sulkevan ⦊-merkin.
Älä sekoita tähän
1
Liittyvät merkit
1
Yhdistelmäideoita
1Skeematyypin määritys: osan x tyyppi on X.
Lisää tällaisia
8
Näin kirjoitat tai löydät ⦉
- Hae näin
- Z-sidonta · sidontahakasulje · lblot
- Näkyy
- Kaikki tekstikentät · ulkoasu riippuu fontista
Windows (Word)
Windows
HTML
⦉CSS
\2989Z:n ladonta
Z:n ladontajärjestelmässä komento
\lblot voidaan määritellä tälle avaavalle merkille.Java-lähdekoodi
Kirjoita Java-lähdekoodiin
\u2989, niin se tarkoittaa tätä merkkiä.Koodit ja koodausKoodipisteitä: 1
HTML desimaalina
⦉
HTML heksadesimaalina
⦉
CSS-sisältö
content: "\2989";
Kukin ohjausjakso päättyy seuraavaan kenoviivaan; ennen kirjaimellista heksadesimaalinumeroa tarvitaan välilyönti.
URL-koodattu
%E2%A6%89
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.