[NTG-context] Bug with type << .. >>?

[Hans Hagen]

Aditya Mahajan wrote:
> 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
>   

you can try:

\title{\retype{$\Pr\{A\}$}}

watch the space after \Pr

Question for taco: can we make such spaces optionally disappear in future tex's?

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
-----------------------------------------------------------------