››

⊸

multimap

Multimap

In linear logic, ⊸ says that a resource A can produce B, and A is consumed in the process. It appears in proofs and in programming type systems that track resources. Its shape depends on the font, so plain text and typeset formulas can look different.

Text symbol

Also called: lolli · linear implication
Search it as: linear logic · multimap symbol
Shows up in: Anything that takes text · its shape is whatever your font draws

What ⊸ means

The input resource A is spent to obtain B.

Linear logic is a way of reasoning that tracks resources: a premise cannot simply be reused or discarded. In A ⊸ B, applying the implication consumes A to yield B.

Jean-Yves Girard introduced linear logic in 1987; in its notation, ⊸ marks linear implication.

Specialist notation for linear logic and programming type systems that track resources.

Don’t read it as a plain “if A then B”: using it spends A.

Questions people ask

Is ⊸ the same as →?

No. In linear logic, ⊸ tracks the use of a resource; ordinary → does not carry that rule by itself. Outside a clearly defined linear-logic setting, follow the author’s definitions.

How to type ⊸

Windows (Word)

Alt+XType 22B8, then Alt+X to get ⊸.

Windows

Win+Rrun charmap for the full table, or use the emoji picker's Ω symbols tab (Win + .).

macOS

Control+Command+SpaceOpen the character viewer and search “multimap”.

Linux

Ctrl+Shift+UType 22b8, then Enter or Space.

HTML

⊸

CSS

\22B8

Codes and encoding1 code points

HTML decimal

⊸

HTML hex

⊸

CSS content

content: "\22B8";

Each escape is closed by the next backslash; a trailing space is needed before a literal hex digit.

URL encoded

%E2%8A%B8

On screen

Code points

JS .length

UTF-8 bytes

A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

Families this belongs to

Maths & numbers1,835 symbols

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