Trying LaTeX-Box instead of ATP
More LateX stuff (snippets, LateX-Box config...)