An editor for mathematical formulas inspired by the text editor vim