Like /u/username on le reddit. It's a nice touch that sort of signals that the user is being notified you mentioned them.