[@robkk Moderator 10 years, 11 months ago]

Closest thing I can think of is to use a quote plugin like this, which when a user is quoted will insert an @user for each user quoted.

https://wordpress.org/plugins/bbpress-direct-quotes/