3 ms·

I had a class that "strongly recommended" Latex - it was for formal proofs (CSP was one thing we learned - I can't remember the others now).