User mentions (@user) should be parsed on the server-side, and events should be sent to the notified user regardless of the room he is in.
If the user is not connected, an email should be sent to his account, assuming he set it and email is enabled ont he server-side.