User not receiving notification when tagged in a CRM note

User not receiving notification when tagged in a CRM note

I have a user that is not receiving email when tagged in a CRM note.

Where do I configure this notification?