Category Archives: Geek

Geeky notes, primarily on computer stuff, especially Mac OS X and LaTeX.

Fancy Turnstiles in LaTeX

Posted on August 4, 2007 by kvf

Turnstiles are symbols used often in logic and related fields. LaTeX typically makes available a rudimentary set of such symbols: \vdash and \models. Now, there is a new package called “turnstile” with much more fine-grained control over the type-setting of … Continue reading →

Posted in LaTeX | Leave a comment

Verbose Startup on OS X

Posted on August 2, 2007 by kvf

To automatically get verbose startup (with all the geeky messages instead of Apple’s pretty pictures), instead of holding command-v on startup, you can do the following on the command line: sudo nvram boot-args=”-v” Once in a while, you might even … Continue reading →

Posted in Mac OS X | Leave a comment

Double Scrolling Arrows

Posted on July 29, 2007 by kvf

Here’s how to make double arrows appear at both ends of any window scrollbar (vertical and horizontal). At the command line, write defaults write -g AppleScrollBarVariant DoubleBoth The defaults command (about which one can learn by typing ‘man defaults’ in … Continue reading →

Posted in Mac OS X | Leave a comment

Getting Rid of the Dock

Posted on July 28, 2007 by kvf

I prefer to get rid of the Dock in OS X as much as possible. Instead of using the Dock to start applications I use Quicksilver. For switching between applications, I use Command-Tab or the more advanced Option-Tabbing that is … Continue reading →

Posted in Mac OS X | 3 Comments