Test just pasting it in:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
Test with nbsp:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
With code tags:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
With code and nbsp:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
Test just pasting it in:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
Test with nbsp:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
With code tags:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
With code and nbsp:
let bang_upper = Bang (Rule
(Sequent newcut_bseq (bl_tlnotn++brl_bl) (bl_tmain, bl_tr ++ brl_br))
(Sequent bl_bseq (bl_blnotn++br_bl) (bl_bmain, bl_br ++ br_br))))
Test pre:
Test pre with nbsp: