-#LyX 1.6.0svn created this file. For more info see http://www.lyx.org/
-\lyxformat 344
+#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/
\textclass article
\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
\end_preamble
\use_default_options false
+\maintain_unincluded_children false
\language english
-\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 Index
+\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
\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
\begin_deeper
\begin_layout Itemize
-LyX however displays all bullets as an `*'
+\SpecialChar LyX
+ however displays all bullets as an `*'
\end_layout
\end_deeper
\end_deeper
\end_deeper
\begin_layout Itemize
-Also note that LyX does
+Also note that \SpecialChar LyX
+ does
\emph on
not
\emph default
\begin_deeper
\begin_layout Itemize
-Other than to enforce the LaTeX depth limit of 6 for all lists.
+Other than to enforce the \SpecialChar LaTeX
+ depth limit of 6 for all lists.
\end_layout
\end_deeper
\begin_layout Standard
You can access the popup via the
\family sans
-Layout\SpecialChar \menuseparator
-Document\SpecialChar \ldots{}
+Layout\SpecialChar menuseparator
+Document\SpecialChar ldots
\family default
menu and select the
\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">
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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">
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
status collapsed
\begin_layout Plain Layout
-NFSS is the New Font Selecting Scheme of LaTeX2e (basically, what changed
- the font commands from
+NFSS is the New Font Selecting Scheme of \SpecialChar LaTeX2e
+ (basically, what changed the font
+ commands from
\family typewriter
{
\backslash
-bf \SpecialChar \ldots{}
+bf \SpecialChar ldots
}
\family default
to
\family typewriter
\backslash
-textbf{\SpecialChar \ldots{}
+textbf{\SpecialChar ldots
}
\family default
, although the real changes are inside the guts).
PS stands for PostScript.
- PSNFSS is a set of LaTeX files which provide NFSS support for the basic
- set of 35 PS fonts present in many postscript printers.
+ PSNFSS is a set of \SpecialChar LaTeX
+ files which provide NFSS support for the basic set
+ of 35 PS fonts present in many postscript printers.
\end_layout
\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">
\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">
\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">
\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">
projects / lyx.git / blobdiff