When a search query is given to a Verso-produced page, words in the page are matched against parts of the query. With certain short queries, the matching is overly eager. For example with the query 7 = p (q x), all words beginning with "p" and "q" and "x" (and "7"?) are highlighted - refman example. The same thing happens with the query p; subjectively, the behavior seems "more correct" in that case, but it might make sense to restrict it in both cases.
When a search query is given to a Verso-produced page, words in the page are matched against parts of the query. With certain short queries, the matching is overly eager. For example with the query
7 = p (q x), all words beginning with "p" and "q" and "x" (and "7"?) are highlighted - refman example. The same thing happens with the queryp; subjectively, the behavior seems "more correct" in that case, but it might make sense to restrict it in both cases.