Structured Manipulation of Handwritten Mathematics - João Miguel Gomes Gonçalves (2023)