Skim

Skim - это универсальный PDF-ридер, который позволяет пользователям подчеркивать, выделять и делать заметки, напоминающие традиционные методы редактирования документов.