4 ms·

The TeXmacs book is just out: https://www.scypress.com/book_info.html https://www.scypress.com/book_info.html