We're using the same syntax than Discord/Facebook/Slack/...

The @ followed by the user login allows mentioning any registered users

The mentioned user will receive a notification if he/she enabled them from his/her forum profile page