Why dont function definitions such as f(x,y) = xy
use := instead
It's often used in theorems or beginnings of proofs, not really much use using it all the time
>>7951274
why would we want that?
>>7951274
Because CS majors are faggots and "≝" and "≡" already exists
>>7951274
historical coincidence
it's unfortunate that mathematics has chosen to use
= to denote two quantities having the same value
= to denote an assignment operator
= to denote the output of an operation
fortunately context usually clarifies such ambiguities
>>7952555
thanks triplord
>>7951274
because it doesn't make sense to use that to define a function.
Use something like this instead, which is standard notation:
f: RxR -> R
(x,y) l-> xy