Amend and extend 9f3518bc

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

diff --git a/lib/examples/it/ItemizeBullets.lyx b/lib/examples/it/ItemizeBullets.lyx
index 33e11b264d5d0babb7f0a4cddc0dff2f05968448..751636cb8b71edf4598d5d9d46e38cf074bbc611 100644 (file)
--- a/lib/examples/it/ItemizeBullets.lyx
+++ b/lib/examples/it/ItemizeBullets.lyx
@@ -1,37 +1,66 @@
-#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
-\lyxformat 341
+#LyX 2.2 created this file. For more info see http://www.lyx.org/
+\lyxformat 508
 \begin_document
 \begin_header
+\save_transient_properties true
+\origin /systemlyxdir/examples/it/
 \textclass article
 \begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
 \end_preamble
+\use_default_options false
+\maintain_unincluded_children false
 \language italian
-\inputencoding default
-\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 10
 \spacing single
 \use_hyperref false
 \papersize default
 \use_geometry false
-\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 Indice
+\shortcut idx
+\color #008000
+\end_index
 \secnumdepth 3
 \tocdepth 3
 \paragraph_separation indent
-\defskip medskip
+\paragraph_indentation default
 \quotes_language english
 \papercolumns 1
 \papersides 1
@@ -42,8 +71,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
@@ -112,7 +142,8 @@ un proprio indice
 
 \begin_deeper
 \begin_layout Itemize
-LyX mostra comunque tutti i puntatori come un `*'
+\SpecialChar LyX
+ mostra comunque tutti i puntatori come un `*'
 \end_layout
 
 \end_deeper
@@ -125,7 +156,8 @@ te
 \color none
  
 \color inherit
-anche che LyX *NON* controlla la profondità dell'ambiente al posto
+anche che \SpecialChar LyX
+ *NON* controlla la profondità dell'ambiente al posto
 \color none
  
 \color black
@@ -134,7 +166,8 @@ vostro
 
 \begin_deeper
 \begin_layout Itemize
-A meno che non si forzi LaTeX alla profondità limite di 6 per tutte le liste.
+A meno che non si forzi \SpecialChar LaTeX
+ alla profondità limite di 6 per tutte le liste.
 \end_layout
 
 \end_deeper
@@ -162,7 +195,7 @@ Per vedere comparire la finestra nella quale poter effettuare tali modifiche,
  
 \family sans
 \color black
-Documento\SpecialChar \menuseparator
+Documento\SpecialChar menuseparator
 Impostazioni
 \family default
  dal menù 
@@ -203,7 +236,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">
@@ -215,21 +248,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
@@ -238,20 +259,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
 
 
@@ -263,20 +271,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
 
 
@@ -288,20 +283,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
 
 
@@ -313,20 +295,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
 
 
@@ -338,20 +307,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
 
 
@@ -365,20 +321,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
 
 
@@ -390,20 +333,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
 
 
@@ -415,20 +345,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
 
 
@@ -440,20 +357,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
 
 
@@ -465,20 +369,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
 
 
@@ -490,20 +381,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
 
 
@@ -517,20 +395,7 @@ dagger
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-bigtriangleup
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\bigtriangleup$
 \end_inset
 
 
@@ -542,20 +407,7 @@ bigtriangleup
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-bigtriangledown
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\bigtriangledown$
 \end_inset
 
 
@@ -567,20 +419,7 @@ bigtriangledown
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-triangleleft
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\triangleleft$
 \end_inset
 
 
@@ -592,20 +431,7 @@ triangleleft
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-triangleright
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\triangleright$
 \end_inset
 
 
@@ -617,20 +443,7 @@ triangleright
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-lhd
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\lhd$
 \end_inset
 
 
@@ -642,20 +455,7 @@ lhd
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rhd
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rhd$
 \end_inset
 
 
@@ -669,21 +469,20 @@ rhd
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\oplus$
+\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 $\ominus$
+\end_inset
 
 
 \end_layout
@@ -694,21 +493,20 @@ oplus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\otimes$
+\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 $\oslash$
+\end_inset
 
 
 \end_layout
@@ -719,45 +517,33 @@ ominus
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\odot$
+\end_inset
 
 
-\backslash
-(
-\backslash
-otimes
-\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
 
 \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
-oslash
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\diamond$
 \end_inset
 
 
@@ -769,20 +555,7 @@ oslash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-odot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Diamond$
 \end_inset
 
 
@@ -790,51 +563,11 @@ odot
 
 \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
-
+\begin_inset Formula $\Box$
 \end_inset
 
 
@@ -846,20 +579,7 @@ diamond
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Diamond
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\diamondsuit$
 \end_inset
 
 
@@ -871,70 +591,7 @@ Diamond
 \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
-
+\begin_inset Formula $\heartsuit$
 \end_inset
 
 
@@ -946,20 +603,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
 
 
@@ -973,20 +617,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
 
 
@@ -998,20 +629,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
 
 
@@ -1023,20 +641,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
 
 
@@ -1048,20 +653,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
 
 
@@ -1073,20 +665,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
 
 
@@ -1098,20 +677,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
 
 
@@ -1149,7 +715,7 @@ Matematici (simboli AMS)
 \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">
@@ -1161,20 +727,7 @@ Matematici (simboli AMS)
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Rrightarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\Rrightarrow$
 \end_inset
 
 
@@ -1186,20 +739,7 @@ Rrightarrow
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightarrowtail
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\rightarrowtail$
 \end_inset
 
 
@@ -1211,172 +751,7 @@ rightarrowtail
 \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
-
-\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
-boxplus
-\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
-boxminus
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\twoheadrightarrow$
 \end_inset
 
 
@@ -1388,20 +763,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
 
 
@@ -1413,20 +775,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
 
 
@@ -1438,20 +787,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
 
 
@@ -1465,45 +801,7 @@ Vvdash
 \begin_inset Text
 
 \begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-lessdot
-\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
-gtrdot
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\boxtimes$
 \end_inset
 
 
@@ -1515,20 +813,7 @@ gtrdot
 \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
 
 
@@ -1540,20 +825,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
 
 
@@ -1565,21 +837,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
@@ -1590,20 +861,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
 
 
@@ -1617,20 +875,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
 
 
@@ -1642,20 +887,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
 
 
@@ -1667,20 +899,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
 
 
@@ -1692,20 +911,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
 
 
@@ -1717,20 +923,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
 
 
@@ -1742,20 +935,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
 
 
@@ -1769,21 +949,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
@@ -1794,21 +973,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
@@ -1819,46 +997,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
@@ -1869,46 +1047,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
@@ -1921,20 +1097,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
 
 
@@ -1946,20 +1109,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
 
 
@@ -1971,20 +1121,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
 
 
@@ -1996,20 +1133,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
 
 
@@ -2021,20 +1145,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
 
 
@@ -2046,20 +1157,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
 
 
@@ -2097,7 +1195,7 @@ Ding 1 (PSNFSS Fonts - Zapf Dingbats and Symbols)
 \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">
@@ -2901,7 +1999,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">
@@ -3705,7 +2803,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">
@@ -4509,7 +3607,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">