Murat Kasimov

More about me

Я language (β)

/Я language (β)/Operators/hjd'dcps/

(`hjd`) [H]om functor alias mapping A[DJ]oint (reversed) (`dcps`) [D]ay [C]onvolution from [P]roduct into [S]um `hjd'dcps` : t i `AR__` t ii `AR_` t ( i `S` ii )

Type declaration with labels arrangement:

`hjd'dcps` : t i `AR__` tt `L` tt `T` ll `T` ii `AR_` t ( i `S` ii )

Available stretched versions (starting precedence is 7):

`hjd_'dcps` `hjd__'dcps` `hjd___'dcps` `hjd____'dcps`