Update addition.tex

content/set-theory/ord-arithmetic/addition.tex

@@ -48,7 +48,7 @@
 \beta = \ordtype{\alpha \disjointsum \beta, \rlexless}$.
 \end{defn}
 \noindent
-Note that we slgihtly abused notation here; strictly we should write ``$\Setabs{\tuple{x,y}\in \alpha\disjointsum\beta}{x \rlexless y}$'' in place of ``$\rlexless$''. For brevity, though, we will continue to abuse notation in this way in what follows. 
+Note that we slightly abused notation here; strictly we should write ``$\Setabs{\tuple{x,y}\in \alpha\disjointsum\beta}{x \rlexless y}$'' in place of ``$\rlexless$''. For brevity, though, we will continue to abuse notation in this way in what follows. 
 
 The following result, together with
 \olref[ordinals][ordtype]{thmOrdinalRepresentation}, confirms that our