Henning Thielemann schrieb:
I have seen $f(\cdot)$ instead of $f$ really often, as well as
$f(\cdot-k)$ for \x -> f(x-k).
yes, but for first order functions only. Then parens can be seen as part
of the identifier (as I showed for tuples before).
Christian
