proper support for generating svg-tableaus in propositional logic