From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 17 Jul 2013 16:00:58 +0000 (+0200)
Subject: Add a bullet symbol.
X-Git-Tag: v0.1~74
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=9a127b83fbb1171ebd36e6f42780093412a5e91a

Add a bullet symbol.
---

diff --git a/src/pretty.ml b/src/pretty.ml
index e64edab..6d1dd46 100644
--- a/src/pretty.ml
+++ b/src/pretty.ml
@@ -86,6 +86,7 @@ let up_arrow = "↑"
 let right_arrow = "→"
 let left_arrow =  "←"
 let epsilon = "ϵ"
+let bullet = "•"
 let big_sigma = "∑"
 let cap = "∩"
 let cup = "∪"
diff --git a/src/pretty.mli b/src/pretty.mli
index ee828d5..96fb773 100644
--- a/src/pretty.mli
+++ b/src/pretty.mli
@@ -22,6 +22,7 @@ val up_arrow : string
 val right_arrow : string
 val left_arrow : string
 val epsilon : string
+val bullet : string
 val big_sigma : string
 val cap : string
 val cup : string