MathBrush: A System for Doing Math on Pen-Based Devices | IEEE Conference Publication | IEEE Xplore