General AI Systems and Interaction Design / Structured Input and Expression Editing

Annotating and adjusting complex formulas in scientific writing is time-consuming and error-prone.