3 ms·

Great point, I forgot about that. In that case, I wish they'd used * * * or something. @ just doesn't seem right to me.