\end_inset
-texttt{hei} mapping,
+texttt
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+{
+\end_layout
+
+\end_inset
+
+hei
+\begin_inset ERT
+status collapsed
+
+\begin_layout Plain Layout
+}
+\end_layout
+
+\end_inset
+
+ mapping,
and the first mapping is empty.
\begin_inset ERT
status collapsed