[Agda] Re: xs\_A

Stefan Monnier monnier at iro.umontreal.ca
Tue Feb 5 14:29:01 CET 2013

> 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.


More information about the Agda mailing list