On adjoints and custom postfix and infix operators

Apologies! I’m still learning how to quote properly in Discourse and it probably doesn’t help that I composed that post on my phone.

I’ve edited my message.