![](https://secure.gravatar.com/avatar/93131e1e6e2204bd13501390d768dbdc.jpg?s=120&d=mm&r=g)
29 Sep
2010
29 Sep
'10
9:43 a.m.
Am 29.09.2010 um 17:37 schrieb Patrick Gundlach:
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.
\mono{...} is only another form of {\tt ...} and switch to the typewriter font but \type is verbatim mode Wolfgang