What ⅋ means
It means “par,” a connective in linear logic.
Par is linear logic’s multiplicative disjunction, a kind of “or” whose rules track how resources are used. Its recognizable logical use appears in Jean-Yves Girard’s 1987 work on linear logic.
The font draws the glyph. In Typst, a typesetting system, a discussion opened January 26, 2025, about treating ⅋ as a binary operator—a sign joining two expressions—or an ordinary symbol. That choice affects formula spacing, not meaning.
Don't confuse it with
1Questions people ask
1Why does ⅋ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
How to type ⅋
⅋\214BCodes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.

