In reply to @dginev
@dginev That's excellent work, thanks!
In reply to @christianp
@dginev How did you find these? Looking through a few of them, I haven't found one yet where f is a function, and "f x" can only mean "the application of the function f to x".