Constant TEX_DOC_END 

pub const TEX_DOC_END: &str = "\\end{document}";