Originally a diminutive of MIKLÓS or <a href="details.php?no=&n=MIH%C3%81LY">MIHÁLY</a>. It is now used independently, or as a Hungarian form of <a href="details.php?no=&n=MAXIMILIAN">MAXIMILIAN</a>.