On the web ui, a popover should appear as soon as you type @ followed by three nonspace characters. You can select the user you want to tag from there and it should fill in the proper markdown. In the end it looks like this: @peregus@lemmy.world