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