@user doesn't send a message to the user in Twitter. Twitter does, however, mark it for you so it's easy to find when people have mentioned and/or replied to you. On my Twitter there's a "@beck_liz" link on the side of the page, and if I click on it, it lists all tweets that have that in it. More like a tag than anything, I think.