saludo inicial en el correo electrónico

En la redacción de los correos electrónicos es muy común el encabezamiento del tipo: «Hola, Mario», o «Buenos días Antonio». ¿Ha de usarse una coma para separar el nombre?