> "the choice of letters SHOULD NOT affect the meaning of a mathematical statement" I mean, that ship sailed a long time ago. You can't understand any modern m

> "the choice of letters SHOULD NOT affect the meaning of a mathematical statement" I mean, that ship sailed a long time ago. You can't understand any modern math or physics (or ML, or CS) paper without depending on variable naming conventions. Attempts (like Sussman & Wisdom) to have a properly lexically scoped notation end up being quite verbose.