Am 03.04.2011 um 19:44 schrieb Peter Dyballa: > > Am 03.04.2011 um 17:52 schrieb Steffen Wolfrum: > >> I assume that its is a general MacOSX problem ... > > No, it's not! Make the search case-sensitive! (Capitalised ß is SS which is equal to ss.) Ok ... but *how* can I make the PDF search in TeXShop case-sensitive?? Steffen