Code that should copy-paste properly

  let x = 1 in
  x+x (* Two lines *)

There should be indentation above!


This document was translated from LATEX by HEVEA.