Amend and extend 9f3518bc

[lyx.git] / lib / examples / de / ItemizeBullets.lyx

diff --git a/lib/examples/de/ItemizeBullets.lyx b/lib/examples/de/ItemizeBullets.lyx
index 4c14df7013233041c9aa14bb1e29b68d5b02d878..a43697c34f3036e783e74065a4af0e4820e01101 100644 (file)
--- a/lib/examples/de/ItemizeBullets.lyx
+++ b/lib/examples/de/ItemizeBullets.lyx
@@ -1,33 +1,62 @@
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 345
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 508
 \begin_document
 \begin_header
-\use_default_options false
+\save_transient_properties true
+\origin /systemlyxdir/examples/de/
 \textclass article
 \begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
 \end_preamble
+\use_default_options false
+\maintain_unincluded_children false
 \language ngerman
-\inputencoding latin1
-\font_roman default
-\font_sans default
-\font_typewriter default
+\language_package default
+\inputencoding auto
+\fontencoding global
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
 \font_default_family default
+\use_non_tex_fonts false
 \font_sc false
 \font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
+\font_sf_scale 100 100
+\font_tt_scale 100 100
 \graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
 \paperfontsize default
 \spacing single
 \use_hyperref false
 \papersize a4paper
 \use_geometry true
-\use_amsmath 0
-\use_esint 0
+\use_package amsmath 1
+\use_package amssymb 1
+\use_package cancel 0
+\use_package esint 1
+\use_package mathdots 1
+\use_package mathtools 0
+\use_package mhchem 1
+\use_package stackrel 0
+\use_package stmaryrd 0
+\use_package undertilde 0
 \cite_engine basic
+\cite_engine_type default
+\biblio_style plain
 \use_bibtopic false
+\use_indices false
 \paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 0
+\index Stichwortverzeichnis
+\shortcut idx
+\color #008000
+\end_index
 \leftmargin 2cm
 \topmargin 1cm
 \rightmargin 2cm
@@ -35,7 +64,7 @@
 \secnumdepth 3
 \tocdepth 3
 \paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
 \quotes_language german
 \papercolumns 1
 \papersides 1
@@ -46,8 +75,9 @@
 \bullet 3 0 8 -1
 \tracking_changes false
 \output_changes false
-\author ""
-\author ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
 \end_header
 
 \begin_body
@@ -94,14 +124,16 @@ jede Stufe kann ihr eigenes Aufzählungszeichen haben
 
 \begin_deeper
 \begin_layout Itemize
-LyX stellt aber alle Aufzählungszeichen als `*' dar
+\SpecialChar LyX
+ stellt aber alle Aufzählungszeichen als `*' dar
 \end_layout
 
 \end_deeper
 \end_deeper
 \end_deeper
 \begin_layout Itemize
-LyX prüft 
+\SpecialChar LyX
+ prüft 
 \emph on
 nicht
 \emph default
@@ -110,7 +142,8 @@ nicht
 
 \begin_deeper
 \begin_layout Itemize
-nur LaTeX begrenzt die Tiefe für alle Listen auf 6.
+nur \SpecialChar LaTeX
+ begrenzt die Tiefe für alle Listen auf 6.
 \end_layout
 
 \end_deeper
@@ -127,10 +160,10 @@ Ja.
 \begin_layout Standard
 Das Menü erreichen Sie über 
 \family sans
-Dokument\SpecialChar \menuseparator
+Dokument\SpecialChar menuseparator
 Einstellungen
 \family default
-\SpecialChar \menuseparator
+\SpecialChar menuseparator
 
 \family sans
 Aufzählungszeichen.
@@ -163,7 +196,7 @@ Standard
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="left" valignment="top" width="0pt">
@@ -175,21 +208,9 @@ Standard
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-normalfont
-\backslash
-bfseries{--}
-\end_layout
-
-\end_inset
-
 
+\series bold
+–
 \end_layout
 
 \end_inset
@@ -198,20 +219,7 @@ bfseries{--}
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-vdash
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\vdash$
 \end_inset
 
 
@@ -223,20 +231,7 @@ vdash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-dashv
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\dashv$
 \end_inset
 
 
@@ -248,20 +243,7 @@ dashv
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-flat
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\flat$
 \end_inset
 
 
@@ -273,20 +255,7 @@ flat
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-natural
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\natural$
 \end_inset
 
 
@@ -298,20 +267,7 @@ natural
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-sharp
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\sharp$
 \end_inset
 
 
@@ -325,20 +281,7 @@ sharp
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-ast
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\ast$
 \end_inset
 
 
@@ -350,20 +293,7 @@ ast
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-star
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\star$
 \end_inset
 
 
