(** %# Some configuration for coqdoc. % *)

(** printing <~>u $\leftrightsquigarrow_\textrm{u}$ **)
(** printing <~?~>u $\overset?{\leftrightsquigarrow}_\textrm{u}$ **)
(** printing []u $\epsilon_\textrm{u}$ **) (** %# doesn't work ??? % *)
(** printing :>u $\triangleright_\textrm{u}$ **)
(** printing :+>u $\blacktriangleright_\textrm{u}$ **)

(** printing <~> $\leftrightsquigarrow$ **)
(** printing <~?~> $\overset?\leftrightsquigarrow$ **)
(** printing [] $\epsilon$ **) (** %# doesn't work ??? % *)
(** printing :> $\triangleright$ **)
(** printing :+> $\blacktriangleright$ **)