I am looking for some tool to create symbolic logic derivation diagrams with horizontal and vertical scope line and sub derivations. Then I want to be able to add them to a word document. Word doesn't appear to make creating the diagram possible.
Thank You