Aunque en la historiografía neogranadina y venezolana se le conoce a este personaje como García de Carvajal, su verdadero nombre era Juan García de Carvajal.