Jacky Zhao
2022-09-23 dd11d56dd986c82914ce529fb43c8e2beb78a094
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
            })