https://5dok.net/document/yev3de31-sproof-sty-structural-markup-for-proofs.html