[crubier]

Longer to write: Don't care, that's kinda the point. I'd rather read a descriptive name in english than a greek letter with a tilda and a dot subscript.

Generally a numerical rather than symbolic representation: Meh https://docs.sympy.org/latest/modules/functions/elementary.h...

[aeternum]

At least one benefit is you can now leverage LLMs to basically translate entire math textbooks into your preferred notation.

I would be curious whether you find it easier. I kinda think it'll be too many parenthesis.