add latex boxes for end of proof
fix bad markup