related to racket/gui#303

racket · Oct 10, 2023 · 3e12c25 · 3e12c25
1 parent 3085e98
commit 3e12c25
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt
@@ -1469,6 +1469,8 @@
         [(#\⋈) "$\\bowtie$"]
         [(#\⊆) "$\\subseteq$"]
         [(#\⊇) "$\\supseteq$"]
+        [(#\⊈) "$\\nsubseteq$"]
+        [(#\⊊) "$\\subsetneq$"]
         [(#\≌) "$\\cong$"] ;; this is wrong but left in for backwards compatibility
         [(#\≅) "$\\cong$"]
         [(#\⊏) "$\\sqsubset$"]