deletions | additions       diff --git a/2.tex b/2.tex  index 5da7820..41dfba4 100644  --- a/2.tex  +++ b/2.tex 
...
\newcommand{\G}{\mathcal{G}}   \newcommand{\IS}{\textbf{IS}}   Hey, welcome. Double click anywhere on the text to start writing. In addition to simple text you can also add text formatted in \textbf{boldface}, \textit{italic}, and yes, math too: $E = mc^{2}$! Add images by drag'n'drop or click on the "Insert Figure" button. I like $\K$ as a symbol. \newcommand{\rprec}{\overset{r}{\rightarrow}}   \newcommand{\rpprec}{\overset{r'}{\rightarrow}}   \newcommand{\mn}{\text{\tt min}}   \newcommand{\loc}{\text{\tt loc}}   \newcommand{\sel}{\text{\tt sel}}   \section{6.14}  \subsection{}  Proving Lemma 6.4.1: $(\I,r,m) \vDash C_S \varphi$ iff $(\I,r',m') \vDash \varphi$ for all points $(r',m')$ that are S-reachable from $(r,m)$.