All Questions
2 questions
14
votes
1
answer
661
views
How to @ a user with non-Latin characters?
When typing comments, it's useful to use the "@" system to alert a user to a comment (and also to make it clear to a 3rd party who you are addressing a comment to, as comments have no "...
- 18.7k
4
votes
1
answer
232
views
Is there a way to `@` exactly one of two users whose names differ, if at all, only by whitespace?
I recently approved an edit to Zeroes of characters of general linear group induced from certain characters of parabolic subgroups by user @math seeker. I approved the edit, which was otherwise ...
- 12.9k