:: int -> int -> int -> int package:HaTeX

Calling between c l1 l2 puts c between l1 and l2 and appends them.
between c l1 l2 = l1 <> c <> l2