Subscript implementation

Oh, Koreans won’t be happy with that tilde syntax. Korean uses tildes to represent the range of numbers.

Stop converting a pair of tildes to strikethrough on paste