FGI2: 13.4.2 erster Nachweis fertig

Signed-off-by: Jim Martens <github@2martens.de>

fgi2/Blatt13/Aufgabenblatt13.tex

@@ -109,6 +109,13 @@
         \label{fig:t7-graph}
     \end{figure}
 
+    \subsection{}
+    \begin{alignat*}{2}
+        &\; a \overset{a}{\rightarrow} \surd \\
+        T^{\surd}_{+R} &\; a + b \overset{a}{\rightarrow} \surd \\
+        T^{\surd}_{\leftmerge} &\; (a + b) \leftmerge b \cdot c \overset{a}{\rightarrow} b \cdot c
+    \end{alignat*}
+
 \setcounter{section}{5}
 \section{} % 13.6