static JTable showLearnedCharacters() {
  final SimpleRecognizer sr = filledSimpleRecognizer_cached();
  ret showTable(sortByField('Character, map(sr.fullSearchMap,
    func(BWImage img, S md5) -> Map {
      SimpleRecognizer.GlyphInfo g = sr.getGlyphInfo(md5);
      ret litorderedmap(
        Character := g.meaning + (g.multi ? " (+others)" : ""),
        Image := img);
    })));
}