    renderMathInElement('examples', { processClass: 'formula' });
      }
      function escapeHtml(string) {
        return String(string).replace(/[&<>"'`=/\u200b]/g, function (s) {
          return (
            {
              '&': '&amp;',
              '<': '&lt;',
              '>': '&gt;',
              '"': '&quot;',
              "'": '&#39;',
              '/': '&#x2F;',
              '`': '&#x60;',
              '=': '&#x3D;',
              '\u200b': '&amp;#zws;',
            }[s] || s
         