sig
  val from_unichar : int -> string
  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
  val infinity : string
end