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 renewing of broken links there, then working a few suggestions in comments (thanks!) into the main pages, and doing some searching on e.g. tex.stackechange, here we are.
Whatever one’s issues and reservations about LaTeX for more general use, it is still surely quite invaluable for logicians. So do please let me know, then, how these pages can be improved, what new LaTeX packages of use to logicians that I have missed, etc.