3 ms·Thanks for the pointer, I shall play with latexml!by c0g 13y agoThanks for the pointer, I shall play with latexml!