Module Astral_internal.UnicodeSymbols
val eq : string Stdlib.refval neq : string Stdlib.refval and_ : string Stdlib.refval or_ : string Stdlib.refval not : string Stdlib.refval exists : string Stdlib.refval forall : string Stdlib.refval entails : string Stdlib.refval bottom : string Stdlib.refval empty_set : string Stdlib.refval maps_to : string Stdlib.refval defined : string Stdlib.refval star : string Stdlib.refval septraction : string Stdlib.ref