Murat Kasimov

More about me

Я language (β)

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

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

Type declaration with labels arrangement:

`hjd'dcpp` : t i `AR__` tt `L` tt `T` ll `T` ii `AR_` t ( i `P` ii )

Available stretched versions (starting precedence is 7):

`hjd_'dcpp` `hjd__'dcpp` `hjd___'dcpp` `hjd____'dcpp`