I think it's fair to say that the state of the art of proofs is the equational form. Recorde revolutionized mathematical writing with a couple parallel line seg

I think it's fair to say that the state of the art of proofs is the equational form. Recorde revolutionized mathematical writing with a couple parallel line segments. Generalizing that to proofs using the equivalence, consequence, and implication is an equally (hoho) great leap forward.