-(* | 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))
+ | Break -> "\\BREAK"
+(* | Space -> "\\SPACE" *)
+ | Box (box_spec, terms) ->
+ sprintf "\\%s [%s]" (pp_box_spec box_spec)
+ (String.concat " " (List.map pp_term terms))