/Я language (β)/Operators/ha'ha/

(`ha`) [H]om functor alias mapping contr[A]variantly (`ha`) [H]om functor alias mapping contr[A]variantly
`ha'ha` : target ( t ( tt a _ ) _ ) ( target ( source ( a ) ( o ) ) ( t ( tt a _ ) _ ) )

Available stretched versions (starting precedence is 9):

`ha_'ha`, `ha__'ha`, `ha___'ha`, `ha____'ha`, `ha_____'ha`, `ha______'ha`