Often we say something like the following:
Define function $f: A \to B$ by $f(a) = 2a$.
So, I have a bit of a semantics question. Does our use of "define" here indicate that it's appropriate to say that $f(a) := 2a$. That is, is the definition logical connective appropriate here? I usually see the equality sign instead. Are both technically correct?