How to mention users in comment replies?

To mention a user, type the @ symbol. A list of users will appear. Click the name of the user you wish to mention. The user's name will then be added to your comment.