GitHub - hsjoihs/SATySFify: I wanna convert my not-too-complicated MathJax into SATySFi

I wanna convert my not-too-complicated MathJax into SATySFi - hsjoihs/SATySFify