4 ms·

Can you not just say TeX? Not quite the same but it's likely close enough for it to understand the context?