I would just like to add that users using an @mention are made aware if the user does not receive a notification because they have muted the topic.
One problem is that these notifications are not displayed on mobile devices, but there is a Feature request for that: Allow automatic 'JIT' education and warning messages to show up on mobile