Just put an @ in front of the person (or people’s) name:

And then their names will be linked to their profile on the resulting comment:

And the user will also receive a notification in their profile that they were mentioned:

If the user has chosen it in their preferences, they will also receive an email notification that they were mentioned. It is a great way to bring people back to your community!