Module Utf8_logic

module Utf8_logic: sig .. end
UTF-8 string for logic symbols.

val from_unichar : int -> string
given an unicode code point, returns the corresponding utf-8 encoding.
val forall : string
val exists : string
val eq : string
val neq : string
val le : string
val ge : string
val implies : string
val iff : string
val conj : string
val disj : string
val neg : string
val x_or : string
val inset : string
val emptyset : string
val top : string
val bottom : string
val union : string
val minus : string
val boolean : string
val integer : string
val real : string
val pi : string