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