about the notation `f \max g`

[affeldt-aist]

"\max and \min look bad names (e.g., f \max g can be neither f nor g)." @t6s

(copied from a PR conversation #1819 (comment))

[t6s]

If the convention is to read \ as "pointwise", then \max and \min are consistent (but embarrassing to me).
On the other hand, they look bad if \ is "on a type of functions", since there will be no sensible order structure on functions for which they become max and min.

[affeldt-aist]

I think that the intent was the former. What about we adapt the documentation to make it clearer?

[t6s]

That would be enough.