fsymbols
Ladataan symboleja…
››
⨡

Z-merkintätavan skeemaprojektio

Z-merkintätavan skeemaprojektio

⨡ on Z-merkintätavan skeemaprojektio: se yhdistää kahden skeeman ehdot mutta säilyttää vain jälkimmäisen nimet. Näin muodollinen määrittely säilyttää rajoitteet ja näyttää vähemmän muuttujia.

Tekstisymboli
Hae näin
zproject · Z-projektio · skeemaprojektio · Z-merkintätavan projektio · LaTeX project -komento
Näkyy
Kaikki tekstikentät · ulkoasu riippuu fontista

Mitä ⨡ tarkoittaa

Se säilyttää molempien skeemojen ehdot mutta näyttää vain jälkimmäisen nimet. Z-skeema kokoaa nimettyjä muuttujia ja ehtoja; ilmoitetut nimet muodostavat sen signatuurin.

Ilmauksessa S ⨡ T arvojen on täytettävä molemmat skeemat, mutta vain T:n nimet jäävät näkyviin. Skeeman piilotus (S \ (x)) nimeää sen sijaan piilotettavan muuttujan. Oxfordin vuoden 1984 raportti kuvaa Z:n tietojärjestelmien määrittelyyn tarkoitetuksi kieleksi. ISO-standardi määrittelee projektion skeemaoperaattoriksi; fontti voi näyttää ⨡-merkin eri tavalla tai jättää sen näyttämättä.

Näin kirjoitat ⨡

Windows (Word)
Alt+XKirjoita 2A21 ja paina Alt+X, niin saat merkin ⨡.
Windows
Win+RAvaa koko taulukko suorittamalla charmap tai käytä emojivalitsimen Ω-välilehteä (Win + .).
macOS
Control+Command+SpaceAvaa merkkivalitsin ja hae ”z notation schema projection”.
Linux
Ctrl+Shift+UKirjoita 2a21 ja paina Enter tai välilyönti.
HTML
⨡
CSS
\2A21
Z:n LaTeX
Community Z Toolsin LaTeX-merkinnässä ⨡ kirjoitetaan komennolla `\project`.
Koodit ja koodausKoodipisteitä: 1
HTML desimaalina
⨡
HTML heksadesimaalina
⨡
CSS-sisältö
content: "\2A21";
Kukin ohjausjakso päättyy seuraavaan kenoviivaan; ennen kirjaimellista heksadesimaalinumeroa tarvitaan välilyönti.
URL-koodattu
%E2%A8%A1
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

1

Matematiikka ja numerot1 835 symbolia