| Sqrt t -> sprintf "\\SQRT %s" (pp_term t)
| Root (arg, index) ->
sprintf "\\ROOT %s \\OF %s" (pp_term index) (pp_term arg)
- | Break -> "\\BREAK"
+(* | Break -> "\\BREAK" *)
| Box (H, terms) ->
sprintf "\\HBOX [%s]" (String.concat " " (List.map pp_term terms))
| Box (V, terms) ->
sprintf "\\VBOX [%s]" (String.concat " " (List.map pp_term terms))
+ | Box (HV, terms) ->
+ sprintf "\\HVBOX [%s]" (String.concat " " (List.map pp_term terms))
+ | Box (HOV, terms) ->
+ sprintf "\\HOVBOX [%s]" (String.concat " " (List.map pp_term terms))
and pp_magic = function
| List0 (t, sep_opt) ->