Searching in specs/katex