use case-independent search (in texgrep)