As in, how do you mention someone in a comment, so they get a notification that they’ve been mentioned somewhere? Is it even possible yet? I’ve tried writing @ following by the username (not screen name, though I tried that too) but it didn’t work. Problem is, I’ve seen people do this in comments before, just can’t figure out how.

Edit: Solved.