The second way to put verbatim text in LaTeX is the tt(tt) macro, used for
short in-line strings (e.g, tt(**argv)). The LaTeX converter doesn't actually 
use a verbatim mode, but sets the characters in teletype font. I just hope 
that the character conversion tables are complete..
