(** Symbols *)

val eq  : UTF8.t
val neq : UTF8.t
val lt  : UTF8.t
val le  : UTF8.t
val gt  : UTF8.t
val ge  : UTF8.t
val add : UTF8.t
val mul : UTF8.t
val pow : UTF8.t
val div : UTF8.t
val sub : UTF8.t