Tags would correspond to their HTML equivalents. They're easy, safe, and would save us from having to do things like type 2^30 or X1, X2, X3, ..., Xn.

~J