Frama-C:
Plug-ins:
Libraries:

Frama-C API - Utf8_logic

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
val infinity : string