6 ms·

Cool. I've setup a Google Group at https://groups.google.com/d/forum/mathlingua-discuss https://groups.google.com/d/forum/mathlingua-discuss.