How do you reference other people's comments in your own?

Sorry for such a noobish question. I’m just wondering how you do that thing (@soandso) that links back to their comment. Is there a certain kind of html code for that? Thanks!