7 ms·

For questions about TeXmacs please try the forum at http://forum.texmacs.cn/ http://forum.texmacs.cn/