On Fri, 28 Jul 2006, Hans Hagen wrote:
> 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
Ah. Makes sense.
> we could use \scantokens if there was not this space-creeps-in-after
> \cs problem)
Well, found a workaround. Not sure if this one is a bug or a feature
(is a feature to me)
\title{some \type{\thing\{and\}}}
However, things get real weird.
\title{\type{$\Pr\{A\}$}}
gives me
! Extra }, or forgotten $.
<recently read> }
<argument> ...tofoneargument {\type {$\Pr \{A\}$}}
\endstrut }\xdef
\localhe...
\@@ko::normal ...box {\localheadsetup \noindent #2
}\fi
\doplaceheadtext ...attributes \dostopattributes }
}\fi
\endheadplacement {#1...
\dodododoconstructhead ...arking [#1\v!number ]{}}
\writesection
{#1}{-}{#4}\...
l.69 \title{\type{$\Pr\{A\}$}}
which I think is the currect behaviour.
There is really no need to change anything. I am happy with "Do not
use \type inside argument. The unexpected can happen."
Aditya
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context
