- (Box.b_v
- []
- [pres_context;
- b_ink [None,"width","4cm"; None,"height","1px"];
- pres_goal])
+ (Box.b_h [] [
+ Box.b_space;
+ (Box.b_v []
+ [Box.b_space;
+ pres_context;
+ b_ink [None,"width","4cm"; None,"height","2px"]; (* sequent line *)
+ Box.b_space;
+ pres_goal])
+ ])