                  if (val !== x.latex)
                        result +=
                          '<p><b>latex roundtrip:</b><br>' +
                          escapeHtml(val) +
                          '</p>';
                    }
                    {
                      const val = mf.getValue('latex-expanded');
                      if (val !== x.latex)
                        result +=
                          '<p><b>latex expanded:</b><br>' + escapeHtml(val);
                    }
               