/Π― language (Ξ²)/Operators/

All operators are left-associative, no exceptions - both type and value level.

The length of the symbol define its precedence. Longer glyphs takes less precedence.

How to calculate precedence? Here is the formula: 10 - operator subtrahend = precedence.

In operator compositions precedence is calculated by the first operator.

Exhaustive list of tokens with its subtrahend:

[1] `yi` - [Y] , [Y]onedified functor mapping
[0] 𝅺𝅹 𝅺𝅹 𝅺𝅹 - [H] , [H]om functor alias mapping
[1] `ha` - [A] , functor mapping contr[A]variantly
[1] `ho` - [O] , functor mapping c[O]variantly
[0] `ut` - [UT] , factoring through [U]nit [T]ype
[0] `vt` - [VT] , factoring through [V]oid [T]ype
[1] `P` - [P] , factoring through [P]roduct
[1] `S` - [S] , factoring through [S]um
[1] `W` - [W] , factoring through [W]hether
[2] `eq` - [EQ] , factoring through [E][Q]uality relation
[0] `st` - [ST] , factoring through [S]uper[T]ype relation
[0] `ts` - [TS] , factoring through [S]uper[T]ype relation (reversed)
[0] `bt` - [BT] , factoring through [B]ase[T]ype relation
[0] `tb` - [TB] , factoring through [B]ase[T]ype relation (reversed)
[1] `xk` - [K] , source lax [K]leisli morphism
[1] `kx` - [K] , source lax co-[K]leisli morphism
[1] `xl` - [L] , target lax K[L]eisli morphism
[1] `lx` - [L] , target lax co-K[L]eisli morphism
[1] `rx` - [R] , lax co-[R]epresenting object
[1] `xr` - [R] , lax [R]epresenting object
[2] `hdj` - [DJ] , left A[D]joint , right Ad[J]oint
[2] `hjd` - [JD] , right Ad[J]oint , left A[D]joint
[2] `dcii` - [DC] , [D]ay [C]onvolution
[2] `cdii` - [CD] , [D]ay [C]onvolution (reversed)

Exhaustive list of basic operators:

yi β‹… yo β‹… ya β‹… yok β‹… yak β‹… kyo β‹… kyok β‹… kyokl β‹… yokl β‹… yakl β‹… ryo β‹… rya β‹… yor β‹… yar β‹… ho β‹… ha β‹… har β‹… hop β‹… hap β‹… has β‹… hos β‹… hdj β‹… hjd β‹… dcpp β‹… dcps β‹… dcpw β‹… vt β‹… ut β‹… st β‹… ts β‹… bt β‹… tb β‹… eq

Incomplete list of composite operators:

yo'st β‹… ya'st β‹… yo'yo β‹… yo'ya β‹… ya'yo β‹… ya'ya β‹… yo'yo'yo β‹… yo'ya'yo β‹… yo'yo'ya β‹… yo'ya'ya β‹… ya'yo'yo β‹… ya'ya'yo β‹… ya'ya'ya β‹… ya'yo'ya β‹… dcpp'yo β‹… dcps'yo β‹… ho'ha β‹… ho'ho β‹… ha'ha β‹… ha'ho β‹… ho'yo β‹… ho'ya β‹… ha'yo β‹… ha'ya β‹… ho'yak β‹… ho'yok β‹… ha'yak β‹… ha'yok β‹… ho'yokl β‹… ho'yakl β‹… ha'yakl β‹… ha'yokl β‹… ho'st β‹… ho'vt β‹… ho'ut β‹… ho'ut'st β‹… ha'st β‹… ha'vt β‹… ha'ut β‹… har'st β‹… har'bt β‹… hop'dcpp β‹… hop'dcps β‹… hjd'dcpp β‹… hjd'dcps β‹… hjd'eq