Added some notations.

src/cat/notation/index.tex

@@ -14,6 +14,8 @@
     $\mathbb{D}_n$, $\mathbb{D}$ & Dyadic rationals of level $n$; all dyadic rationals. & \autoref{definition:dyadic} \\
     $\mathrm{rk}(q)$ & Dyadic rank of $q \in \mathbb{D}$. & \autoref{definition:dyadic-rank} \\
     $M(x)$ & Unique $M(x) \subset \mathbb{N}^+ \cap [1, \mathrm{rk}(x)]$ such that $x = \sum_{n \in M(x)} 2^{-n}$. & \autoref{proposition:dyadic-subset} \\
-    $[n]$ & $\bracs{1, \cdots, n}$ & N/A
+    $[n]$ & $\bracs{1, \cdots, n}$ & N/A \\
+    $R[x]$ & Ring of polynomials over $R$. & N/A \\
+    $F(x)$ & Field of fractions over $F$. & N/A \\ 
 \end{tabular}
 

src/dg/notation.tex

@@ -17,5 +17,8 @@ Differential geometry is the study of things invariant under change of notation.
     $\tilde C_\sigma^n(U; F)$ & $n$-fold continuously $\tilde \sigma$-differentiable functions. & \autoref{definition:continuously-differentiable-space} \\
     $L^{(n)}_\sigma(E; F)$ & Codomain of derivatives. $L^{(0)}_\sigma(E; F) = F$, $L^{(n)}_\sigma(E; F) = L(E; L_\sigma^{(n-1)}(E; F))$, equipped with the $\sigma$-uniform topology. & \autoref{definition:higher-derivatives-codomain} \\
     $x^{(k)}$ & Tuple of $x$ repeated $k$ times. & \autoref{theorem:taylor-peano} \\
-    $D^+f(x)$ & Right derivative of $f$ at $x$. & \autoref{definition:right-differentiable-mvt}
+    $D^+f(x)$ & Right derivative of $f$ at $x$. & \autoref{definition:right-differentiable-mvt} \\
+    $\omega_{z, r}$ & Standard path of winding number 1. & \autoref{definition:winding-number-1} \\
+    $H(U; E)$ & Space of $E$-valued holomorphic functions on $U$. & \autoref{definition:holomorphic-function-space} \\
+    $H(A; E)$ & Space of $E$-valued holomorphic functions near $A$. & \autoref{definition:holomorphic-function-space-near} 
 \end{tabular}