All you have to do is:
Place the ‘@‘ symbol before the person you are mentioning, then repeat the name with correct capitalisation in the right places. They will get a notification (if on desktop) and will come to wherever you mentioned them (if they want to).
Example: @Blank McBlank Blank McBlank
When you post the comment, it should look more or less like this:
@Blank McBlank Blank McBlank
I have had a lot of difficulties, so I simplified it for anybody who wants to know how to mention a user. If you wanted to know, replace the ‘Blank McBlank’ with the person who you’re mentioning.
If you read the comments, that is Jason Gomez teaching me how to mention others. If parts of the conversation are missing, it’s probably in the other note which we were switching the mentioning from (solution to Jason’s note to this note) Then Percy Jackson got involved. If you want to get confused, by all means read it. If you don’t, don’t.