@@ -375,20 +305,7 @@ star
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-bullet
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\bullet$
 \end_inset
 
 
@@ -400,20 +317,7 @@ bullet
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-circ
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\circ$
 \end_inset
 
 
@@ -425,20 +329,7 @@ circ
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-cdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\cdot$
 \end_inset
 
 
@@ -450,20 +341,7 @@ cdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-dagger
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\dagger$
 \end_inset
 
 
@@ -477,21 +355,20 @@ dagger
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\bigtriangleup$
+\end_inset
 
 
-\backslash
-(
-\backslash
-bigtriangleup
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\bigtriangledown$
+\end_inset
 
 
 \end_layout
@@ -502,21 +379,20 @@ bigtriangleup
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\triangleleft$
+\end_inset
 
 
-\backslash
-(
-\backslash
-bigtriangledown
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\triangleright$
+\end_inset
 
 
 \end_layout
@@ -527,46 +403,46 @@ bigtriangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\lhd$
+\end_inset
 
 
-\backslash
-(
-\backslash
-triangleleft
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\rhd$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
+</row>
+<row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\oplus$
+\end_inset
 
 
-\backslash
-(
-\backslash
-triangleright
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\ominus$
+\end_inset
 
 
 \end_layout
@@ -577,46 +453,44 @@ triangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\otimes$
+\end_inset
 
 
-\backslash
-(
-\backslash
-lhd
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\oslash$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\odot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-rhd
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\spadesuit$
+\end_inset
 
 
 \end_layout
@@ -629,21 +503,20 @@ rhd
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\diamond$
+\end_inset
 
 
-\backslash
-(
-\backslash
-oplus
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\Diamond$
+\end_inset
 
 
 \end_layout
@@ -654,21 +527,20 @@ oplus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\Box$
+\end_inset
 
 
-\backslash
-(
-\backslash
-ominus
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\diamondsuit$
+\end_inset
 
 
 \end_layout
@@ -679,223 +551,8 @@ ominus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-otimes
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-oslash
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-odot
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-spadesuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-diamond
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Diamond
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Box
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-diamondsuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-heartsuit
-\backslash
-)
-\end_layout
-
-\end_inset
+\begin_inset Formula $\heartsuit$
+\end_inset
 
 
 \end_layout
@@ -906,20 +563,7 @@ heartsuit
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-clubsuit
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\clubsuit$
 \end_inset
 
 
@@ -933,20 +577,7 @@ clubsuit
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightarrow$
 \end_inset
 
 
@@ -958,20 +589,7 @@ rightarrow
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-leadsto
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\leadsto$
 \end_inset
 
 
@@ -983,20 +601,7 @@ leadsto
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightharpoonup
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightharpoonup$
 \end_inset
 
 
@@ -1008,20 +613,7 @@ rightharpoonup
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightharpoondown
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightharpoondown$
 \end_inset
 
 
@@ -1033,20 +625,7 @@ rightharpoondown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Rightarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Rightarrow$
 \end_inset
 
 
@@ -1058,20 +637,7 @@ Rightarrow
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-succ
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\succ$
 \end_inset
 
 
@@ -1119,7 +685,7 @@ American Mathematical Society
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -1131,172 +697,7 @@ American Mathematical Society
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Rrightarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightarrowtail
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-twoheadrightarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightsquigarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-looparrowright
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-multimap
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxtimes
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Rrightarrow$
 \end_inset
 
 
@@ -1308,20 +709,7 @@ boxtimes
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxplus
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightarrowtail$
 \end_inset
 
 
@@ -1333,20 +721,7 @@ boxplus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxminus
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\twoheadrightarrow$
 \end_inset
 
 
@@ -1358,20 +733,7 @@ boxminus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-boxdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightsquigarrow$
 \end_inset
 
 
@@ -1383,20 +745,7 @@ boxdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-divideontimes
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\looparrowright$
 \end_inset
 
 
@@ -1408,20 +757,7 @@ divideontimes
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Vvdash
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\multimap$
 \end_inset
 
 
@@ -1435,20 +771,7 @@ Vvdash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-lessdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\boxtimes$
 \end_inset
 
 
@@ -1460,45 +783,7 @@ lessdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-gtrdot
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-maltese
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\boxplus$
 \end_inset
 
 
@@ -1510,20 +795,7 @@ maltese
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-bigstar
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\boxminus$
 \end_inset
 
 
@@ -1535,21 +807,20 @@ bigstar
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\boxdot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-checkmark
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\divideontimes$
+\end_inset
 
 
 \end_layout
@@ -1560,20 +831,7 @@ checkmark
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Vdash
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Vvdash$
 \end_inset
 
 
@@ -1587,20 +845,7 @@ Vdash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-backsim
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\lessdot$
 \end_inset
 
 
@@ -1612,20 +857,7 @@ backsim
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-thicksim
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\gtrdot$
 \end_inset
 
 
@@ -1637,20 +869,7 @@ thicksim
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-centerdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\maltese$
 \end_inset
 
 
@@ -1662,20 +881,7 @@ centerdot
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-circleddash
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\bigstar$
 \end_inset
 
 
@@ -1687,20 +893,7 @@ circleddash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-circledast
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\checkmark$
 \end_inset
 
 
@@ -1712,20 +905,7 @@ circledast
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-circledcirc
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Vdash$
 \end_inset
 
 
@@ -1739,21 +919,20 @@ circledcirc
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\backsim$
+\end_inset
 
 
-\backslash
-(
-\backslash
-vartriangleleft
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\thicksim$
+\end_inset
 
 
 \end_layout
@@ -1764,21 +943,20 @@ vartriangleleft
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\centerdot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-vartriangleright
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\circleddash$
+\end_inset
 
 
 \end_layout
@@ -1789,46 +967,46 @@ vartriangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\circledast$
+\end_inset
 
 
-\backslash
-(
-\backslash
-vartriangle
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\circledcirc$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
+</row>
+<row>
 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\vartriangleleft$
+\end_inset
 
 
-\backslash
-(
-\backslash
-triangledown
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\vartriangleright$
+\end_inset
 
 
 \end_layout
@@ -1839,46 +1017,44 @@ triangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\vartriangle$
+\end_inset
 
 
-\backslash
-(
-\backslash
-lozenge
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\triangledown$
+\end_inset
 
 
 \end_layout
 
 \end_inset
 </cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\lozenge$
+\end_inset
 
 
-\backslash
-(
-\backslash
-square
-\backslash
-)
 \end_layout
 
 \end_inset
+</cell>
+<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+\begin_inset Text
+
+\begin_layout Plain Layout
+\begin_inset Formula $\square$
+\end_inset
 
 
 \end_layout
@@ -1891,20 +1067,7 @@ square
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangleleft
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangleleft$
 \end_inset
 
 
@@ -1916,20 +1079,7 @@ blacktriangleleft
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangleright
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangleright$
 \end_inset
 
 
@@ -1941,20 +1091,7 @@ blacktriangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangle
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangle$
 \end_inset
 
 
@@ -1966,20 +1103,7 @@ blacktriangle
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacktriangledown
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacktriangledown$
 \end_inset
 
 
@@ -1991,20 +1115,7 @@ blacktriangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacklozenge
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacklozenge$
 \end_inset
 
 
@@ -2016,20 +1127,7 @@ blacklozenge
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-blacksquare
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\blacksquare$
 \end_inset
 
 
@@ -2058,31 +1156,33 @@ Ding 1 (PSNFSS
 status collapsed
 
 \begin_layout Plain Layout
-NFSS (New Font Selecting Scheme) ist das neue Schema von LaTeX2e (im wesentliche
-n die Befehlsänderungen von 
+NFSS (New Font Selecting Scheme) ist das neue Schema von \SpecialChar LaTeX2e
+ (im wesentlichen
+ die Befehlsänderungen von 
 \family typewriter
 {
 \backslash
-bf \SpecialChar \ldots{}
+bf \SpecialChar ldots
 }
 \family default
  nach 
 \family typewriter
 
 \backslash
-textbf{\SpecialChar \ldots{}
+textbf{\SpecialChar ldots
 }
 \family default
 , obwohl die wirklichen Änderungen im Inneren zu finden sind).
  PS bedeutet PostScript®.
- PSNFSS ist eine Zahl von LaTeX-Dateien, die die NFSS-Unterstützung für
- 35 PS-Fonts liefern, die in vielen  PostScript®-Druckern zu finden sind.
+ PSNFSS ist eine Zahl von \SpecialChar LaTeX
+-Dateien, die die NFSS-Unterstützung für 35 PS-Fonts
+ liefern, die in vielen  PostScript®-Druckern zu finden sind.
  
 \end_layout
 
 \end_inset
 
- Fonts -- Zapf Dingbats und Symbole)
+ Fonts – Zapf Dingbats und Symbole)
 \end_layout
 
 \begin_layout Standard
@@ -2096,7 +1196,7 @@ textbf{\SpecialChar \ldots{}
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -2900,7 +2000,7 @@ Ding 2
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -3704,7 +2804,7 @@ Ding 3
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
@@ -4508,7 +3608,7 @@ Ding 4
 \align center
 \begin_inset Tabular
 <lyxtabular version="3" rows="6" columns="6">
-<features>
+<features tabularvalignment="middle">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">
 <column alignment="center" valignment="top" width="0pt">