how do I react to it
Ultimately, that's a question that needs a personal answer based on your own goals and your feelings.
No one likes to be mocked, especially when making a helpful suggestion about a sensitive topic. But it's important to also keep in mind that those who mock are often just looking for attention - they want to get a rise out of you, and they want others to laugh along with them. With that in mind, sometimes it's best to ignore a mocker if you can.
Or, disarming them by either responding without any emotion at all (i.e. in a non-provoking, non-engaging manner) or sometimes even by laughing along with them if it's appropriate, can de-escalate the issue and take the steam out of their sails.
In your specific scenario, depending on how your company is structured and how the survey is run, maybe there's an admin person responsible for the survey system who would be willing to remove that comment - and, potentially, have a talk with the offending employee about proper use of the comment system.
You also asked,
Do I take an action against him by complaining to HR?
Ultimately, if a person shows a pattern of mocking you to the extent that you feel they are creating a hostile workplace - and you've exhausted reasonable attempts to solve the conflict yourself - it may be appropriate to involve HR. But keep in mind, HR basically exists to keep the company out of legal trouble. In other words, they are there to stop you from suing the company. They are not there to solve your arguments or worry about your feelings. So, don't engage HR unless you are prepared for a legally-oriented, risk management approach to solving your problem.