(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-03-09 10:41:21 CET by Kim Nguyen>
-*)
-
open Format
exception InvalidUtf8Codepoint of int
let right_arrow = "→"
let left_arrow = "←"
let epsilon = "ϵ"
+let bullet = "•"
let big_sigma = "∑"
let cap = "∩"
let cup = "∪"