\author -563046850 "Jean-Marc LASGOUTTES"
\author -131811572 "Yuriy Skalko"
\author 5863208 "ab"
+\author 5863344 "Enrico Forestieri"
\author 1675569489 "Stephan Witt"
\end_header
\end_layout
\begin_layout Verbatim
-
This is Verbatim.
\end_layout
\begin_layout Verbatim
\noindent
\align block
-
The following 2 lines are empty:
\end_layout
\end_layout
\begin_layout Verbatim
-
Almost everything is allowed in Verbatim:"%&$ยง#~'`
\backslash
}][{|
\end_layout
\begin_layout Verbatim*
-
This is Verbatim*.
\end_layout
\begin_layout Plain Layout
\align center
\begin_inset Tabular
-<lyxtabular version="3" rows="10" columns="2">
+<lyxtabular version="3" rows="11" columns="2">
<features tabularvalignment="middle">
<column alignment="center" valignment="top" width="0pt">
<column alignment="center" valignment="top" width="0pt">
mathbb
\end_layout
+\end_inset
+</cell>
+</row>
+<row change="inserted 5863344 1592055455">
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\change_inserted 5863344 1592055582
+\begin_inset Formula $\mathds{DOUBLESTROKE}$
+\end_inset
+
+
+\end_layout
+
+\end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+
+\change_inserted 5863344 1592055606
+
+\series bold
+
+\backslash
+mathds
+\end_layout
+
\end_inset
</cell>
</row>
\begin_layout Plain Layout
-\change_inserted -131811572 1591595530
+\change_inserted -131811572 1591595416
\shape up
\size normal
\begin_layout Plain Layout
-\change_inserted -131811572 1591595587
+\change_inserted -131811572 1591595416
\series bold
You can only print capital letters in the typefaces
\family sans
Blackboard
+\change_inserted 5863344 1592055666
+, Double stroke
\change_deleted -131811572 1591595671
\family default