static S ocr_withoutSymbols(S s) {
  ret ocr_glyphsToCode([S g : ocr_parseGlyphs(s) | !(g.startsWith("{") && g.endsWith("}"))]);
}