Added unofficial #:latex-style option

dollar.rkt

@@ -321,11 +321,11 @@ EOTEX
      ;; TODO: use a unicode representation of math, e.g. x^2 becomes x²
      [else strs])))
 
-(define ($$ . strs)
+(define ($$ #:latex-style [latex-style math-display-style-latex] . strs)
   (let ([$$- ($$-html-handler)])
     (cond-element
      [html ($$- strs)]
-     [latex (elem #:style math-display-style-latex strs)]
+     [latex (elem #:style latex-style strs)]
      ;; TODO: use a spatial representation of display math, e.g.
      ;; \sum_{i=0}^n x_i^2
      ;; becomes:

katex-convert-unicode.rkt

@@ -101,6 +101,7 @@
       [⋱ "\\ddots{}"]
       [∌ "\\notni{}"]
       [ℰ "\\mathcal{E}"]
+      [𝒮 "\\mathcal{S}"]
       [• "\\bullet{}"]
       [|'| "{}'"]
       [′ "{}'"]
@@ -117,6 +118,7 @@
       [≟ "\\stackrel{?}{=}"]
       [≛ "\\stackrel{*}{=}"]
       [≝ "\\stackrel{\\scriptscriptstyle\\mathsf{def}}{=}"]
+      [∃ "\\exists{}"]
       ))
   (if (string? str)
       (string-replace*

mathjax-convert-unicode.rkt

@@ -19,5 +19,7 @@
       [❳ "\\ifmathjax{\\unicode{x2773}}\\iflatex{❳}"]
       [φ "\\phi"]
       [▷ "\\triangleright"]
+      [∄ "\\nexists"]
+      [≠ "\\neq"]
       ))
   (katex-convert-unicode str* mathmode? more-sym→*))