Reply to a Facebook comment comes with a @mention of its author, automatically. It's prefilled in the reply field for you to use straight away.
The user will be notified on Facebook, that they have been mentioned. In order for a page to mention a user, the user must have commented on the page post or be the author of the page post.
And this is how it will appear on Facebook: