[ ("->", <:unicode<to>>); ("=>", <:unicode<Rightarrow>>);
("<=", <:unicode<leq>>); (">=", <:unicode<geq>>);
("<>", <:unicode<neq>>); (":=", <:unicode<def>>);
+ ("==", <:unicode<equiv>>);
]
let regexp uri_step = [ 'a' - 'z' 'A' - 'Z' '0' - '9' '_' '-' ''' ]+