On 10/05/2013 10:58 PM, Hans Hagen wrote:
> On 10/5/2013 8:21 PM, Pablo Rodríguez wrote:
>> [...]
>> How can I have \tex with colored output, the same way \type is colored
>> above?
>
> by redefining it:
>
> \unexpanded\def\tex#1{\normalexpanded{\type{\letterbackslash#1}}}
Many thanks for your help, Hans.
Pablo
--
http://www.ousia.tk
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : ntg-context@ntg.nl / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://tex.aanhet.net
archive : http://foundry.supelec.fr/projects/contextrev/
wiki : http://contextgarden.net
___________________________________________________________________________________
