1 files changed, 14 insertions, 0 deletions
diff --git a/src/symbols.ml b/src/symbols.ml
new file mode 100755
index 0000000..56d7530
--- /dev/null
+++ b/src/symbols.ml
@@ -0,0 +1,14 @@
+let u = UTF8.from_utf8string
+
+let eq = u"="
+let neq = u"<>"
+let lt = u"<"
+let le = u"<="
+let gt = u">"
+let ge = u">="
+
+let add = u"+"
+let mul = u"*"
+let pow = u"^"
+let div = u"/"
+let sub = u"-"