Proper noun
King of the Romans
(now historical) The monarch of the Holy Roman Empire, originally specifically prior to their formal coronation as emperor by the Pope. [from 15th c.]
After his opponent died, he was re-elected in 1349 and crowned King of the Romans. Source: Internet
After the death of Ruprecht in 1410, his succession at first proved difficult, as both Wenceslaus' cousin Jobst of Moravia and Wenceslaus' brother Sigismund of Hungary were elected King of the Romans. Source: Internet
At length a compromise was reached: Philip was to succeed Ferdinand, but during the former's reign Maximilian, as King of the Romans, was to govern Germany. Source: Internet
Conrad was never crowned emperor and continued to style himself " King of the Romans " until his death. Source: Internet
On 9 March, he wrote to Rudolf, King of the Romans, begging him not to come to Italy, and if he had already started his journey, to break it off, until an agreement between him and the Papacy could be finalized. Source: Internet
Once an individual swore to abide by the electoral capitulation, he assumed the office of King of the Romans. Source: Internet