### Pages

### Posts feed

### Archives

### Recent Comments

- samuel sayag on Category theory: introductory readings
- Jan von Plato on Why mandatory reiteration in Fitch-style proofs?
- Jan von Plato on The language(s) of first-order logic #2
- Jan von Plato on Begriffsschrift and absolutely unrestricted quantification
- Craig Smorynski on Logic’s Lost Genius

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- RT @davidallengreen: The politician responsible for the failed water cannon purchase and garden bridge project explains how UK can make a success out of Brexit., Sep 16
- RT @serpentstail: STOP WHAT YOU'RE DOING *** NEW @SarahGPerry novel coming next year! *** https://t.co/5fqzNMMMKc #MELMOTH https://t.co/4ebqZmlm6n, Sep 14
- RT @calvinb: This Fibonacci joke is as bad as the last two you heard combined., Sep 14
- RT @GreggDCaruso: Gottlob Frege: The machine in the ghost | by @Raymodraco |Prospect Magazine | https://t.co/gvhP24hjFq, Sep 14
- RT @I__Love__Italy: venezia https://t.co/dGCCm4gCBf, Sep 13

# 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

Posted in Geek stuff
Leave a comment

## 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

Posted in Geek stuff
Leave a comment

## 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

Posted in Geek stuff
Leave a comment

## 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

Posted in Geek stuff
Leave a comment

## 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

Posted in Geek stuff
Leave a comment

## 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

Posted in Geek stuff
Leave a comment

## 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

Posted in Geek stuff
Leave a comment

## The Open Logic Text

As you will very probably have already seen, The Open Logic Project (a team of serious and good people) has now made available an early public version of an open-source collaborative logic text, somewhat ploddingly called the Open Logic Text. There are two … Continue reading

Posted in Books, Geek stuff, Logic
11 Comments

## Cloud storage made easy: with a bit of helpful geekiness

This may be useful for someone who like me doesn’t keep up with every geeky development, and so can miss out on things (thanks to Keith Frankish for the heads-up). OK: you know that it makes sense to back up … Continue reading

Posted in Geek stuff
4 Comments