This is a good point. When building a raw xml parser, these would be 2 different things. I think it’s a fair analogy to say tree Notation is just a much simple

This is a good point. When building a raw xml parser, these would be 2 different things. I think it’s a fair analogy to say tree Notation is just a much simpler XML. At least 2x as simple: <proof></proof> proof