3 ms·

For a second I thought John Hughes' arrows were being introduced. Seems it's just the "arrow" in the syntax.