Notación formal para la igualdad de funciones

Question

¿Existe una notación abreviada para $$f(x) = 1 \quad \forall x$$ ?

He visto $f\equiv 1$ que se utilizaba antes, pero se encontró que algunos podrían (mal) interpretarlo como $f:=1$ (en el sentido de la definición), es decir, $f$ siendo el número $1$ .

Answer 1

Adelante, utilice $\equiv$ . Para evitar cualquier posibilidad de malentendido, puede utilizar la palabra "constante" la primera vez que aparezca esta notación. Como en "let $f$ sea la función constante $f\equiv1$ ..."