fixed bug reported in lexing verbatim symbols. Thanks to Dan King for the pathological |)| test case\!