suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Revert "Adds support for inserting more arrow characters by their LaTex names"

Browse Source 
This reverts commit a12491bb89030eda9635e0a1925dd60c8ea6d668, in which
the documentation won't build as PDF.

original commit: f293ace98d41150d8df1b3adc1be1de8d7ad5f13
This commit is contained in:
Casey Klein 2010-12-11 01:16:30 -06:00
parent d4ffb4f39f
commit a0d21c5c08
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/mrlib/tex-table.rkt
View File

@ -28,15 +28,15 @@
("leftrightarrow" "↔") ("leftrightarrow" "↔")
("nearrow" "↗") ("nearrow" "↗")
("Updownarrow" "⇕") ("Updownarrow" "⇕")
("hookleftarrow" "↩")
("hookrightarrow" "↪")
("leadsto""↝")
;; arrows that didn't come out right in copy & paste ;; arrows that didn't come out right in copy & paste
;←− \longleftarrow ;←− \longleftarrow
;⇐= \Longleftarrow ;⇐= \Longleftarrow
;← 􏰂 \hookleftarrow
;←→ \longleftrightarrow ;←→ \longleftrightarrow
;􏰁 → \hookrightarrow
;⇐⇒ \Longleftrightarrow ;⇐⇒ \Longleftrightarrow
;􏴲 \leadsto∗
;􏰃−→ \longmapsto ;􏰃−→ \longmapsto
;=⇒ \Longrightarrow ;=⇒ \Longrightarrow
;􏰃→ \mapsto ;􏰃→ \mapsto