eta_i)
      \\wedge
  \\pi(\\beta_i))\\\\
  \\Updownarrow\\\\
      \\alpha\\in\\frac{}{p(S)|_\\pi}
\\end{matrix}`,
          },
        ],
      };
      const mf = document.getElementById('mf');
      mf.addEventListener('change', () => {
        const latex = mf.getValue('latex-expanded');
        try {
          // let errors = [];
          // let expr = parseLatex(latex, {
          //     form: 'canonical',
          //     onError: (err) =>
          //         errors.push('parse: ' + err.code + (e