[texhax] macros for a semantic tableaux (tree)
P. R. Stanley
prstanley at ntlworld.com
Thu Oct 22 15:19:01 CEST 2009
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