Seriouly though, as mentioned, just type the @ symbol and then the persons nick. As you keep typing, at least on the website, you'll see a list of member names appear below, which can be helpful. Especially for people with random numbers at the end of their nick!