Dicas para a preparação de listas de exercícios da disciplina MAC0239 (Introdução à Lógica e Verificação de Programas) no IME-USP.
Tips for preparing exercises for MAC0239 (Introduction to Logic and Program Verification) at IME-USP.
Know the LaTeX command you want to use but can't remember how to write it?
Here we present a great tips sheet produced by Dave Richeson; it's pre-loaded in Overleaf so you can see how the commands work instantly.
Simply click on the button above to open a version in Overleaf for editing (and to quickly copy and paste the commands you need!).
For more comments visit this page on Dave's site, or if you'd like to work through a fuller introduction to LaTeX why not check out our free online course?
This article aims to be a model LaTeX document while teaching you the basics of what it is and how to use it. It contains all of the basic constructs you are likely to encounter as you write your first papers and articles. This article will not go into detail about how to get started with a local installation of LaTeX.