[NoBinding, symbol "\\ROOT"] @ aux p2 @ [NoBinding, symbol "\\OF"]
@ aux p1
| Sqrt p -> [NoBinding, symbol "\\SQRT"] @ aux p
- | Break -> []
+(* | Break -> [] *)
| Box (_, pl) -> List.flatten (List.map aux pl)
and aux_magic magic =
match magic with
return_term loc (Layout (Box (H, p)))
| SYMBOL "\\VBOX"; DELIM "\\["; p = l1_pattern; DELIM "\\]" ->
return_term loc (Layout (Box (V, p)))
- | SYMBOL "\\BREAK" -> return_term loc (Layout Break)
+ | SYMBOL "\\HVBOX"; DELIM "\\["; p = l1_pattern; DELIM "\\]" ->
+ return_term loc (Layout (Box (HV, p)))
+ | SYMBOL "\\HOVBOX"; DELIM "\\["; p = l1_pattern; DELIM "\\]" ->
+ return_term loc (Layout (Box (HOV, p)))
+(* | SYMBOL "\\BREAK" -> return_term loc (Layout Break) *)
| DELIM "\\["; p = l1_pattern; DELIM "\\]" ->
return_term loc (CicNotationUtil.boxify p)
| p = SELF; SYMBOL "\\AS"; id = IDENT ->