diff -r b63c72776f03 -r d111f5988e49 ProgTutorial/document/root.tex
--- 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 {*...*}