Doc: Ported Introduction to latex