An Investigation on the Dynamics of Direct-Manipulation Editors for Mathematics