X-Git-Url: http://git.subgeniuskitty.com/surreal-numbers/.git/blobdiff_plain/8484c2fd2ad8d6a4bcc64f16142185ad71ffbd5f..cc0282e4a0b88cf3605bfd5b211ab0a28949bf16:/notes/introduction.tex

diff --git a/notes/introduction.tex b/notes/introduction.tex
index a96df0d..7f1e7b6 100644
--- a/notes/introduction.tex
+++ b/notes/introduction.tex
@@ -1,4 +1,17 @@
 \newpage
 \section{Introduction}
 
-Hello, World!
+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.
+
+\section{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$.