I think the @user@site syntax would be fine. It would be really nice if @user (which would of course be a DW user) also generated a notification. People would have to have a setting to turn off being notified that they've been @ mentioned (aka pinged, aka "ear burned").