let varuri = baseuri "var"
let indtyuri = baseuri "ind#1/" num
let indconuri = baseuri "ind#1/" num "/" num
-let blanks = [' ' '\t' '\n' '~' '{' '}'] | "\\;"
+let blanks = [' ' '\t' '\n' '~' '{' '}'] | "\\;" | "\\rm"
rule token =
parse
blanks { token lexbuf } (* skip blanks *)