\begin{document}
Hello world!
\end{document}
