Some latex-box stuff