Miranda
Este apelido de familia, diz o dr. Alvaro de Azevedo, procede de João Lourenço de Miranda, um dos nobres companheiros de Zargo. Há outros Mirandas que vêm de João Machado de Miranda.