suzanne.soy/hyper-literate
1
0
Fork 0
Code Issues 4 Pull Requests 1 Actions Packages Projects Releases Wiki Activity

Latex rendering for not-in character

Browse Source 
(cherry picked from commit 5bd82177cb)
This commit is contained in:
Matthew Flatt 2015-10-17 12:18:52 -06:00
parent 4e6dfe2dae
commit c80cbc360e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
scribble-lib/scribble/latex-render.rkt
View File

@ -1135,6 +1135,7 @@
[(#\≐) "$\\doteq$"] [(#\≐) "$\\doteq$"]
[(#\⌢) "$\\frown$"] [(#\⌢) "$\\frown$"]
[(#\∈) "$\\in$"] [(#\∈) "$\\in$"]
[(#\∉) "$\\not\\in$"]
[(#\∋) "$\\ni$"] [(#\∋) "$\\ni$"]
[(#\∝) "$\\propto$"] [(#\∝) "$\\propto$"]
[(#\⊢) "$\\vdash$"] [(#\⊢) "$\\vdash$"]