existe uma maneira de fazer uma descoberta avançada?
Eu posso pesquisar o Teorema na pré-visualização, mas ele fornece o teorema e o Teorema
Como faço para listar todos os teoremas e lemas em uma cópia em pdf do CLRS?
por exemplo todos os teoremas começam com o Teorema x.x e lemas com o Lema x.x
Skim pode fazer uma pesquisa sensível a maiúsculas e minúsculas. Clique no ícone de lupa à esquerda do campo de pesquisa e selecione Ignorar caso . A pesquisa na barra lateral também pode ser limitada a Somente palavras inteiras (para que não corresponda aos Teoremas ).
No Linux eu uso o pdfgrep que tem suporte completo a regex. Está disponível para Mac.