#### Overview of this book

LaTeX is a high-quality typesetting software and is very popular, especially among scientists. Its programming language gives you full control over every aspect of your documents, no matter how complex they are. LaTeX's huge amount of customizable templates and supporting packages cover most aspects of writing with embedded typographic expertise. With this book you will learn to leverage the capabilities of the latest document classes and explore the functionalities of the newest packages. The book starts with examples of common document types. It provides you with samples for tuning text design, using fonts, embedding images, and creating legible tables. Common document parts such as the bibliography, glossary, and index are covered, with LaTeX's modern approach.You will learn how to create excellent graphics directly within LaTeX, including diagrams and plots quickly and easily. Finally, you will discover how to use the new engines XeTeX and LuaTeX for advanced programming and calculating with LaTeX. The example-driven approach of this book is sure to increase your productivity.
Preface
Free Chapter
1. The Variety of Document Types
4. Working with Images
5. Beautiful Designs
6. Designing Tables
7. Contents, Indexes, and Bibliographies
8. Getting the Most out of the PDF
9. Creating Graphics
11. Science and Technology
12. Getting Support on the Internet
Index

## Drawing commutative diagrams

In algebra, especially in category theory, we use so-called commutative diagrams. Vertices denote objects such as groups or modules. Arrows represent morphisms, which are maps between those objects. The characteristic quality of such diagrams is that they commute. This means that you get the same result by composition, no matter which directed way in the diagram you go, as long as the start point and end point are the same.

Such diagrams are used a lot for visualizing algebraic properties. Whole proofs are done by chasing through such a diagram. That's why our next recipe will deal with it. We will start with a diagram for the first isomorphism theorem in group theory.

### How to do it...

We will use the TikZ package. While we use just a few features for now, it offers a wealth of arrow heads and tails and useful graphic tools for positioning and labeling. Here are the steps you need to follow:

\documentclassarticle}
2. Load the tikz package:
...