Linkermultimap

Voer codepunt U+27DC in via de Unicode-invoer van je editor.

Wat betekent ⟜?

De betekenis hangt af van de notatie eromheen. In linkermultimapnotatie hoort ⟜ bij een familie tekens voor relaties die één invoer kunnen koppelen aan een verzameling mogelijke uitkomsten; dat heet een meerwaardige afbeelding. De notatie komt voor in regeltechniek, economie, speltheorie en convexe analyse.

De BQN-operator ⟜ heeft een eigen rol in BQN, een arrayprogrammeertaal voor lijsten en roosters met waarden: “bind” zet een vaste waarde aan de rechterkant van een functie, terwijl “after” eerst een functie toepast en het resultaat aan een andere doorgeeft. Dit zijn BQN-regels, geen algemene betekenis voor elke multimapnotatie.