I’m not sure how that works either. If @ followed by their name doesn’t work, maybe try their pub key. If you click their profile, you can choose “copy pubkey” and try pasting that into your message. I have no idea if that will work, but you can give it a shot.
I was given the advice “just mess around to figure out how things work” and “you won’t break anything”. Just passing it on.