On Wed, 29 Sep 2010, Patrick Gundlach wrote:
Is there any difference between \mono{...} and \type{...}? I guess that type does much more to catcodes, but apart from that, both seem to be similar.
- \type typesets its argument verbatim (catcodes, spaces, etc). - \type has two variants \type{...} (but braces have usual catcode inside the arugment, or \type!...! \type+...+ (basically, \type<char>...<char>) where everything other than the first char has other catcode. This is useful if the argument has unbalanced brances. - \type may fail in commands that store their arguments to aux files (\section, etc) or commands that process their arguments twice (\bTABLE, etc) or carry around their arguments (\footnote, etc). In some of these cases, using \retype{...} instead works. Aditya