0
$\begingroup$

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$
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 .