Code that should copy-paste properly
let
x = 1
in
x+x
(* Two lines *)
There should be indentation above!
This document was translated from L
A
T
E
X by
H
E
V
E
A
.