Local let binding mathematical notation

Local let binding is a recurring research-paper notation family. Introduces a name for an object or expression within the current argument to make later statements shorter.

Local let binding: Introduces a name for an object or expression within the current argument to make later statements shorter. Example: Use z as a short name for the affine expression.