Formal notation for function equality Is there a short-hand notation for
$$
f(x) = 1 \quad \forall x
$$
?
I've seen $f\equiv 1$ being used before, but found some some might (mis)interpret that as $f:=1$ (in the sense of definition), i.e., $f$ being the number $1$.

Go ahead and use $\equiv$. To prevent any possibility of misunderstanding, you can use the word "constant" the first time this notation appears. As in "let $f$ be the constant function $f\equiv1$..."
