29 Sep
2010
29 Sep
'10
5:43 p.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