Module Utils.Unicode

Unicode symbols (or full text equivalent if unicode is off)

val colon_eq : unit -> string
val leq : unit -> string
val geq : unit -> string
val eq : unit -> string
val neq : unit -> string
val emptyset : unit -> string
val logical_and : unit -> string
val logical_or : unit -> string
val logical_not : unit -> string
val elem_of : unit -> string
val intersection : unit -> string
val microseconds : unit -> string
val z : unit -> string
val bottom : unit -> string