MathJaxで私が書くぐらいの内容をSATySFi化するツール

概要 MathJaxで私が書くぐらいの内容をSATySFi化するツールが欲しいのだが、MathJaxって簡単に構文木取れたりするんだろうか — hsjoihs (@hsjoihs) 2019年9月21日 desmos.comなどのサイトから数式をコピペしてくるとそのままMathJaxで使えて便利なのだが、それをSATySFi化しようとすると括弧とかをいちいち\paren{}とかに…