export function toSuperscript(x: string): string {
  var a = "";
  for (var c of x) {
    var d = SUPERSCRIPT_LOOKUP[c.charCodeAt(0) - 32] || " ";
    a += d===" "? c : d;