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 fin

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.