<VERB>\~ { printf ("˜"); }
<VERB>\^ { printf ("ˆ"); }
-<NORM>\<verb\> { printf ("<verb>"); PUSH NORM; BEGIN VERBENV; }
-<VERBENV>\<\/verb\> { printf ("</verb>"); POP; }
-<VERBENV>\&\& { printf ("&"); }
-<VERBENV>\& { printf ("&ero;"); }
-<VERBENV>\<\/ { printf ("&etago;"); }
+<NORM>\<verb\> { printf ("<verb>"); PUSH NORM; BEGIN VERBENV; }
+<NORM>\<code\> { printf ("<code>"); PUSH NORM; BEGIN VERBENV; }
+<NORM>\\begin\{code\} { printf ("<code>"); PUSH NORM; BEGIN VERBENV; }
+<VERBENV>\<\/verb\> { printf ("</verb>"); POP; }
+<VERBENV>\<\/code\> { printf ("</code>"); POP; }
+<VERBENV>\<\\end\{code\} { printf ("</code>"); POP; }
+<VERBENV>\&\& { printf ("&"); }
+<VERBENV>\& { printf ("&ero;"); }
+<VERBENV>\<\/ { printf ("&etago;"); }
%%
int