Lo único que tienes que hacer para mencionar un usuario en un comentario es ponerle una @ delante de su nick.



Al usuario le llegará una notificación con la mención.



Y en tu perfil podrás ver las veces que los usuarios del foro te han mencionado.