static S ocr_escapeMeaning(S s) {
  ret s.replace("_", "\\_")
    .replace("[", "\\[").replace("]", "\\]")
    .replace("{", "\\{").replace("}", "\\}");
}