- return_term loc (Layout (Box (V, p)))
- | SYMBOL "\\BREAK" -> return_term loc (Layout Break)
+ return_term loc (Layout (Box ((V, false, false), p)))
+ | SYMBOL "\\HVBOX"; DELIM "\\["; p = l1_pattern; DELIM "\\]" ->
+ return_term loc (Layout (Box ((HV, false, false), p)))
+ | SYMBOL "\\HOVBOX"; DELIM "\\["; p = l1_pattern; DELIM "\\]" ->
+ return_term loc (Layout (Box ((HOV, false, false), p)))
+(* | SYMBOL "\\BREAK" -> return_term loc (Layout Break) *)
+(* | SYMBOL "\\SPACE" -> return_term loc (Layout Space) *)