While reading the CREATE OPERATOR docs around prefix operators, I noticeda few places that could be improved.
Christoph