The design of the math pad editor by R. Verhoeven