[smokel]

Note that the alternate notation was suggested by someone named "2'5 9'2" on the Mathematics Stack Exchange [1], and not by 3Blue1Brown.

Obviously, this should not take away from the amazing educational work that 3Blue1Brown has achieved, but the honorary mention would probably suffice :)

[1] https://math.stackexchange.com/questions/30046/alternative-n...

[pranavjoneja]

He mentions in the video that he saw the idea in "a math exchange post" and he also has a link to the exact post in the video description. Doesn't that count?

[simiones]

The point was that it's just not his invention. He attributes it extremely clearly, no one is accusing him of theft. But you don't get math prizes for presenting someone else's ideas.

[hgsgm]

Fortunately, you do.

https://en.m.wikipedia.org/wiki/Leroy_P._Steele_Prize

[emiliobumachar]

It does count as properly attributing the idea, yes. It doesn't count as having it. Possibly the Fields Medal suggestion assumed it was his?

[a1o]

I agree with the comment that says this removes the personality of each function

[hgsgm]

Why doesn't subtraction need personality?

[Tainnor]

I don't think there are many deep theorems about subtraction, but there are a lot of very deep theorems about powers (and polynomials), the exponential function and logarithm functions (especially in complex analysis).