From b138f76f03d04e1a9f3e66de96415d93e5a8c6e0 Mon Sep 17 00:00:00 2001
From: Jim Martens <github@2martens.de>
Date: Wed, 21 Jan 2015 12:24:40 +0100
Subject: [PATCH] FGI2: 13.4.2 erster Nachweis fertig

Signed-off-by: Jim Martens <github@2martens.de>
---
 fgi2/Blatt13/Aufgabenblatt13.tex | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/fgi2/Blatt13/Aufgabenblatt13.tex b/fgi2/Blatt13/Aufgabenblatt13.tex
index 7134130..3d37cb8 100644
--- a/fgi2/Blatt13/Aufgabenblatt13.tex
+++ b/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