"};" { /* to allow slide formatting: "};" = </slide> */ return token('}',yytext); } \./{context} { P(yytext); int tok = _op(); return token(tok,"<-"); }