delimiterFromName static method

String delimiterFromName(String raw)

Implementation

static String delimiterFromName(String raw) {
  final clean = raw.startsWith("\\") ? raw.substring(1) : raw;
  switch (clean) {
    case ".":
      return "";
    case "langle":
      return "⟨";
    case "rangle":
      return "⟩";
    case "lfloor":
      return "⌊";
    case "rfloor":
      return "⌋";
    case "lceil":
      return "⌈";
    case "rceil":
      return "⌉";
    case "lgroup":
      return "⟮";
    case "rgroup":
      return "⟯";
    case "lmoustache":
      return "⎰";
    case "rmoustache":
      return "⎱";
    case "lvert":
    case "rvert":
    case "vert":
      return "|";
    case "lVert":
    case "rVert":
    case "Vert":
      return "‖";
    case "|":
      return "|";
    case "lbrace":
    case "{":
      return "{";
    case "rbrace":
    case "}":
      return "}";
    default:
      return clean;
  }
}