Tableau Visualiser

Formulae have the grammar

fm ::= prop | -fm | (fm ∨ fm) | (fm ∧ fm) | (fm > fm) | (fm <> fm)

where prop is a propositional letter, currently supported are all lowercase english characters