28 Jul
2006
28 Jul
'06
9:55 a.m.
Aditya Mahajan wrote:
Isn't \type<<..>> be supposed to be equivalent to \type{..} ?
\title{some \type{thing} }
works perfectly but
\title{some \type<<thing>>}
<< >> will not work in commands that get an argument because it is related to catcode changes we could use \scantokens if there was not this space-creeps-in-after \cs problem) Hans -- ----------------------------------------------------------------- Hans Hagen | PRAGMA ADE Ridderstraat 27 | 8061 GH Hasselt | The Netherlands tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com | www.pragma-pod.nl -----------------------------------------------------------------