Jacky Zhao
2022-10-25 8704edcca2f14c8662affa5a730083949f3f5749
assets/js/popover.js
@@ -47,8 +47,6 @@
              delimiters: [
                { left: '$$', right: '$$', display: false },
                { left: '$', right: '$', display: false },
                { left: '\\(', right: '\\)', display: false },
                { left: '\\[', right: '\\]', display: false }
              ],
              throwOnError: false
            })