Random bits

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 for printing.


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).