subscript method

String subscript(
  1. int index
)

Converts an integer into a subscript string (e.g., 1 -> ₁). Used for numbering multiple example runs.

Implementation

String subscript(int index) {
  String result = '';
  var x = index.toString();
  for (int i = 0; i < x.length; i++) {
    var char = x[i];
    result += {
      '0': '₀',
      '1': '₁',
      '2': '₂',
      '3': '₃',
      '4': '₄',
      '5': '₅',
      '6': '₆',
      '7': '₇',
      '8': '₈',
      '9': '₉'
    }[char]!;
  }
  return result;
}