\suppress_date false
\justification true
\use_refstyle 0
+\use_minted 0
\index Index
\shortcut idx
\color #008000
\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