5 Oct
2013
5 Oct
'13
11:48 p.m.
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