[Agda] lhs2tex and agda identifiers

[Dan Licata]

When I have an identifier that starts with a number, like 1s, lhs2tex
renders it with a space (e.g. "1 s"), presumably because it's not a
valid Haskell identifier.  

Is there any way to work around this, e.g. using a %format directive?

Thanks!
-Dan