11 Aug
2009
11 Aug
'09
12:55 p.m.
Am 09.08.2009 um 23:09 schrieb Wolfgang Werners-Lucchini:
is \mono the youngest incarnation of \type, \retype ...?
no, \mono is just \tt but you can write it as {\mono text} or \mono{text}
What about \mono{Dies|Das}?
Is'nt it frustrating?
'|' has a special meaning i context, you can write here \type{Dies| Das} or \mono{Dies\letterbar Das} Wolfgang