https://github.com/Ziphil/ZenmlZotica/blob/136a91d9f58438e13666e3dbce3a4f2907f3e35a/test/file/sample.zml#L584-L600
Ziphil氏がメンテナンスしているZenML及びZotica、下のような証明図が比較的?簡潔かつ直感的に記述出来るのいいなと思う
https://ziphil.github.io/ZenmlZoticaDemo/
ZenMLの中で埋め込むことを意図して設計されているのとMathMLに対応していないのもあってZoticaの採用は見送っているけど、Scrapboxでのメモ書きではなくちゃんとした数式入り文書を書きWeb上でHTML+CSS上で普通に見られる（pdfではなく！）という欲求があり、どうにかしている [参照]
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
