X-Git-Url: http://git.subgeniuskitty.com/surreal-numbers/.git/blobdiff_plain/8484c2fd2ad8d6a4bcc64f16142185ad71ffbd5f..7a986617de3ef35f23402db1b507c57ca1879cfb:/notes/introduction.tex?ds=inline

diff --git a/notes/introduction.tex b/notes/introduction.tex
index a96df0d..d249b7d 100644
--- a/notes/introduction.tex
+++ b/notes/introduction.tex
@@ -1,4 +1,19 @@
 \newpage
 \section{Introduction}
 
-Hello, World!
+\subsection{Overview}
+
+These notes accompany the book Surreal Numbers by Donald Knuth, specifically
+the 1974 edition. They are only intended to further my own understanding; no
+guarantees of accuracy, relevance, or significance are extended.
+
+\subsection{Notation}
+
+A surreal number $x$ consisting of left set $X_L$ and right set $X_R$ is
+represented as \surreal{X_L}{X_R}. The void set, as Knuth named it, is
+represented by leaving the appropriate left or right set empty, as in
+\surreal{}{}, the first surreal number defined.
+
+When applying binary relations like less-than-or-equal to sets, the notation $X
+\leq Y$ means that, $\forall x \in X$ and $\forall y \in Y$, it holds true that
+$x \leq y$.
