OS X keyboard layout with some PL-related symbols
Keyboard layout that allows directly typing
Greek letters, turnstiles, union, intersection, and other symbols.
Install in ~/Library/Keyboard Layouts.
Annoyingly, you need to log out and log back in to make the layout available.
A shell script that uses pdflatex to add
page numbers to PDFs without them. Note that pdflatex will lose internal
hyperlinks, so you probably don't want this on-screen, but it's great
If you use OS X and prefer spell to ispell,
try GNU spell with getline included (OS X does not have getline).
You may also need to sudo port install ispell (GNU spell is
just a wrapper).