[texhax] macros for a semantic tableaux (tree)

P. R. Stanley prstanley at ntlworld.com
Thu Oct 22 15:19:01 CEST 2009

Hi folks
I'm looking for a set of macros for a binary tree resulting from 
application of the semantic tableaux.
Any help would be most appreciated.

More information about the texhax mailing list