Super User is a question and answer site for computer enthusiasts and power users. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

is there a way to do advanced find?

I can search Theorem in preview but it gives both theorem and Theorem

How do I list all the theorems and lemmas in a pdf copy of CLRS?

for e.g all theorems start with Theorem x.x and lemmas with Lemma x.x

share|improve this question
up vote 1 down vote accepted

Skim can do case sensitive search. Click the magnifying glass icon on the left of the search field and select Ignore Case. The search in the sidebar can also be limited to Whole Words Only (so it doesn't match Theorems).

enter image description here

share|improve this answer
I am unable to find the case sensitive switch in skim, where is it? – zcqwevb Feb 21 '12 at 18:55
@user494461 See edited post. Click the magnifying glass to get the menu. – Daniel Beck Feb 21 '12 at 18:56

On Linux I use pdfgrep which has full regex support. It is available for Mac.

share|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.