changeset 240 | d111f5988e49 |
parent 218 | 7ff7325e3b4e |
child 244 | dc95a56b1953 |
--- a/ProgTutorial/document/root.tex Wed Apr 15 13:11:08 2009 +0000 +++ b/ProgTutorial/document/root.tex Sat Apr 25 14:28:58 2009 +0200 @@ -116,6 +116,7 @@ % for {* *} in antiquotations \newcommand{\isasymverbopen}{\isacharverbatimopen} \newcommand{\isasymverbclose}{\isacharverbatimclose} +\newcommand{\isasymfoo}{\isa{{\isacharbackslash}{\isacharless}foo{\isachargreater}}} %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % since * cannot be used in text {*...*}