### Pages

### Posts feed

### Archives

### Recent Comments

- Sam Butchart on The language(s) of first-order logic #2
- David Auerbach on Which is the quantifier?
- Hefin Jones on Ivana Gavrić, Chopin
- Jon Awbrey on Which is the quantifier?
- Ivana Gavrić, Chopin | Logic Matters on CD choice #2

### Logic/Maths blogs

### Some other blogs

### Last Tweets

- RT @wmarybeard: I rather boringly lay out kind of things that academics do in summer 'vacation' https://t.co/4cix601bSj in case you thought it was holiday, 6 hours ago
- Deeply, deeply depressing. https://t.co/7H6mVriQnk, 8 hours ago
- A few, a few, …. https://t.co/4zJQU2jC28, Jul 25
- What’s a universal quantifier? Maybe not what most logic texts say! https://t.co/yMFhTsY3eK, Jul 24
- RT @I__Love__Italy: verona https://t.co/9Ot9mlU318, Jul 24

# 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