In general would say is probably better to use the @ symbol if you are going to write someone’s user name, so then if the username is changed or account is anonymized the mentioned name will update to reflect that.
4 Likes