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