And despite lambda calculus being written entirely using single letter variable names, Scheme programmers all use proper word-size variable names in their progr

And despite lambda calculus being written entirely using single letter variable names, Scheme programmers all use proper word-size variable names in their programs. Mathematics notation is so notoriously awful that mathematicians often can't even read equations from other disciplines without significant extra context.