En ese contexto se le llama a veces "Enrique Guillermo, príncipe de Orange" como traducción de su título neerlandés, "Willem Hendrik, Prins van Oranje".