@l_incompletude I've made one myself (github.com/numbas/LissaJS), but that's overkill. You could just strip out everything except +-/* and 0-9