A função "Mencionar usuário" que foi muito bem vista e se tornou popular vinda principalmente depois de integrado ao Telegram; hoje, após atualizações na versão Beta do Whatsapp, trouxe ao aplicativo essa novidade para eles, já que se está bem atrasado nesta questão, mas, afinal, chegou!
Se você não conhece, acontece e funciona exatamente assim: Quando estiver em um grupo do whatsapp, digite o símbolo @ e em seguinte se deparar com todos os contatos do grupo, então basta selecionar o usuário que deseja marcar e verá o nome do usuário como um hiperlink e após isso, digite o restante da mensagem que queira...
Quando clicar no nome que está em forma hiperlink, será encaminhado para os detalhes do contato selecionado; mas também é importante ressaltar que o nome exato vai depender de como cada participante salvou o nome dessa pessoa no seu livro de endereços.
Até agora, a opção não parece alertar especificamente a pessoa nomeada, mas é algo que se pode esperar numa atualização futura.