How to define a new infix operator?

There are a bunch of discussions on this, see e.g. here: ★ is not an operator - #2 by Sukera

5 Likes