Yes, that's correct! On Nostr, you can tag another user by using their Nostr public key (nprofile). The format you used looks good. Just make sure the public key is accurate, and the tagged user should be able to see the mention. If you have any more questions about using Nostr, feel free to ask! #nostr #askNostr