# Category Archives: Geek stuff

## Nerdy annoyance

Lost a number of hours, too many, on a mysterious LaTeX problem. It turns out that fitch.sty (useful for setting Fitch-style proofs) loads a package mdwtab.sty which isn’t fully compatible with the standard tabular environment (useful for setting truth-tables). So when … Continue reading

## Setting tableaux using prooftrees.sty

[Updated] The first edition of IFL was typeset using FrameMaker (long since defunct on a Mac), so I’m having to LaTeX the second edition from scratch. I’m using Clea Rees’s fairly new package prooftrees.sty for downward-branching tableaux, a.k.a. truth-trees, since this seems … Continue reading

## Generating truth-tables in LaTeX

I have just added to the “Logicians’ miscellany” page of LaTeX for Logicians a new heading “Help for generating truth-tables”. There is now a link there to a Truth Table Generator webpage by Michael Rieppel. This page contains a JavaScript program … Continue reading

Posted in Geek stuff | 3 Comments

## Duet Display again

I posted about this six months ago. But let me repeat myself, by way of a public service announcement! If you have e.g. a MacBook of some description (or indeed a Windows machine), and an iPad, you can use the … Continue reading

## Reaching peak Apple: the Macbook 2016

I have not wanted to post about the really pretty miserable political news even though it has been much occupying my thoughts (for I have nothing new or insightful to add about Brexit,  about the incompetent narcissist supposedly leading the Labour … Continue reading

## New package for setting proof tableaux

Suppose you want to typeset (using LaTeX of course) a proof tree that looks something like this: Maybe that’s an answer to some exercise for students, which is why you want a tree fully annotated with line numbers, justifications on the right, and … Continue reading

## Apple nerd note: Duet Display

If you have e.g. a MacBook of some description (or indeed a Windows machine), and an iPad, you can use the iPad as an additional display. Duet Display works over a USB cable, so is much much smoother and less flakey … Continue reading

## LaTeX for Logicians refresh

As a bit of distraction from all the other logic-related things I really ought to be doing, I’ve just been tidying the LaTeX for Logicians pages for the first time for a good while. After a bit of re-arrangement here, some … Continue reading