How do you mention a user on Lemmy?

Is there an equivalent to doing /u/user in The Bad Place, to notify and summon someone?