fix problems with arrows

blueroutecn · Oct 2, 2019 · 457429e · 457429e
1 parent 5abc3d6
commit 457429e
Show file tree

Hide file tree

Showing 39 changed files with 5,585 additions and 5,606 deletions.
diff --git a/sofp-src/sofp-appendices.lyx b/sofp-src/sofp-appendices.lyx
diff --git a/sofp-src/sofp-appendices.tex b/sofp-src/sofp-appendices.tex
diff --git a/sofp-src/sofp-applicative.lyx b/sofp-src/sofp-applicative.lyx
diff --git a/sofp-src/sofp-applicative.tex b/sofp-src/sofp-applicative.tex
diff --git a/sofp-src/sofp-coinductive.lyx b/sofp-src/sofp-coinductive.lyx
@@ -109,9 +109,6 @@
 % Increase the default vertical space inside table cells.
 \renewcommand\arraystretch{1.4}
 
-% Do not use \Rightarrow.
-\def\Rightarrow{\rightarrow}
-
 % Make underline green.
 \definecolor{greenunder}{rgb}{0.1,0.6,0.2}
 %\newcommand{\munderline}[1]{{\color{greenunder}\underline{{\color{black}#1}}\color{black}}}