In the rich text editor:
@9417
In a comment:
[9417](https://chowlings.com/user/9417)
For Names and Avatars:
In the rich text editor:
%9417
In a comment:
[](https://chowlings.com/user/9417) [9417](https://chowlings.com/user/9417)