From fbeaeef62eab3cdc123e890833d4fb3faf74104d Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 31 Oct 2018 09:58:51 -0500
Subject: [PATCH] add harpoons

---
 scribble-lib/scribble/latex-render.rkt | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/scribble-lib/scribble/latex-render.rkt b/scribble-lib/scribble/latex-render.rkt
index 5aae9393..dfa2a012 100644
--- a/scribble-lib/scribble/latex-render.rkt
+++ b/scribble-lib/scribble/latex-render.rkt
@@ -1150,6 +1150,11 @@
                                 [(#\↝) "$\\leadsto$"]
                                 [(#\↱) "$\\Lsh$"]
                                 [(#\↰) "$\\Rsh$"]
+                                [(#\⇀) "$\\rightharpoonup$"]
+                                [(#\↼) "$\\leftharpoonup$"]
+                                [(#\⇁) "$\\rightharpoondown$"]
+                                [(#\↽) "$\\leftharpoondown$"]
+                                [(#\⇌) "$\\rightleftharpoons$"]
                                 [(#\⇕) "$\\Updownarrow$"]
                                 [(#\א) "$\\aleph$"]
                                 [(#\′) "$\\prime$"]