Where does “미카엘” come from?

미카엘 (Korean) comes from Latin Michahel, from Greek Μιχαήλ, from Ancient Greek Μιχαήλ, from Hebrew מיכאל, from Hebrew אֵל, from Hebrew שמואל, from Hebrew שְׁמוּאֵל.

미카엘 (Korean): Michael, the Archangel