How do you ping someone on Whatsapp?

Just type an @ in the text window followed by the name of the person you want to ping. The auto-complete system will show you a tab with all the matching group members. Then tap the person’s name to ping them. (Obviously all the other group members can still read the message.)