🔍

Ladataan symboleja…

››

⊸

Multimap

Multimap

Lineaarisessa logiikassa ⊸ tarkoittaa, että resurssia A käyttämällä saadaan B ja A kuluu samalla. Merkkiä käytetään todistuksissa ja ohjelmoinnin tyyppijärjestelmissä, jotka seuraavat resurssien käyttöä. Sen ulkoasu riippuu fontista, joten tavallinen teksti ja ladotut kaavat voivat näyttää sen eri tavoin.

Tekstisymboli

Myös nimellä: lolli · lineaarinen implikaatio
Hae näin: lineaarinen logiikka · multimap-merkki
Näkyy: Kaikki tekstikentät · ulkoasu riippuu fontista

Mitä ⊸ tarkoittaa

Syöteresurssi A kuluu, kun saadaan B.

Lineaarinen logiikka on päättelytapa, jossa resurssien käyttöä seurataan: oletusta ei voi noin vain käyttää uudelleen tai hylätä. Kun implikaatiota A ⊸ B sovelletaan, A kuluu B:n tuottamiseen.

Jean-Yves Girard esitteli lineaarisen logiikan vuonna 1987; sen merkinnöissä ⊸ tarkoittaa lineaarista implikaatiota.

Lineaarisen logiikan ja resurssien käyttöä seuraavien ohjelmoinnin tyyppijärjestelmien erikoismerkintä.

Älä lue sitä tavallisena ”jos A, niin B” -ilmauksena: käytössä A kuluu.

Usein kysytyt kysymykset

Tarkoittaako ⊸ samaa kuin →?

Ei. Lineaarisessa logiikassa ⊸ seuraa resurssin käyttöä; tavallinen → ei yksin sisällä tätä sääntöä. Jos asiayhteyttä ei ole selvästi määritelty lineaariseksi logiikaksi, noudata kirjoittajan määritelmiä.

Näin kirjoitat ⊸

Windows (Word)

Alt+XKirjoita 22B8 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 ”multimap”.

Linux

Ctrl+Shift+UKirjoita 22b8 ja paina Enter tai välilyönti.

HTML

⊸

CSS

\22B8

Koodit ja koodausKoodipisteitä: 1

HTML desimaalina

⊸

HTML heksadesimaalina

⊸

CSS-sisältö

content: "\22B8";

Kukin ohjausjakso päättyy seuraavaan kenoviivaan; ennen kirjaimellista heksadesimaalinumeroa tarvitaan välilyönti.

URL-koodattu

%E2%8A%B8

Näytöllä

Koodipisteet

JS .length

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

Matematiikka ja numerot1 835 symbolia

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