How does one tag another user in a comment?

On Reddit, it's possible to tag a user bij adding a u/ before the username of some account.

Is that possible on Lemmy?

Edit: thanks everybody! These worked.