https://codeforces.com/blog/entry/98200
同上, 组队的哥哥可以 PM 一下.
You can use @mike to mention the user mike.
If you wish to input the '@' character, please use @@