Welcome back to Writing Math in LaTeX — this is the seventh and final lesson of the course. Over the previous six lessons, we built up a powerful toolkit: math mode delimiters, subscripts and superscripts, fractions, square roots, standard function commands, and Greek letters. Together, those tools let us write a wide range of mathematical expressions. But if you have ever tried to type something like $x \leq 5$ or $A \cup B$, you may have noticed that the keyboard does not offer keys for symbols like $\leq$ or $\cup$. In this lesson, we will learn the LaTeX commands for the most commonly used mathematical symbols — relational operators, set and logic notation, arrows, and special constants like infinity — and we will see how to track down less common symbols when the need arises.

Think about the symbols on a standard keyboard. We have +, -, =, <, and > readily available, and LaTeX happily uses them as-is inside math mode. However, mathematics relies on dozens of additional symbols — $\neq$, $\in$, $\Rightarrow$, $\infty$, to name a few — that simply do not appear on any keyboard.

Relational operators compare two values. We already have <, >, and = on the keyboard, but mathematics uses several more. Here are the ones that appear most frequently:

Set theory and logic have their own family of symbols. If you have taken a course in discrete mathematics or encountered Venn diagrams, many of these will look familiar. Let us start with the most common set symbols:

Arrows show up constantly in mathematics to indicate mappings, implications, and logical equivalences. Here are the most useful arrow commands:

The real power of these symbols shows up when we combine them with each other and with the notation from earlier lessons. Let us walk through a few realistic examples.

A set definition using set-builder notation:

Here we use \in and \geq alongside a few new pieces of syntax: \{ and \} produce literal curly braces in the output, produces a properly spaced vertical bar, and produces the blackboard-bold for the real numbers (this last command requires the or package in your preamble). Do not worry about memorizing these extras right now — the key point is that our symbol commands mix seamlessly into larger expressions.

We have covered the symbols you will use most often, but mathematics has hundreds more — symbols for number theory, geometry, abstract algebra, and many specialized fields all have LaTeX commands. Nobody memorizes every one of them.

When you need a symbol that is not in our tables, two practical strategies will help:

1. The Comprehensive LaTeX Symbol List is a well-known reference document that catalogs thousands of symbols with their commands and required packages. A quick internet search for "Comprehensive LaTeX Symbol List" will find it immediately.
2. Detexify is an online tool where you draw a symbol with your mouse, and it suggests the matching LaTeX command. It is especially handy when you recognize a symbol visually but do not know its name.

With these resources in your back pocket, you will never be stuck searching for a symbol for long.

In this lesson, we learned how to produce common mathematical symbols in LaTeX: relational operators like \leq, \geq, \neq, and \approx; set notation with \in, \subset, \cup, and \cap; logic symbols including \wedge, \vee, and \neg; arrows such as \to, \Rightarrow, and \Leftrightarrow; and special constants like \infty and \pm. We also saw how these symbols combine with everything from earlier lessons to form complete, meaningful mathematical statements.

This brings us to the end of the lessons in Writing Math in LaTeX. Now it is time to put the full symbol toolkit to the test in the practice exercises, where you will write relational comparisons, set and logic expressions, and multi-symbol statements from scratch. Jump in and see how fluently you can speak the language of mathematical symbols!