Originalmente llamado Bothë por los otomíes, luego Tetillas y San Miguel de las Tetillas por los españoles.