There generally is a (configurable) delay between a mention being made ane the notification being sent to prevent this kind of situation. Whether a notification was sent or not will depend upon the configured delay and the fact that the user was online or not.
Edit: the setting is called email time window mins