HLevel.getRepr is ok for reprnum = [ "1", "I", "i", "A", "a", "①" ]