# Tim Button’s Open Set Theory now part of the Open Logic Project

Tim Button (University College London) based an entire (open) textbook on set theory on the existing set theory coverage of […]

# New Layout, Cover Design for forall x

I’ve updated the layout for the default PDF for forall x. It now has much tighter margins and the page […]

# Making an Accessible Open Logic Textbook (for Dyslexics)

• larger type size
• shorter lines
• increased line spacing
• increased character spacing, i.e., “tracking” (although see Bigelow’s post for conflicting evidence)
• avoid ALL CAPS and italics
• avoid word hyphenation and right justified margins
• avoid centered text
As previously mentioned, the Open Logic Project now has a separate repository for photos of logicians to illustrate your OLP-derived materials.  They are automatically included in the biographies that live in content/history.  I’ve just uploaded a whole bunch of photos that don’t have associated biographies (yet).  Some of them are not well-known, even. For the technicalities, I’ll repeat myself from the previous post:
We have a separate repository for photos: github.com/OpenLogicProject/photos. We’ve separated them because (a) the licensing issues are more complicated: some of the photos are under copyright, and we wanted everything in the main repository to be available under a Creative Commons license; (b) the main repository would become very large if it included all these pictures. To use the pictures, clone the photos repository into the assets/ subdirectory of your local OLP clone. There’s a PDF with all the photos on the build site.