LATEX for Philosophers

LATEX is a Typesetting System • LATEX is a progam that takes a plain text file containing text and markup instructions and turns it into a typeset document (usually in PDF format). • (Actually, TEX does the typesetting, and LATEX works through TEX.) • LATEX is open source, cross-platform, and almost 30 years old. • LATEX comes with hundreds of packages dealing with anything from pro-ducing presentation slides (such as this) to dealing with bibliographical references to typesetting musical scores. LATEX is a Markup Language • LATEX documents do not contain formatting—all formatting, sectioning, special symbols and formulas, etc., are coded using plain text. • For instance: – an emphasized piece of text is coded as \emph{emphasized}, – a formula such as ∃x(φ(x) ∧ ψ(x)) as $\exists x(\phi(x) \land \psi(x))$, – a bulleted list as \begin{itemize} \item \LaTeX{} documents do not contain..