Yea but we will not redefine + to - in Julia base.
If ∀ was allowed in e.g. variable names, then code like a∀b = 1 would break if we decide we want to introduce ∀ as an operator.
6 Likes
Yea but we will not redefine + to - in Julia base.
If ∀ was allowed in e.g. variable names, then code like a∀b = 1 would break if we decide we want to introduce ∀ as an operator.