Notation-based semantification - Kohlhase, Michael; et al. (MathUI 2016, 2017)