type expr =
   Null
 | Mi of string
 | Mo of string
 | Mn of string
 | Mtext of string
 | Mrow of expr list
 | Mfenced of string * string * string * expr list (* open, close, separators *)
type fragment =
 Math of expr list
;;