0
$\begingroup$

This question already has an answer here:

In the past week or so I tried pinging other members, but the system doesn't seem to work for me.

Here for example I am writing @Jochen I am trying to ping a member with the handle Jochen, and it doesn't seem to work, here my comment that doesn't seem to present the pinged username of Jochen. A claim in Krengel's book on Ergodic Theorems.

How to fix this?

$\endgroup$

marked as duplicate by Martin Sleziak, Community Aug 16 '15 at 15:00

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

4
$\begingroup$

Since the system automatically notifies you on every comment made on your post (be it answer or question), you don't have to lose sleep over this. Jochen is being notified of your comments.

In case there is no ambiguity, the system removes @username of the original poster when it occurs at the beginning of the comment. This means that if no one [except you] has left any comments, then the system knows you are pinging the OP and not, possibly, someone else. So the @username is removed.

While we're at it, if you are the only one who left comments under Jochen's answer, and Jochen writes a comment reply to their answer, you will be notified with or without a @username ping.

$\endgroup$
  • 2
    $\begingroup$ Hi, @Asaf. Just thought I'd remind you that "redundant" @-pings are only removed if they appear at the start of a comment. $\endgroup$ – user642796 Aug 16 '15 at 14:58
  • $\begingroup$ Right. Thanks, Arthur! $\endgroup$ – Asaf Karagila Aug 16 '15 at 15:00

Not the answer you're looking for? Browse other questions tagged .