# HG changeset patch # User Tuomo Valkonen # Date 1739819445 18000 # Node ID 92cae2e8f5980dca26fda2556dea1ee50299e95e # Parent f0e8704d3f0ed05b5ffbbea02f529ae9f90c57f0 Add macros to katex-header. diff -r f0e8704d3f0e -r 92cae2e8f598 misc/katex-header.html --- a/misc/katex-header.html Mon Feb 17 13:54:53 2025 -0500 +++ b/misc/katex-header.html Mon Feb 17 14:10:45 2025 -0500 @@ -1,15 +1,63 @@ - - - + + +