3 ms·

I don't even think it's an OCR/transcription issue, considering it's missing in the source PDF as well.