> the \_1 is just a unicode subscript character. No other subscripts
> are supported, as far as i know.
Note also that the TeX input method (on which the Agda input method is
based) used to provide only a subset of Unicode's subscript and
superscript chars.
This is fixed in the upcoming Emacs-24.3.
Stefan