2
$\begingroup$

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$.

$\endgroup$
4
  • 2
    $\begingroup$ I tend to interpret $\equiv$ in the way you want. Also, I usually don't take $:=$ to mean a definition, so much as an instance. E.g. $f:=1$ to me means that $f$ will represent $1,$ but it is not a definition of $f.$ $\endgroup$
    – Andrew
    Jul 27, 2012 at 20:30
  • 2
    $\begingroup$ I also interpret $\equiv$ in the way you want. (I do take $:=$ to denote a definition.) $\endgroup$
    – joriki
    Jul 27, 2012 at 20:47
  • $\begingroup$ $A\triangleq B$ is sometimes okay, and $\newcommand\assign{\mathinner{:=}}A\assign B$ sometimes represent $A\gets B$ in context of computer programmng. $\endgroup$
    – Yai0Phah
    Jul 28, 2012 at 14:29
  • 1
    $\begingroup$ That's why the (sub)section notation is always a great idea at the beginning of any book or paper. $\endgroup$
    – user2468
    Jul 29, 2012 at 1:01

1 Answer 1

2
$\begingroup$

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$..."

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.