Text this: From Mathematical Micro- to Macro-Identities