-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
\textclass article
\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
\end_preamble
\use_default_options false
\language english
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize 10
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
\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
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
-\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
-\end_preamble
+\use_default_options false
\language catalan
\inputencoding auto
\font_roman default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize 10
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
+\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
-
+\begin_inset Formula $\boxtimes$
\end_inset
\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
\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
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
\end_preamble
+\use_default_options false
\language ngerman
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize default
\spacing single
\use_hyperref false
\papersize a4paper
\use_geometry true
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
+\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
\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
\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
\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
\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
\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
\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
+\begin_inset Formula $\heartsuit$
+\end_inset
\end_layout
\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
-
-
-\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
-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
\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
\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
\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
-
+\begin_inset Formula $\boxtimes$
\end_inset
\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
\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
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language ngerman
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
-\language german
-\inputencoding latin1
+\use_default_options false
+\language ngerman
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\begin_layout Standard
von Fee LyX
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Fee LyX ist der Autor
12.
Juni 1972
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: dies ist ein Datum
\begin_layout Standard
Inhaltsverzeichnis
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Es wäre schön, wenn wir das Verzeichnis nicht selber schreiben
1.
Grundidee
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis:
Die Grundidee von LaTeX ist ähnlich wie die von LyX.
Leslie Lamport sagte einmal (siehe Referenz [1]):
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: dieser Zitat-Verweis sollte nicht fest sein.
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Dies ist ein Zitat
) Ich bin SEHR AUFGEREGT
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Hervorheben!
* LyX erleichtert das Schreiben und Bearbeiten von mathematischen Formeln
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Dies ist eine Auflistung mit zwei Elementen.
Für eine mehr philosophische Diskussion, warum LyX besser als viele andere
Textverarbeitungen ist, lesen Sie bitte Abschnitt 1.2 auf Seite 1.
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Dieser Querverweis sollte nicht fest sein.
\begin_layout Standard
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Dies ist LyX-Code
\begin_layout Standard
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: Es ist nicht sehr gut, aber es ist Poesie, auch als Gedicht
4.
Mathematik
\begin_inset Note Note
-status open
+status collapsed
\begin_layout Plain Layout
Hinweis: diese mathematischen Dinge sollten im Mathematikmodus gedruckt
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
\end_preamble
+\use_default_options false
\language spanish
\inputencoding auto
\font_roman default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize 10
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
+\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
\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
\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
\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
\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
\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
\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
+\begin_inset Formula $\heartsuit$
+\end_inset
\end_layout
\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
-
-
-\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
-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
\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
\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
\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
-
+\begin_inset Formula $\boxtimes$
\end_inset
\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
\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
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language spanish
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language spanish
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language spanish
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language spanish
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language english
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language english
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
\end_preamble
+\use_default_options false
\language french
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize 10
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
+\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
\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
\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
\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
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-oplus
-\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
-ominus
-\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
-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
-
-
-\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
-clubsuit
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-leadsto
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightharpoonup
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-rightharpoondown
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
-\begin_inset Text
-
-\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
-
-
-\backslash
-(
-\backslash
-Rightarrow
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-<cell alignment="center" valignment="top" topline="true" bottomline="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
-succ
-\backslash
-)
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\end_inset
-</cell>
-</row>
-</lyxtabular>
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset VSpace 0.3cm
-\end_inset
-
-
-\end_layout
-
-\begin_layout Subsection*
-Maths (Symboles AMS
-\begin_inset Foot
-status collapsed
-
-\begin_layout Plain Layout
-American Mathematical Society
-\end_layout
-
-\end_inset
-
-)
-\end_layout
-
-\begin_layout Standard
-\begin_inset VSpace 0.3cm
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\align center
-\begin_inset Tabular
-<lyxtabular version="3" rows="6" columns="6">
-<features>
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<column alignment="center" valignment="top" width="0pt">
-<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
-Rrightarrow
-\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
-rightarrowtail
-\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
-twoheadrightarrow
-\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
-rightsquigarrow
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\heartsuit$
\end_inset
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<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
-looparrowright
-\backslash
-)
-\end_layout
-
+\begin_inset Formula $\clubsuit$
\end_inset
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+</row>
+<row>
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="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
-
+\begin_inset Formula $\rightarrow$
\end_inset
\end_inset
</cell>
-</row>
-<row>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="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 $\leadsto$
\end_inset
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="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
-
+\begin_inset Formula $\rightharpoonup$
\end_inset
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="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 $\rightharpoondown$
\end_inset
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
\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 $\Rightarrow$
\end_inset
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
+<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\succ$
+\end_inset
-\backslash
-(
-\backslash
-divideontimes
-\backslash
-)
\end_layout
+\end_inset
+</cell>
+</row>
+</lyxtabular>
+
\end_inset
\end_layout
+\begin_layout Standard
+\begin_inset VSpace 0.3cm
\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
+
+\end_layout
+
+\begin_layout Subsection*
+Maths (Symboles AMS
+\begin_inset Foot
status collapsed
\begin_layout Plain Layout
+American Mathematical Society
+\end_layout
+\end_inset
-\backslash
-(
-\backslash
-Vvdash
-\backslash
)
\end_layout
+\begin_layout Standard
+\begin_inset VSpace 0.3cm
\end_inset
\end_layout
-\end_inset
-</cell>
-</row>
+\begin_layout Standard
+\align center
+\begin_inset Tabular
+<lyxtabular version="3" rows="6" columns="6">
+<features>
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
+<column alignment="center" valignment="top" width="0pt">
<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
-lessdot
-\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
-gtrdot
-\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
-maltese
-\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
-bigstar
-\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
+\begin_inset Formula $\looparrowright$
+\end_inset
-\backslash
-(
-\backslash
-checkmark
-\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 $\multimap$
+\end_inset
\end_layout
\end_inset
</cell>
-<cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
+</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 $\boxtimes$
+\end_inset
-\backslash
-(
-\backslash
-Vdash
-\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 $\boxplus$
+\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 $\boxminus$
+\end_inset
-\backslash
-(
-\backslash
-backsim
-\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 $\boxdot$
+\end_inset
\end_layout
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\divideontimes$
+\end_inset
-\backslash
-(
-\backslash
-thicksim
-\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 $\Vvdash$
+\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
-centerdot
-\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
+\begin_inset Formula $\gtrdot$
+\end_inset
-\backslash
-(
-\backslash
-circleddash
-\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 $\maltese$
+\end_inset
\end_layout
\begin_inset Text
\begin_layout Plain Layout
-\begin_inset ERT
-status collapsed
-
-\begin_layout Plain Layout
+\begin_inset Formula $\bigstar$
+\end_inset
-\backslash
-(
-\backslash
-circledast
-\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 $\checkmark$
+\end_inset
\end_layout
\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
-#LyX 1.6.4 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
\textclass article
\use_default_options false
\language french
-\inputencoding latin1
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
pour une discussion plus approfondie sur les avantages de LyX par rapport
aux autres traitements de texte.
- Voir aussi le
-\begin_inset CommandInset href
-LatexCommand href
-name "site web de LyX"
-target "http://www.lyx.org"
+ Voir aussi le site web de LyX:
+\begin_inset Flex URL
+status collapsed
+
+\begin_layout Plain Layout
+
+http://www.lyx.org
+\end_layout
\end_inset
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 345
-\begin_document
-\begin_header
-\use_default_options false
-\textclass article
-\language galician
-\inputencoding default
-\font_roman default
-\font_sans default
-\font_typewriter default
-\font_default_family default
-\font_sc false
-\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
-\graphics dvips
-\paperfontsize 12
-\spacing single
-\use_hyperref false
-\papersize default
-\use_geometry false
-\use_amsmath 0
-\use_esint 0
-\cite_engine basic
-\use_bibtopic false
-\paperorientation portrait
-\secnumdepth 3
-\tocdepth 3
-\paragraph_separation indent
-\defskip medskip
-\quotes_language english
-\papercolumns 1
-\papersides 1
-\paperpagestyle plain
-\tracking_changes false
-\output_changes false
-\author ""
-\end_header
-
-\begin_body
-
-\begin_layout Standard
-ESTE É O TÍTULO DO DOCUMENTO
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: O título deberia semellar-se mais a un título
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-por Pepe LyX
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: Pepe é o AUTOR
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-12 de Xuño de 1972
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: Esta é unha data
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-Táboa de contidos
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Comentário: Agradeceria-se non ter que escreber a táboa de contidos explicitamen
-te.
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-1.
- Filosofia básica..................1
-\end_layout
-
-\begin_layout Standard
-1.1 Como o traballa o LyX...............1
-\end_layout
-
-\begin_layout Standard
-1.2 Por que o LyX é mellor...............1
-\end_layout
-
-\begin_layout Standard
-2.
- Características de LyX
-\end_layout
-
-\begin_layout Standard
-3.
- Tentativas eivadas de usar mais facilidades do LyX
-\end_layout
-
-\begin_layout Standard
-4.
- Cuestións matemáticas
-\end_layout
-
-\begin_layout Standard
----------------------------------------------------
-\end_layout
-
-\begin_layout Standard
-1.
- Filosofia básica
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Observación: Probabelmente os títulos das seccións deberian salientar máis.
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-A filosofia básica de LyX é conseguir que o usuário só se deba preocupar
- do contido do documento e non do formato.
-\end_layout
-
-\begin_layout Standard
-1.1 Como o traballa o LyX
-\end_layout
-
-\begin_layout Standard
-LyX basea-se no LaTeX, un sistema de preparación de documentos deseñado
- por Leslie Lamport en 1985.
- Por sua vez o LaTeX elaborou-se sobre unha linguaxe tipográfica chamada
- TeX, criada por Donald Knuth en 1984.
- Por outra banda a filosofia do LaTeX é similar á de LyX.
- Leslie Lamport dixo (ver referéncia [1])
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Observación: Probabelmente, esta referéncia non deberia estar escrita directamen
-te.
- Que acontecerá se inserimos outro iten na bibliografia antes do libro de
- Lamport.
-\end_layout
-
-\end_inset
-
- :
-\end_layout
-
-\begin_layout Standard
-"A función do deseño tipográfico é axudar ao leitor a comprender as ideas
- do autor.
- Para un documento ser de fácil leitura, a sua estrutura visual debe reflectir
- a sua estrutura lóxica.
- As citas e os programas de computador, sendo elementos estruturalmente
- diferentes, deberian distinguir-se visualmente un de outro [...] Como LaTeX
- non pode entender directamente o sentido do seu texto, debe indicar-lle
- a estrutura lóxica mediante comandos especiais [...] Entanto escrebe o documento,
- deberia preocupar-se da sua estrutura lóxica, non da sua aparéncia."
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: esta é unha cita
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-1.2 Por que o LyX é mellor
-\end_layout
-
-\begin_layout Standard
-LyX pode ser útil a mais xente que LaTeX.
- É considerabelmente mais doado de aprender, pois non é como LaTeX unha
- linguaxe de programazón.
- LyX é basicamente como outros procesadores de texto "WYSIWYG (o que vé
- é o que obtén), agás que o LyX realmente é WYSIWYM (o que vé é o que pretende
- facer).
- De maneira que combina a facilidade de uso dos procesadores de texto coa
- poténcia do LaTeX.
- O cal é unha boa cousa.
- Ademais, o formato de arquivo é independente do sistema operativo.
- E o mellor de todo, é LIBRE!
-\end_layout
-
-\begin_layout Standard
-2.
- Características do LyX
-\end_layout
-
-\begin_layout Standard
-LyX posui moitas características que facilitan a escrita de documentos.
- (Senón, porque o ia querer usar?
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: Esta frase entre parénteses ficaria mellor nunha nota de rodapé.
-\end_layout
-
-\end_inset
-
-) E a min AGRADA-ME
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: enfatizar
-\end_layout
-
-\end_inset
-
- moito poder falar delas.
- Eis unha pequena lista:
-\end_layout
-
-\begin_layout Standard
-* O LyX encarrega-se sen intervención do usuário das marxes e a numeración
- das notas de rodapé.
-\end_layout
-
-\begin_layout Standard
-* LyX facilita a escrita e edición de fórmulas matemáticas.
-\end_layout
-
-\begin_layout Standard
-Para unha discusión mais filosófica de por que LyX é mellor que a competéncia
- vexa a sección 1.2, que se acha na páxina 1.
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Observación: Probabelmente esta REFERÉNCIA-CRUZADA non debia estar escrita
- directamente, que pasará se mudarmos o número da sección?
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-3.
- Tentivas eivadas de empregar máis facilidades do LyX
-\end_layout
-
-\begin_layout Standard
-O outro dia escrebin un programa, algo asi como:
-\end_layout
-
-\begin_layout Standard
-5 REMARK O MEU MAGNIFICO PROGRAMA
-\end_layout
-
-\begin_layout Standard
-10 PRINT "SON INIGUALÁBEL!"
-\end_layout
-
-\begin_layout Standard
-20 GOTO 10
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: Isto é código fonte dun programa
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-Após desta inxente lavoura informática, arrebatou-me unha vea poética e
- escrebin este haiku:
-\end_layout
-
-\begin_layout Standard
-LyX, veloz palilleira
-\end_layout
-
-\begin_layout Standard
-teces as miñas palabras
-\end_layout
-
-\begin_layout Standard
-nunha fermosa renda de letras.
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: Se cadra non é moi boa poesia, mais non deixa de estar en VERSO
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-4.
- Cuestións matemáticas
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Dica: Semella lóxico escreber fórmulas no modo matemático!
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-A miña ecuación favorita é a solución da ecuación de segundo grau.
- Se ax^2+bx+c=0 (ec.1), entón x= -b + ou menos a raiz cadrada de b^2-4ac,
- todo dividido por 2a (ec.
- 2).
-\end_layout
-
-\begin_layout Standard
-Outra das miñas ecuacións favoritas é base do cálculo: f'(x) define-se como
- o limite cando deltax tende a zero de f(x+deltax) - f(x) dividido por deltax
- (ec.
- 3).
-\end_layout
-
-\begin_layout Standard
-------------------------------------------------
-\end_layout
-
-\begin_layout Standard
-REFERÉNCIAS
-\end_layout
-
-\begin_layout Standard
-[1] Lamport, Leslie.
- LaTeX: A Document Preparation System.
- Addison-Wesley, Reading, Massachusetts, segunda edición, 1994.
-
-\end_layout
-
-\end_body
-\end_document
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/\r
+\lyxformat 345\r
+\begin_document\r
+\begin_header\r
+\textclass article\r
+\use_default_options false\r
+\language galician\r
+\inputencoding auto\r
+\font_roman default\r
+\font_sans default\r
+\font_typewriter default\r
+\font_default_family default\r
+\font_sc false\r
+\font_osf false\r
+\font_sf_scale 100\r
+\font_tt_scale 100\r
+\r
+\graphics default\r
+\paperfontsize 12\r
+\spacing single\r
+\use_hyperref false\r
+\papersize default\r
+\use_geometry false\r
+\use_amsmath 0\r
+\use_esint 0\r
+\cite_engine basic\r
+\use_bibtopic false\r
+\paperorientation portrait\r
+\secnumdepth 3\r
+\tocdepth 3\r
+\paragraph_separation indent\r
+\defskip medskip\r
+\quotes_language english\r
+\papercolumns 1\r
+\papersides 1\r
+\paperpagestyle plain\r
+\tracking_changes false\r
+\output_changes false\r
+\author "" \r
+\author "" \r
+\end_header\r
+\r
+\begin_body\r
+\r
+\begin_layout Standard\r
+ESTE É O TÍTULO DO DOCUMENTO\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: O título deberia semellar-se mais a un título\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+por Pepe LyX\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: Pepe é o AUTOR\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+12 de Xuño de 1972 \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: Esta é unha data\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Táboa de contidos \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Comentário: Agradeceria-se non ter que escreber a táboa de contidos explicitamen\r
+te.\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.\r
+ Filosofia básica..................1\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.1 Como o traballa o LyX...............1\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.2 Por que o LyX é mellor...............1\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+2.\r
+ Características de LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+3.\r
+ Tentativas eivadas de usar mais facilidades do LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+4.\r
+ Cuestións matemáticas\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+---------------------------------------------------\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.\r
+ Filosofia básica \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Observación: Probabelmente os títulos das seccións deberian salientar máis.\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A filosofia básica de LyX é conseguir que o usuário só se deba preocupar\r
+ do contido do documento e non do formato.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.1 Como o traballa o LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+LyX basea-se no LaTeX, un sistema de preparación de documentos deseñado\r
+ por Leslie Lamport en 1985.\r
+ Por sua vez o LaTeX elaborou-se sobre unha linguaxe tipográfica chamada\r
+ TeX, criada por Donald Knuth en 1984.\r
+ Por outra banda a filosofia do LaTeX é similar á de LyX.\r
+ Leslie Lamport dixo (ver referéncia [1])\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Observación: Probabelmente, esta referéncia non deberia estar escrita directamen\r
+te.\r
+ Que acontecerá se inserimos outro iten na bibliografia antes do libro de\r
+ Lamport.\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+ :\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+"A función do deseño tipográfico é axudar ao leitor a comprender as ideas\r
+ do autor.\r
+ Para un documento ser de fácil leitura, a sua estrutura visual debe reflectir\r
+ a sua estrutura lóxica.\r
+ As citas e os programas de computador, sendo elementos estruturalmente\r
+ diferentes, deberian distinguir-se visualmente un de outro [...] Como LaTeX\r
+ non pode entender directamente o sentido do seu texto, debe indicar-lle\r
+ a estrutura lóxica mediante comandos especiais [...] Entanto escrebe o documento,\r
+ deberia preocupar-se da sua estrutura lóxica, non da sua aparéncia."\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: esta é unha cita\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.2 Por que o LyX é mellor\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+LyX pode ser útil a mais xente que LaTeX.\r
+ É considerabelmente mais doado de aprender, pois non é como LaTeX unha\r
+ linguaxe de programazón.\r
+ LyX é basicamente como outros procesadores de texto "WYSIWYG (o que vé\r
+ é o que obtén), agás que o LyX realmente é WYSIWYM (o que vé é o que pretende\r
+ facer).\r
+ De maneira que combina a facilidade de uso dos procesadores de texto coa\r
+ poténcia do LaTeX.\r
+ O cal é unha boa cousa.\r
+ Ademais, o formato de arquivo é independente do sistema operativo.\r
+ E o mellor de todo, é LIBRE!\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+2.\r
+ Características do LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+LyX posui moitas características que facilitan a escrita de documentos.\r
+ (Senón, porque o ia querer usar?\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: Esta frase entre parénteses ficaria mellor nunha nota de rodapé.\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+) E a min AGRADA-ME\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: enfatizar\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+ moito poder falar delas.\r
+ Eis unha pequena lista:\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+* O LyX encarrega-se sen intervención do usuário das marxes e a numeración\r
+ das notas de rodapé.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+* LyX facilita a escrita e edición de fórmulas matemáticas.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Para unha discusión mais filosófica de por que LyX é mellor que a competéncia\r
+ vexa a sección 1.2, que se acha na páxina 1.\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Observación: Probabelmente esta REFERÉNCIA-CRUZADA non debia estar escrita\r
+ directamente, que pasará se mudarmos o número da sección?\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+3.\r
+ Tentivas eivadas de empregar máis facilidades do LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+O outro dia escrebin un programa, algo asi como:\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+5 REMARK O MEU MAGNIFICO PROGRAMA\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+10 PRINT "SON INIGUALÁBEL!"\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+20 GOTO 10 \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: Isto é código fonte dun programa\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Após desta inxente lavoura informática, arrebatou-me unha vea poética e\r
+ escrebin este haiku:\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+LyX, veloz palilleira\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+teces as miñas palabras\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+nunha fermosa renda de letras.\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: Se cadra non é moi boa poesia, mais non deixa de estar en VERSO\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+4.\r
+ Cuestións matemáticas \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Dica: Semella lóxico escreber fórmulas no modo matemático!\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A miña ecuación favorita é a solución da ecuación de segundo grau.\r
+ Se ax^2+bx+c=0 (ec.1), entón x= -b + ou menos a raiz cadrada de b^2-4ac,\r
+ todo dividido por 2a (ec.\r
+ 2).\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Outra das miñas ecuacións favoritas é base do cálculo: f'(x) define-se como\r
+ o limite cando deltax tende a zero de f(x+deltax) - f(x) dividido por deltax\r
+ (ec.\r
+ 3).\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+------------------------------------------------\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+REFERÉNCIAS\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+[1] Lamport, Leslie.\r
+ LaTeX: A Document Preparation System.\r
+ Addison-Wesley, Reading, Massachusetts, segunda edición, 1994.\r
+ \r
+\end_layout\r
+\r
+\end_body\r
+\end_document\r
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 345
-\begin_document
-\begin_header
-\use_default_options false
-\textclass article
-\language galician
-\inputencoding default
-\font_roman default
-\font_sans default
-\font_typewriter default
-\font_default_family default
-\font_sc false
-\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
-\graphics dvips
-\paperfontsize 12
-\spacing single
-\use_hyperref false
-\papersize default
-\use_geometry false
-\use_amsmath 0
-\use_esint 0
-\cite_engine basic
-\use_bibtopic false
-\paperorientation portrait
-\secnumdepth 3
-\tocdepth 3
-\paragraph_separation indent
-\defskip medskip
-\quotes_language english
-\papercolumns 1
-\papersides 1
-\paperpagestyle plain
-\tracking_changes false
-\output_changes false
-\author ""
-\end_header
-
-\begin_body
-
-\begin_layout Title
-ESTE É O TÍTULO DO DOCUMENTO
-\end_layout
-
-\begin_layout Author
-por Pepe LyX
-\end_layout
-
-\begin_layout Date
-12 de Xuño de 1972
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset toc
-LatexCommand tableofcontents
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Section
-Filosofia básica
-\end_layout
-
-\begin_layout Standard
-A filosofia básica de LyX é conseguir que o usuário só se deba preocupar
- do contido do documento e non do formato.
-\end_layout
-
-\begin_layout Subsection
-Como o traballa o LyX
-\end_layout
-
-\begin_layout Standard
-LyX basea-se no LaTeX, un sistema de preparación de documentos deseñado
- por Leslie Lamport en 1985.
- Por sua vez o LaTeX elaborou-se sobre unha linguaxe tipográfica chamada
- TeX, criada por Donald Knuth en 1984.
- Por outra banda a filosofia do LaTeX é similar á de LyX.
- Leslie Lamport dixo (ver referéncia
-\begin_inset CommandInset citation
-LatexCommand cite
-key "Lamport"
-
-\end_inset
-
-) :
-\end_layout
-
-\begin_layout Quote
-"A función do deseño tipográfico é axudar ao leitor a comprender as ideas
- do autor.
- Para un documento ser de fácil leitura, a sua estrutura visual debe reflectir
- a sua estrutura lóxica.
- As citas e os programas de computador, sendo elementos estruturalmente
- diferentes, deberian distinguir-se visualmente un de outro [...] Como LaTeX
- non pode entender directamente o sentido do seu texto, debe indicar-lle
- a estrutura lóxica mediante comandos especiais [...] Entanto escrebe o documento,
- deberia preocupar-se da sua estrutura lóxica, non da sua aparéncia."
-\end_layout
-
-\begin_layout Subsection
-Por que o LyX é mellor
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset label
-LatexCommand label
-name "sub:LyX-mellor"
-
-\end_inset
-
-LyX pode ser útil a mais xente que LaTeX.
- É considerabelmente mais doado de aprender, pois non é como LaTeX unha
- linguaxe de programazón.
- LyX é basicamente como outros procesadores de texto "WYSIWYG (o que vé
- é o que obtén), agás que o LyX realmente é WYSIWYM (o que vé é o que pretende
- facer).
- De maneira que combina a facilidade de uso dos procesadores de texto coa
- poténcia do LaTeX.
- O cal é unha boa cousa.
- Ademais, o formato de arquivo é independente do sistema operativo.
- E o mellor de todo, é LIBRE!
-\end_layout
-
-\begin_layout Section
-Características do LyX
-\end_layout
-
-\begin_layout Standard
-LyX posui moitas características que facilitan a escrita de documentos
-\begin_inset Foot
-status collapsed
-
-\begin_layout Plain Layout
-Senón, porque o ia querer usar?
-\end_layout
-
-\end_inset
-
-.
- E a min
-\emph on
-agrada-me
-\emph default
- moito poder falar delas.
- Eis unha pequena lista:
-\end_layout
-
-\begin_layout Itemize
-O LyX encarrega-se sen intervención do usuário das marxes e a numeración
- das notas de rodapé.
-\end_layout
-
-\begin_layout Itemize
-LyX facilita a escrita e edición de fórmulas matemáticas.
-\end_layout
-
-\begin_layout Standard
-Para unha discusión mais filosófica de por que LyX é mellor que a competéncia
- vexa a sección
-\begin_inset CommandInset ref
-LatexCommand ref
-reference "sub:LyX-mellor"
-
-\end_inset
-
-, que se acha na páxina
-\begin_inset CommandInset ref
-LatexCommand pageref
-reference "sub:LyX-mellor"
-
-\end_inset
-
-.
-\end_layout
-
-\begin_layout Section
-Tentivas eivadas de empregar máis facilidades do LyX
-\end_layout
-
-\begin_layout Standard
-O outro dia escrebin un programa, algo asi como:
-\end_layout
-
-\begin_layout LyX-Code
-5 REMARK O MEU MAGNIFICO PROGRAMA
-\end_layout
-
-\begin_layout LyX-Code
-10 PRINT "SON INIGUALÁBEL!"
-\end_layout
-
-\begin_layout LyX-Code
-20 GOTO 10
-\end_layout
-
-\begin_layout Standard
-Após desta inxente lavoura informática, arrebatou-me unha vea poética e
- escrebin este haiku:
-\end_layout
-
-\begin_layout Verse
-LyX, veloz palilleira
-\begin_inset Newline newline
-\end_inset
-
-teces as miñas palabras
-\begin_inset Newline newline
-\end_inset
-
-nunha fermosa renda de letras.
-\end_layout
-
-\begin_layout Section
-Cuestións matemáticas
-\end_layout
-
-\begin_layout Standard
-A miña ecuación favorita é a solución da ecuación de segundo grau.
- Se
-\begin_inset Formula $a^{2}+bx+c=0$
-\end_inset
-
- (ec.
- 1), entón
-\begin_inset Formula $x=\frac{-b\pm\sqrt{b^{2}-4ac}}{2a}$
-\end_inset
-
- (ec.
- 2).
-
-\end_layout
-
-\begin_layout Standard
-Outra das miñas ecuacións favoritas é base do cálculo:
-\begin_inset Formula $f'(x)\equiv\lim_{\Delta x\rightarrow0}\frac{f(x+\Delta x)-f(x)}{\Delta x}$
-\end_inset
-
- (ec.
- 3).
-\end_layout
-
-\begin_layout Section
-Notes
-\end_layout
-
-\begin_layout Standard
-Tres cousiñas sobre este ficheiro:
-\end_layout
-
-\begin_layout Itemize
-Eliminei as liñas a trazos que separaban o título e a bibliografia do resto
- do documento.
- O LyX (LaTeX) xa separa tais partes do documento con os espazos axeitados.
-\end_layout
-
-\begin_layout Itemize
-Non coloquei as fórmulas en liñas independentes, nen usei a numeración automátic
-a que fornece o LyX, porque non se descreben no
-\emph on
-Tutorial
-\emph default
-.
-\end_layout
-
-\begin_layout Itemize
-Non é necesário dixitar a palabra
-\begin_inset Quotes eld
-\end_inset
-
-References
-\begin_inset Quotes erd
-\end_inset
-
- que vai a seguir, xa que o LyX a escrebe automaticamente (ou ben a palabra
-
-\begin_inset Quotes eld
-\end_inset
-
-Bibliography,
-\begin_inset Quotes erd
-\end_inset
-
- segundo a clase de documento) ao seleccionar o ambiente
-\family sans
-Bibliografia
-\family default
-.
-\end_layout
-
-\begin_layout Bibliography
-\begin_inset CommandInset bibitem
-LatexCommand bibitem
-key "Lamport"
-
-\end_inset
-
-Lamport, Leslie.
-
-\emph on
-LaTeX: A Document Preparation System.
-
-\emph default
- Addison-Wesley, Reading, Massachusetts, second edition, 1994.
-\end_layout
-
-\end_body
-\end_document
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/\r
+\lyxformat 345\r
+\begin_document\r
+\begin_header\r
+\textclass article\r
+\use_default_options false\r
+\language galician\r
+\inputencoding auto\r
+\font_roman default\r
+\font_sans default\r
+\font_typewriter default\r
+\font_default_family default\r
+\font_sc false\r
+\font_osf false\r
+\font_sf_scale 100\r
+\font_tt_scale 100\r
+\r
+\graphics default\r
+\paperfontsize 12\r
+\spacing single\r
+\use_hyperref false\r
+\papersize default\r
+\use_geometry false\r
+\use_amsmath 0\r
+\use_esint 0\r
+\cite_engine basic\r
+\use_bibtopic false\r
+\paperorientation portrait\r
+\secnumdepth 3\r
+\tocdepth 3\r
+\paragraph_separation indent\r
+\defskip medskip\r
+\quotes_language english\r
+\papercolumns 1\r
+\papersides 1\r
+\paperpagestyle plain\r
+\tracking_changes false\r
+\output_changes false\r
+\author "" \r
+\author "" \r
+\end_header\r
+\r
+\begin_body\r
+\r
+\begin_layout Title\r
+ESTE É O TÍTULO DO DOCUMENTO\r
+\end_layout\r
+\r
+\begin_layout Author\r
+por Pepe LyX\r
+\end_layout\r
+\r
+\begin_layout Date\r
+12 de Xuño de 1972\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+\begin_inset CommandInset toc\r
+LatexCommand tableofcontents\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Filosofia básica \r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A filosofia básica de LyX é conseguir que o usuário só se deba preocupar\r
+ do contido do documento e non do formato.\r
+\end_layout\r
+\r
+\begin_layout Subsection\r
+Como o traballa o LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+LyX basea-se no LaTeX, un sistema de preparación de documentos deseñado\r
+ por Leslie Lamport en 1985.\r
+ Por sua vez o LaTeX elaborou-se sobre unha linguaxe tipográfica chamada\r
+ TeX, criada por Donald Knuth en 1984.\r
+ Por outra banda a filosofia do LaTeX é similar á de LyX.\r
+ Leslie Lamport dixo (ver referéncia \r
+\begin_inset CommandInset citation\r
+LatexCommand cite\r
+key "Lamport"\r
+\r
+\end_inset\r
+\r
+) :\r
+\end_layout\r
+\r
+\begin_layout Quote\r
+"A función do deseño tipográfico é axudar ao leitor a comprender as ideas\r
+ do autor.\r
+ Para un documento ser de fácil leitura, a sua estrutura visual debe reflectir\r
+ a sua estrutura lóxica.\r
+ As citas e os programas de computador, sendo elementos estruturalmente\r
+ diferentes, deberian distinguir-se visualmente un de outro [...] Como LaTeX\r
+ non pode entender directamente o sentido do seu texto, debe indicar-lle\r
+ a estrutura lóxica mediante comandos especiais [...] Entanto escrebe o documento,\r
+ deberia preocupar-se da sua estrutura lóxica, non da sua aparéncia."\r
+\end_layout\r
+\r
+\begin_layout Subsection\r
+Por que o LyX é mellor\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+\begin_inset CommandInset label\r
+LatexCommand label\r
+name "sub:LyX-mellor"\r
+\r
+\end_inset\r
+\r
+LyX pode ser útil a mais xente que LaTeX.\r
+ É considerabelmente mais doado de aprender, pois non é como LaTeX unha\r
+ linguaxe de programazón.\r
+ LyX é basicamente como outros procesadores de texto "WYSIWYG (o que vé\r
+ é o que obtén), agás que o LyX realmente é WYSIWYM (o que vé é o que pretende\r
+ facer).\r
+ De maneira que combina a facilidade de uso dos procesadores de texto coa\r
+ poténcia do LaTeX.\r
+ O cal é unha boa cousa.\r
+ Ademais, o formato de arquivo é independente do sistema operativo.\r
+ E o mellor de todo, é LIBRE!\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Características do LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+LyX posui moitas características que facilitan a escrita de documentos\r
+\begin_inset Foot\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Senón, porque o ia querer usar?\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+.\r
+ E a min \r
+\emph on\r
+agrada-me\r
+\emph default\r
+ moito poder falar delas.\r
+ Eis unha pequena lista:\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+O LyX encarrega-se sen intervención do usuário das marxes e a numeración\r
+ das notas de rodapé.\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+LyX facilita a escrita e edición de fórmulas matemáticas.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Para unha discusión mais filosófica de por que LyX é mellor que a competéncia\r
+ vexa a sección \r
+\begin_inset CommandInset ref\r
+LatexCommand ref\r
+reference "sub:LyX-mellor"\r
+\r
+\end_inset\r
+\r
+, que se acha na páxina \r
+\begin_inset CommandInset ref\r
+LatexCommand pageref\r
+reference "sub:LyX-mellor"\r
+\r
+\end_inset\r
+\r
+.\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Tentivas eivadas de empregar máis facilidades do LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+O outro dia escrebin un programa, algo asi como:\r
+\end_layout\r
+\r
+\begin_layout LyX-Code\r
+5 REMARK O MEU MAGNIFICO PROGRAMA\r
+\end_layout\r
+\r
+\begin_layout LyX-Code\r
+10 PRINT "SON INIGUALÁBEL!"\r
+\end_layout\r
+\r
+\begin_layout LyX-Code\r
+20 GOTO 10 \r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Após desta inxente lavoura informática, arrebatou-me unha vea poética e\r
+ escrebin este haiku:\r
+\end_layout\r
+\r
+\begin_layout Verse\r
+LyX, veloz palilleira\r
+\begin_inset Newline newline\r
+\end_inset\r
+\r
+teces as miñas palabras\r
+\begin_inset Newline newline\r
+\end_inset\r
+\r
+nunha fermosa renda de letras.\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Cuestións matemáticas\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A miña ecuación favorita é a solución da ecuación de segundo grau.\r
+ Se \r
+\begin_inset Formula $a^{2}+bx+c=0$\r
+\end_inset\r
+\r
+ (ec.\r
+ 1), entón \r
+\begin_inset Formula $x=\frac{-b\pm\sqrt{b^{2}-4ac}}{2a}$\r
+\end_inset\r
+\r
+ (ec.\r
+ 2).\r
+ \r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Outra das miñas ecuacións favoritas é base do cálculo: \r
+\begin_inset Formula $f'(x)\equiv\lim_{\Delta x\rightarrow0}\frac{f(x+\Delta x)-f(x)}{\Delta x}$\r
+\end_inset\r
+\r
+ (ec.\r
+ 3).\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Notes\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Tres cousiñas sobre este ficheiro:\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+Eliminei as liñas a trazos que separaban o título e a bibliografia do resto\r
+ do documento.\r
+ O LyX (LaTeX) xa separa tais partes do documento con os espazos axeitados.\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+Non coloquei as fórmulas en liñas independentes, nen usei a numeración automátic\r
+a que fornece o LyX, porque non se descreben no \r
+\emph on\r
+Tutorial\r
+\emph default\r
+.\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+Non é necesário dixitar a palabra \r
+\begin_inset Quotes eld\r
+\end_inset\r
+\r
+References\r
+\begin_inset Quotes erd\r
+\end_inset\r
+\r
+ que vai a seguir, xa que o LyX a escrebe automaticamente (ou ben a palabra\r
+ \r
+\begin_inset Quotes eld\r
+\end_inset\r
+\r
+Bibliography,\r
+\begin_inset Quotes erd\r
+\end_inset\r
+\r
+ segundo a clase de documento) ao seleccionar o ambiente \r
+\family sans\r
+Bibliografia\r
+\family default\r
+.\r
+\end_layout\r
+\r
+\begin_layout Bibliography\r
+\begin_inset CommandInset bibitem\r
+LatexCommand bibitem\r
+key "Lamport"\r
+\r
+\end_inset\r
+\r
+Lamport, Leslie.\r
+ \r
+\emph on\r
+LaTeX: A Document Preparation System.\r
+\r
+\emph default\r
+ Addison-Wesley, Reading, Massachusetts, second edition, 1994.\r
+\end_layout\r
+\r
+\end_body\r
+\end_document\r
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language hebrew
\inputencoding auto
\font_roman default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language hebrew
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 345
-\begin_document
-\begin_header
-\use_default_options false
-\textclass article
-\begin_preamble
-%\def\magyarOptions{defaults=over-1.4,footnote=huplain}
-\usepackage{indentfirst}
-\frenchspacing
-\end_preamble
-\language magyar
-\inputencoding auto
-\font_roman default
-\font_sans default
-\font_typewriter default
-\font_default_family default
-\font_sc false
-\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
-\graphics dvips
-\paperfontsize 12
-\spacing single
-\use_hyperref false
-\papersize default
-\use_geometry false
-\use_amsmath 1
-\use_esint 0
-\cite_engine basic
-\use_bibtopic false
-\paperorientation portrait
-\secnumdepth 3
-\tocdepth 3
-\paragraph_separation indent
-\defskip medskip
-\quotes_language polish
-\papercolumns 1
-\papersides 1
-\paperpagestyle plain
-\tracking_changes false
-\output_changes false
-\author ""
-\end_header
-
-\begin_body
-
-\begin_layout Title
-Ez a dokumentum címe
-\end_layout
-
-\begin_layout Author
-készítette egy LyX-es
-\end_layout
-
-\begin_layout Date
-1972.
- június 12
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset toc
-LatexCommand tableofcontents
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Section
-Alap filozófia
-\end_layout
-
-\begin_layout Standard
-A LyX alapfilozófiája az, hogy csak arra kell koncentrálnia amit le akarni
- írni, nem arra hogyan fog kinézni.
-\end_layout
-
-\begin_layout Subsection
-Hogyan valósítja meg ezt a LyX
-\end_layout
-
-\begin_layout Standard
-A LyX a LaTeX-et használja, ami egy dokumentum elkészítő rendszer, amit
- 1985-ben készített Leslie Lamport.
- Ezt egy TeX nevű írásszedő rendszerre építette, amit Donald Knuth készített
- 1984-ben.
- A LaTeX-et, a LyX-hez hasonló filozófia miatt készítették.
- Leslie Lamport egyszer azt mondta (lásd a hivatkozásban
-\begin_inset CommandInset citation
-LatexCommand cite
-key "lamport"
-
-\end_inset
-
-):
-\end_layout
-
-\begin_layout Quote
-A tipográfiai tervezés célja az, hogy segítsen az olvasónak megérteni a
- szerző mondanivalóját.
- Ahhoz, hogy egy művet könnyen el lehessen olvasni, a vizuális szerkezetének
- követnie kell a logikai felépítését.
- Az idézetek és számítógépprogramok teljesen különálló logikai elemek, ezért
- meg kell tudni őket egymásól különböztetni\SpecialChar \ldots{}
- Mivel a LyX nem érti az írott
- szöveget, ezért világosan meg kell adnia a logikai struktúrát bizonyos
- parancsok használatával\SpecialChar \ldots{}
- Miközben művét készíti, a logikai felépítésével
- kell törődnie, nem a megjelenésével.
-\end_layout
-
-\begin_layout Subsection
-Miért jobb a LyX
-\end_layout
-
-\begin_layout Standard
-\begin_inset CommandInset label
-LatexCommand label
-name "sec:lyxbetter"
-
-\end_inset
-
-A LyX sokkal több embernek lehet hasznos, mint a LaTeX.
- Meglehetősen könnyebb megtanulni, mivel nem kell megtanulni a LaTeX-et
- (ami gyakorlatilag egy programozási nyelv).
- A LyX alapvetően egy másik
-\begin_inset Quotes pld
-\end_inset
-
-azt kapod amit látsz
-\begin_inset Quotes prd
-\end_inset
-
- szövegszerkesztő, bár inkább
-\begin_inset Quotes pld
-\end_inset
-
-amit lát arra gondol
-\begin_inset Quotes prd
-\end_inset
-
- típusú.
- Ezáltal a word típusú szövegszerkesztők könnyű használatát kombinálja,
- a LaTeX hatékonyságával.
- Ez egy jó dolog.
- A fájl formátuma platform független.
- De legfőképpen, ingyenes!
-\end_layout
-
-\begin_layout Section
-A LyX jellemzői
-\end_layout
-
-\begin_layout Standard
-A LyX rengeteg olyan jellemzővel rendelkezik, amelyek megkönnyítik az írást.
-\begin_inset Foot
-status open
-
-\begin_layout Plain Layout
-\begin_inset space ~
-\end_inset
-
-Ezek után, miért ne akarná használni?
-\end_layout
-
-\end_inset
-
-
-\shape italic
-Nagyon igazgatott
-\shape default
- vagyok, hogy beszélhessek róluk.
- Íme közülük néhány.
-\end_layout
-
-\begin_layout Itemize
-A LyX gondoskodik a margókról és a lábjegyzetek számozásáról
-\end_layout
-
-\begin_layout Itemize
-A LyX-el könnyen készíthet és szerkeszthet képleteket
-\end_layout
-
-\begin_layout Standard
-A filozófiai értekezést, hogy miért jobb a LyX a többi szövegszerkesztőnél,
- megtalálja a
-\begin_inset CommandInset ref
-LatexCommand ref
-reference "sec:lyxbetter"
-
-\end_inset
-
-.
- szakaszban, amit a
-\begin_inset CommandInset ref
-LatexCommand pageref
-reference "sec:lyxbetter"
-
-\end_inset
-
-.
- oldalon talál.
-\end_layout
-
-\begin_layout Section
-Gyenge próbálkozások más LyX-es cuccok használatához
-\end_layout
-
-\begin_layout Standard
-Egy nap írtam egy programot.
- Így nézett ki.
-\end_layout
-
-\begin_layout LyX-Code
-5 REMARK A FELEMETES PROGRAMOM
-\end_layout
-
-\begin_layout LyX-Code
-10 PRINT
-\begin_inset Quotes eld
-\end_inset
-
-FELEMETES VAGYOK!
-\begin_inset Quotes erd
-\end_inset
-
-
-\end_layout
-
-\begin_layout LyX-Code
-20 GOTO 10
-\end_layout
-
-\begin_layout Standard
-A tudományos gondolkodás után, teljesen művészien éreztem magam, és írtam
- egy haiku-t
-\end_layout
-
-\begin_layout Verse
-A LyX egy nagyon szuper
-\begin_inset Newline newline
-\end_inset
-
-Szövegszedő szövegszerkesztő
-\begin_inset Newline newline
-\end_inset
-
-Sok időt takarít meg
-\end_layout
-
-\begin_layout Section
-Képletes dolgok
-\end_layout
-
-\begin_layout Standard
-A kedvenc egyenletem a másodfokú egyenlet megoldóképlete.
- Ha
-\begin_inset Formula $ax^{2}+bx+c=0$
-\end_inset
-
- (1.
- képlet), akkor
-\begin_inset Formula $x=\frac{-b\pm\sqrt{b^{2}-4ac}}{2a}$
-\end_inset
-
- (2.
- képlet).
-\end_layout
-
-\begin_layout Standard
-A másik kedvenc képletem egy elemi kalkulus:
-\begin_inset Formula $f'(x)\equiv\lim_{\Delta x\rightarrow0}\frac{f(x+\Delta x)-f(x)}{\Delta x}$
-\end_inset
-
- (3.
- képlet).
-\end_layout
-
-\begin_layout Section
-Megjegyzések
-\end_layout
-
-\begin_layout Standard
-Pár megjegyzés a fájl lyx-esítéséről:
-\end_layout
-
-\begin_layout Itemize
-Ki tudtam szedni a kötőjeles sorokat.
- Amelyek egyszerűen elválasztották a címet és a hivatkozást a dokumentum
- többi részétől.
- A LyX (LaTeX) elég sokat tud arról, hogyan kell ezt az elkülönítést elvégezni.
-\end_layout
-
-\begin_layout Itemize
-Nem zavartam be a képlet megjelenítési módjával.
- Valamint nem használtam az automatikus képlet számozást sem, mivel az nincs
- leírva a
-\emph on
-Tankönyvben
-\emph default
-.
-\end_layout
-
-\begin_layout Itemize
-Nem kellett begépelnem a
-\begin_inset Quotes pld
-\end_inset
-
-Hivatkozások
-\begin_inset Quotes prd
-\end_inset
-
- szót lentebb.
- A LyX magától odaírta nekem (vagy az
-\begin_inset Quotes pld
-\end_inset
-
-Irodalomjegyzék
-\begin_inset Quotes prd
-\end_inset
-
- szót, függően a szövegosztálytól)
-\end_layout
-
-\begin_layout Bibliography
-\begin_inset CommandInset bibitem
-LatexCommand bibitem
-key "lamport"
-
-\end_inset
-
-Lamport, Leslie.
-
-\emph on
-LaTeX: A Document Preparation System.
-
-\emph default
- Addison-Wesley, Reading, Massachusetts, második kiadás, 1994.
-\end_layout
-
-\end_body
-\end_document
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/\r
+\lyxformat 345\r
+\begin_document\r
+\begin_header\r
+\textclass article\r
+\begin_preamble\r
+%\def\magyarOptions{defaults=over-1.4,footnote=huplain}\r
+\usepackage{indentfirst}\r
+\frenchspacing\r
+\end_preamble\r
+\use_default_options false\r
+\language magyar\r
+\inputencoding auto\r
+\font_roman default\r
+\font_sans default\r
+\font_typewriter default\r
+\font_default_family default\r
+\font_sc false\r
+\font_osf false\r
+\font_sf_scale 100\r
+\font_tt_scale 100\r
+\r
+\graphics default\r
+\paperfontsize 12\r
+\spacing single\r
+\use_hyperref false\r
+\papersize default\r
+\use_geometry false\r
+\use_amsmath 1\r
+\use_esint 0\r
+\cite_engine basic\r
+\use_bibtopic false\r
+\paperorientation portrait\r
+\secnumdepth 3\r
+\tocdepth 3\r
+\paragraph_separation indent\r
+\defskip medskip\r
+\quotes_language polish\r
+\papercolumns 1\r
+\papersides 1\r
+\paperpagestyle plain\r
+\tracking_changes false\r
+\output_changes false\r
+\author "" \r
+\author "" \r
+\end_header\r
+\r
+\begin_body\r
+\r
+\begin_layout Title\r
+Ez a dokumentum címe\r
+\end_layout\r
+\r
+\begin_layout Author\r
+készítette egy LyX-es\r
+\end_layout\r
+\r
+\begin_layout Date\r
+1972.\r
+ június 12\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+\begin_inset CommandInset toc\r
+LatexCommand tableofcontents\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Alap filozófia\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX alapfilozófiája az, hogy csak arra kell koncentrálnia amit le akarni\r
+ írni, nem arra hogyan fog kinézni.\r
+\end_layout\r
+\r
+\begin_layout Subsection\r
+Hogyan valósítja meg ezt a LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX a LaTeX-et használja, ami egy dokumentum elkészítő rendszer, amit\r
+ 1985-ben készített Leslie Lamport.\r
+ Ezt egy TeX nevű írásszedő rendszerre építette, amit Donald Knuth készített\r
+ 1984-ben.\r
+ A LaTeX-et, a LyX-hez hasonló filozófia miatt készítették.\r
+ Leslie Lamport egyszer azt mondta (lásd a hivatkozásban\r
+\begin_inset CommandInset citation\r
+LatexCommand cite\r
+key "lamport"\r
+\r
+\end_inset\r
+\r
+):\r
+\end_layout\r
+\r
+\begin_layout Quote\r
+A tipográfiai tervezés célja az, hogy segítsen az olvasónak megérteni a\r
+ szerző mondanivalóját.\r
+ Ahhoz, hogy egy művet könnyen el lehessen olvasni, a vizuális szerkezetének\r
+ követnie kell a logikai felépítését.\r
+ Az idézetek és számítógépprogramok teljesen különálló logikai elemek, ezért\r
+ meg kell tudni őket egymásól különböztetni\SpecialChar \ldots{}\r
+ Mivel a LyX nem érti az írott\r
+ szöveget, ezért világosan meg kell adnia a logikai struktúrát bizonyos\r
+ parancsok használatával\SpecialChar \ldots{}\r
+ Miközben művét készíti, a logikai felépítésével\r
+ kell törődnie, nem a megjelenésével.\r
+\end_layout\r
+\r
+\begin_layout Subsection\r
+Miért jobb a LyX \r
+\end_layout\r
+\r
+\begin_layout Standard\r
+\begin_inset CommandInset label\r
+LatexCommand label\r
+name "sec:lyxbetter"\r
+\r
+\end_inset\r
+\r
+A LyX sokkal több embernek lehet hasznos, mint a LaTeX.\r
+ Meglehetősen könnyebb megtanulni, mivel nem kell megtanulni a LaTeX-et\r
+ (ami gyakorlatilag egy programozási nyelv).\r
+ A LyX alapvetően egy másik \r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+azt kapod amit látsz\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+ szövegszerkesztő, bár inkább \r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+amit lát arra gondol\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+ típusú.\r
+ Ezáltal a word típusú szövegszerkesztők könnyű használatát kombinálja,\r
+ a LaTeX hatékonyságával.\r
+ Ez egy jó dolog.\r
+ A fájl formátuma platform független.\r
+ De legfőképpen, ingyenes!\r
+\end_layout\r
+\r
+\begin_layout Section\r
+A LyX jellemzői\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX rengeteg olyan jellemzővel rendelkezik, amelyek megkönnyítik az írást.\r
+\begin_inset Foot\r
+status open\r
+\r
+\begin_layout Plain Layout\r
+\begin_inset space ~\r
+\end_inset\r
+\r
+Ezek után, miért ne akarná használni?\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+ \r
+\shape italic\r
+Nagyon igazgatott\r
+\shape default\r
+ vagyok, hogy beszélhessek róluk.\r
+ Íme közülük néhány.\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+A LyX gondoskodik a margókról és a lábjegyzetek számozásáról\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+A LyX-el könnyen készíthet és szerkeszthet képleteket\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A filozófiai értekezést, hogy miért jobb a LyX a többi szövegszerkesztőnél,\r
+ megtalálja a \r
+\begin_inset CommandInset ref\r
+LatexCommand ref\r
+reference "sec:lyxbetter"\r
+\r
+\end_inset\r
+\r
+.\r
+ szakaszban, amit a \r
+\begin_inset CommandInset ref\r
+LatexCommand pageref\r
+reference "sec:lyxbetter"\r
+\r
+\end_inset\r
+\r
+.\r
+ oldalon talál.\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Gyenge próbálkozások más LyX-es cuccok használatához\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Egy nap írtam egy programot.\r
+ Így nézett ki.\r
+\end_layout\r
+\r
+\begin_layout LyX-Code\r
+5 REMARK A FELEMETES PROGRAMOM\r
+\end_layout\r
+\r
+\begin_layout LyX-Code\r
+10 PRINT \r
+\begin_inset Quotes eld\r
+\end_inset\r
+\r
+FELEMETES VAGYOK!\r
+\begin_inset Quotes erd\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout LyX-Code\r
+20 GOTO 10\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A tudományos gondolkodás után, teljesen művészien éreztem magam, és írtam\r
+ egy haiku-t\r
+\end_layout\r
+\r
+\begin_layout Verse\r
+A LyX egy nagyon szuper\r
+\begin_inset Newline newline\r
+\end_inset\r
+\r
+Szövegszedő szövegszerkesztő\r
+\begin_inset Newline newline\r
+\end_inset\r
+\r
+Sok időt takarít meg\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Képletes dolgok\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A kedvenc egyenletem a másodfokú egyenlet megoldóképlete.\r
+ Ha \r
+\begin_inset Formula $ax^{2}+bx+c=0$\r
+\end_inset\r
+\r
+ (1.\r
+ képlet), akkor \r
+\begin_inset Formula $x=\frac{-b\pm\sqrt{b^{2}-4ac}}{2a}$\r
+\end_inset\r
+\r
+ (2.\r
+ képlet).\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A másik kedvenc képletem egy elemi kalkulus: \r
+\begin_inset Formula $f'(x)\equiv\lim_{\Delta x\rightarrow0}\frac{f(x+\Delta x)-f(x)}{\Delta x}$\r
+\end_inset\r
+\r
+ (3.\r
+ képlet).\r
+\end_layout\r
+\r
+\begin_layout Section\r
+Megjegyzések\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Pár megjegyzés a fájl lyx-esítéséről:\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+Ki tudtam szedni a kötőjeles sorokat.\r
+ Amelyek egyszerűen elválasztották a címet és a hivatkozást a dokumentum\r
+ többi részétől.\r
+ A LyX (LaTeX) elég sokat tud arról, hogyan kell ezt az elkülönítést elvégezni.\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+Nem zavartam be a képlet megjelenítési módjával.\r
+ Valamint nem használtam az automatikus képlet számozást sem, mivel az nincs\r
+ leírva a \r
+\emph on\r
+Tankönyvben\r
+\emph default\r
+.\r
+\end_layout\r
+\r
+\begin_layout Itemize\r
+Nem kellett begépelnem a \r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+Hivatkozások\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+ szót lentebb.\r
+ A LyX magától odaírta nekem (vagy az \r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+Irodalomjegyzék\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+ szót, függően a szövegosztálytól)\r
+\end_layout\r
+\r
+\begin_layout Bibliography\r
+\begin_inset CommandInset bibitem\r
+LatexCommand bibitem\r
+key "lamport"\r
+\r
+\end_inset\r
+\r
+Lamport, Leslie.\r
+ \r
+\emph on\r
+LaTeX: A Document Preparation System.\r
+\r
+\emph default\r
+ Addison-Wesley, Reading, Massachusetts, második kiadás, 1994.\r
+\end_layout\r
+\r
+\end_body\r
+\end_document\r
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
-\lyxformat 345
-\begin_document
-\begin_header
-\use_default_options false
-\textclass article
-\begin_preamble
-%\def\magyarOptions{defaults=over-1.4,footnote=huplain}
-\usepackage{indentfirst}
-\frenchspacing
-\end_preamble
-\language magyar
-\inputencoding auto
-\font_roman default
-\font_sans default
-\font_typewriter default
-\font_default_family default
-\font_sc false
-\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
-\graphics dvips
-\paperfontsize 12
-\spacing single
-\use_hyperref false
-\papersize default
-\use_geometry false
-\use_amsmath 1
-\use_esint 0
-\cite_engine basic
-\use_bibtopic false
-\paperorientation portrait
-\secnumdepth 3
-\tocdepth 3
-\paragraph_separation indent
-\defskip medskip
-\quotes_language polish
-\papercolumns 1
-\papersides 1
-\paperpagestyle plain
-\tracking_changes false
-\output_changes false
-\author ""
-\end_header
-
-\begin_body
-
-\begin_layout Standard
-EZ A DOKUMENTUM CÍME
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Tanács: a címnek jobban CÍMNEK kell látszania
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-készítette egy LyX-es
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Tanács: ide kerül a SZERZŐ
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-1972.
- június 12
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Tanács: ez lesz a DÁTUM
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-Tartalomjegyzék
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: jó lenne nem kellene külön begépelni a tartalomjegyzéket
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-1.
- Alap filozófia..................1
-\end_layout
-
-\begin_layout Standard
-1.1 Hogyan valósítja meg ezt a LyX...............1
-\end_layout
-
-\begin_layout Standard
-1.2 Miért jobb a LyX ...............1
-\end_layout
-
-\begin_layout Standard
-2.
- A LyX jellemzői
-\end_layout
-
-\begin_layout Standard
-3.
- Gyenge próbálkozások más LyX-es cuccok használatához
-\end_layout
-
-\begin_layout Standard
-4.
- Képletes dolgok
-\end_layout
-
-\begin_layout Standard
----------------------------------------------------
-\end_layout
-
-\begin_layout Standard
-1.
- Alap filozófia
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: a szakaszcímnek jobban ki kellene tűnnie
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-A LyX alapfilozófiája az, hogy csak arra kell koncentrálnia amit le akarni
- írni, nem arra hogyan fog kinézni.
-\end_layout
-
-\begin_layout Standard
-1.1 Hogyan valósítja meg ezt a LyX
-\end_layout
-
-\begin_layout Standard
-A LyX a LaTeX-et használja, ami egy dokumentum elkészítő rendszer, amit
- 1985-ben készített Leslie Lamport.
- Ezt egy TeX nevű írásszedő rendszerre építette, amit Donald Knuth készített
- 1984-ben.
- A LaTeX-et, a LyX-hez hasonló filozófia miatt készítették.
- Leslie Lamport egyszer azt mondta (lásd a [2] hivatkozásban):
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: valószínűleg ennek az IDÉZET HIVATKOZÁSNAK nem kellene be betonozva
- lennie.
- Mi lenne, ha Lamport könyve a második elem lenne az irodalomjegyzéknek?
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-\begin_inset Quotes pld
-\end_inset
-
-A tipográfiai tervezés célja az, hogy segítsen az olvasónak megérteni a
- szerző mondanivalóját.
- Ahhoz, hogy egy művet könnyen el lehessen olvasni, a vizuális szerkezetének
- követnie kell a logikai felépítését.
- Az idézetek és számítógépprogramok teljesen különálló logikai elemek, ezért
- meg kell tudni őket egymásól különböztetni...
- Mivel a LyX nem érti az írott szöveget, ezért világosan meg kell adnia
- a logikai struktúrát bizonyos parancsok használatával\SpecialChar \ldots{}
- Miközben művét készíti,
- a logikai felépítésével kell törődnie, nem a megjelenésével.
-\begin_inset Quotes prd
-\end_inset
-
-
-\begin_inset Note Note
-status collapsed
-
-\begin_layout Plain Layout
-Tanács: ez egy IDÉZET
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-1.2 Miért jobb a LyX
-\end_layout
-
-\begin_layout Standard
-A LyX sokkal több embernek lehet hasznos, mint a LaTeX.
- Meglehetősen könnyebb megtanulni, mivel nem kell megtanulni a LaTeX-et
- (ami gyakorlatilag egy programozási nyelv).
- A LyX alapvetően egy másik
-\begin_inset Quotes pld
-\end_inset
-
-azt kapod amit látsz
-\begin_inset Quotes prd
-\end_inset
-
- szövegszerkesztő, bár inkább
-\begin_inset Quotes pld
-\end_inset
-
-amit lát arra gondol
-\begin_inset Quotes prd
-\end_inset
-
- típusú.
- Ezáltal a word típusú szövegszerkesztők könnyű használatát kombinálja,
- a LaTeX hatékonyságával.
- Ez egy jó dolog.
- A fájl formátuma platform független.
- De legfőképpen, ingyenes!
-\end_layout
-
-\begin_layout Standard
-2.
- A LyX jellemzői
-\end_layout
-
-\begin_layout Standard
-A LyX rengeteg olyan jellemzővel rendelkezik, amelyek megkönnyítik az írást.
- (Ezek után, miért ne akarná használni?
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: a zárójelben lévő sokkal jobban mutatna a LÁBJEGYZETben
-\end_layout
-
-\end_inset
-
-).
-
-\shape italic
-\emph on
-NAGYON IZGATOTT
-\shape default
-\emph default
-
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: KIEMELÉS!
-\end_layout
-
-\end_inset
-
- vagyok, hogy beszélhessek róluk.
- Íme közülük néhány.
-\end_layout
-
-\begin_layout Standard
-*A LyX gondoskodik a margókról és a lábjegyzetek számozásáról
-\end_layout
-
-\begin_layout Standard
-*A LyX-el könnyen készíthet és szerkeszthet képleteket
-\end_layout
-
-\begin_layout Standard
-A filozófiai értekezést, hogy miért jobb a LyX a többi szövegszerkesztőnél,
- megtalálja a 1.2 szakaszban, amit az 1.
- oldalon talál.
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: ennek a KERESZT-HIVATKOZÁSNAK nem kellene fixnek lennie.
- Mi történik, ha megváltoztatjuk a szakaszszámozást?
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-3.
- Gyenge próbálkozások más LyX-es cuccok használatához
-\end_layout
-
-\begin_layout Standard
-Egy nap írtam egy programot.
- Így nézett ki.
-\end_layout
-
-\begin_layout Standard
-5 REMARK A FELEMETES PROGRAMOM
-\end_layout
-
-\begin_layout Standard
-10 PRINT
-\begin_inset Quotes eld
-\end_inset
-
-FELEMETES VAGYOK!
-\begin_inset Quotes erd
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-20 GOTO 10
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: ez egy PROGRAM-KÓD
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-A tudományos gondolkodás után, teljesen művészien éreztem magam, és írtam
- egy haiku-t
-\end_layout
-
-\begin_layout Standard
-A LyX egy nagyon szuper
-\begin_inset Newline newline
-\end_inset
-
-Szövegszedő szövegszerkesztő
-\begin_inset Newline newline
-\end_inset
-
-Sok időt takarít meg
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: ez így nem túl jó mivel egy költemény, azaz egy VERS
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-4.
- Képletes dolgok
-\begin_inset Note Note
-status open
-
-\begin_layout Plain Layout
-Tanács: ezek a képletek normális módon kellene hogy megjelenjenek.
-\end_layout
-
-\end_inset
-
-
-\end_layout
-
-\begin_layout Standard
-A kedvenc egyenletem a másodfokú egyenlet megoldóképlete.
- Ha ax^2+bx+c=0 (1.
- képlet), akkor x= -b plusz vagy mínusz a b^2-4ac négyzetgyöke, majd mindez
- osztva 2a-val (2.
- képlet).
-\end_layout
-
-\begin_layout Standard
-A másik kedvenc képletem egy elemi kalkulus: f'(x) határérték, amikor [f(x+delta
-x)- f(x)]-ben deltax tart a nullához és az egész osztva deltax-el (3.
- képlet).
-\end_layout
-
-\begin_layout Standard
-------------------------------------------------
-\end_layout
-
-\begin_layout Standard
-HIVATKOZÁSOK
-\end_layout
-
-\begin_layout Standard
-[1] Lamport, Leslie.
-
-\emph on
-LaTeX: A Document Preparation System.
-
-\emph default
- Addison-Wesley, Reading, Massachusetts, második kiadás, 1994.
-\end_layout
-
-\end_body
-\end_document
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/\r
+\lyxformat 345\r
+\begin_document\r
+\begin_header\r
+\textclass article\r
+\begin_preamble\r
+%\def\magyarOptions{defaults=over-1.4,footnote=huplain}\r
+\usepackage{indentfirst}\r
+\frenchspacing\r
+\end_preamble\r
+\use_default_options false\r
+\language magyar\r
+\inputencoding auto\r
+\font_roman default\r
+\font_sans default\r
+\font_typewriter default\r
+\font_default_family default\r
+\font_sc false\r
+\font_osf false\r
+\font_sf_scale 100\r
+\font_tt_scale 100\r
+\r
+\graphics default\r
+\paperfontsize 12\r
+\spacing single\r
+\use_hyperref false\r
+\papersize default\r
+\use_geometry false\r
+\use_amsmath 1\r
+\use_esint 0\r
+\cite_engine basic\r
+\use_bibtopic false\r
+\paperorientation portrait\r
+\secnumdepth 3\r
+\tocdepth 3\r
+\paragraph_separation indent\r
+\defskip medskip\r
+\quotes_language polish\r
+\papercolumns 1\r
+\papersides 1\r
+\paperpagestyle plain\r
+\tracking_changes false\r
+\output_changes false\r
+\author "" \r
+\author "" \r
+\end_header\r
+\r
+\begin_body\r
+\r
+\begin_layout Standard\r
+EZ A DOKUMENTUM CÍME\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: a címnek jobban CÍMNEK kell látszania\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+készítette egy LyX-es\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ide kerül a SZERZŐ \r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1972.\r
+ június 12\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ez lesz a DÁTUM\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Tartalomjegyzék\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: jó lenne nem kellene külön begépelni a tartalomjegyzéket\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.\r
+ Alap filozófia..................1\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.1 Hogyan valósítja meg ezt a LyX...............1\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.2 Miért jobb a LyX ...............1\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+2.\r
+ A LyX jellemzői\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+3.\r
+ Gyenge próbálkozások más LyX-es cuccok használatához\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+4.\r
+ Képletes dolgok\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+---------------------------------------------------\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.\r
+ Alap filozófia\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: a szakaszcímnek jobban ki kellene tűnnie\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX alapfilozófiája az, hogy csak arra kell koncentrálnia amit le akarni\r
+ írni, nem arra hogyan fog kinézni.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.1 Hogyan valósítja meg ezt a LyX\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX a LaTeX-et használja, ami egy dokumentum elkészítő rendszer, amit\r
+ 1985-ben készített Leslie Lamport.\r
+ Ezt egy TeX nevű írásszedő rendszerre építette, amit Donald Knuth készített\r
+ 1984-ben.\r
+ A LaTeX-et, a LyX-hez hasonló filozófia miatt készítették.\r
+ Leslie Lamport egyszer azt mondta (lásd a [2] hivatkozásban):\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: valószínűleg ennek az IDÉZET HIVATKOZÁSNAK nem kellene be betonozva\r
+ lennie.\r
+ Mi lenne, ha Lamport könyve a második elem lenne az irodalomjegyzéknek?\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+A tipográfiai tervezés célja az, hogy segítsen az olvasónak megérteni a\r
+ szerző mondanivalóját.\r
+ Ahhoz, hogy egy művet könnyen el lehessen olvasni, a vizuális szerkezetének\r
+ követnie kell a logikai felépítését.\r
+ Az idézetek és számítógépprogramok teljesen különálló logikai elemek, ezért\r
+ meg kell tudni őket egymásól különböztetni...\r
+ Mivel a LyX nem érti az írott szöveget, ezért világosan meg kell adnia\r
+ a logikai struktúrát bizonyos parancsok használatával\SpecialChar \ldots{}\r
+ Miközben művét készíti,\r
+ a logikai felépítésével kell törődnie, nem a megjelenésével.\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ez egy IDÉZET\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+1.2 Miért jobb a LyX \r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX sokkal több embernek lehet hasznos, mint a LaTeX.\r
+ Meglehetősen könnyebb megtanulni, mivel nem kell megtanulni a LaTeX-et\r
+ (ami gyakorlatilag egy programozási nyelv).\r
+ A LyX alapvetően egy másik \r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+azt kapod amit látsz\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+ szövegszerkesztő, bár inkább \r
+\begin_inset Quotes pld\r
+\end_inset\r
+\r
+amit lát arra gondol\r
+\begin_inset Quotes prd\r
+\end_inset\r
+\r
+ típusú.\r
+ Ezáltal a word típusú szövegszerkesztők könnyű használatát kombinálja,\r
+ a LaTeX hatékonyságával.\r
+ Ez egy jó dolog.\r
+ A fájl formátuma platform független.\r
+ De legfőképpen, ingyenes!\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+2.\r
+ A LyX jellemzői\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX rengeteg olyan jellemzővel rendelkezik, amelyek megkönnyítik az írást.\r
+ (Ezek után, miért ne akarná használni? \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: a zárójelben lévő sokkal jobban mutatna a LÁBJEGYZETben \r
+\end_layout\r
+\r
+\end_inset\r
+\r
+).\r
+ \r
+\shape italic\r
+\emph on\r
+NAGYON IZGATOTT\r
+\shape default\r
+\emph default\r
+ \r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: KIEMELÉS!\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+ vagyok, hogy beszélhessek róluk.\r
+ Íme közülük néhány.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+*A LyX gondoskodik a margókról és a lábjegyzetek számozásáról\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+*A LyX-el könnyen készíthet és szerkeszthet képleteket\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A filozófiai értekezést, hogy miért jobb a LyX a többi szövegszerkesztőnél,\r
+ megtalálja a 1.2 szakaszban, amit az 1.\r
+ oldalon talál.\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ennek a KERESZT-HIVATKOZÁSNAK nem kellene fixnek lennie.\r
+ Mi történik, ha megváltoztatjuk a szakaszszámozást?\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+3.\r
+ Gyenge próbálkozások más LyX-es cuccok használatához\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+Egy nap írtam egy programot.\r
+ Így nézett ki.\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+5 REMARK A FELEMETES PROGRAMOM\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+10 PRINT \r
+\begin_inset Quotes eld\r
+\end_inset\r
+\r
+FELEMETES VAGYOK!\r
+\begin_inset Quotes erd\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+20 GOTO 10\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ez egy PROGRAM-KÓD\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A tudományos gondolkodás után, teljesen művészien éreztem magam, és írtam\r
+ egy haiku-t\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A LyX egy nagyon szuper\r
+\begin_inset Newline newline\r
+\end_inset\r
+\r
+Szövegszedő szövegszerkesztő\r
+\begin_inset Newline newline\r
+\end_inset\r
+\r
+Sok időt takarít meg\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ez így nem túl jó mivel egy költemény, azaz egy VERS\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+4.\r
+ Képletes dolgok\r
+\begin_inset Note Note\r
+status collapsed\r
+\r
+\begin_layout Plain Layout\r
+Tanács: ezek a képletek normális módon kellene hogy megjelenjenek.\r
+\end_layout\r
+\r
+\end_inset\r
+\r
+\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A kedvenc egyenletem a másodfokú egyenlet megoldóképlete.\r
+ Ha ax^2+bx+c=0 (1.\r
+ képlet), akkor x= -b plusz vagy mínusz a b^2-4ac négyzetgyöke, majd mindez\r
+ osztva 2a-val (2.\r
+ képlet).\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+A másik kedvenc képletem egy elemi kalkulus: f'(x) határérték, amikor [f(x+delta\r
+x)- f(x)]-ben deltax tart a nullához és az egész osztva deltax-el (3.\r
+ képlet).\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+------------------------------------------------\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+HIVATKOZÁSOK\r
+\end_layout\r
+\r
+\begin_layout Standard\r
+[1] Lamport, Leslie.\r
+ \r
+\emph on\r
+LaTeX: A Document Preparation System.\r
+\r
+\emph default\r
+ Addison-Wesley, Reading, Massachusetts, második kiadás, 1994.\r
+\end_layout\r
+\r
+\end_body\r
+\end_document\r
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
+
\end_preamble
+\use_default_options false
\language italian
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize 10
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
+\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
\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
\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
\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
\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
\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
\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
+\begin_inset Formula $\heartsuit$
+\end_inset
\end_layout
\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
-
-
-\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
-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
\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
\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
\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
-
+\begin_inset Formula $\boxtimes$
\end_inset
\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
\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
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
-\begin_preamble
-\usepackage{latexsym,pifont,amssymb}
-\end_preamble
+\use_default_options false
\language dutch
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
+
\graphics default
\paperfontsize 10
\spacing single
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 0
-\use_esint 0
+\use_amsmath 1
+\use_esint 1
\cite_engine basic
\use_bibtopic false
\paperorientation portrait
\bullet 3 0 8 -1
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
\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
+\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
\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
-
+\begin_inset Formula $\boxtimes$
\end_inset
\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
\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
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language dutch
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language dutch
-\inputencoding default
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize 12
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language slovene
-\inputencoding latin2
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize default
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body
-#LyX 1.6.0 created this file. For more info see http://www.lyx.org/
+#LyX 1.6.5svn created this file. For more info see http://www.lyx.org/
\lyxformat 345
\begin_document
\begin_header
-\use_default_options false
\textclass article
+\use_default_options false
\language slovene
-\inputencoding latin2
+\inputencoding auto
\font_roman default
\font_sans default
\font_typewriter default
\font_osf false
\font_sf_scale 100
\font_tt_scale 100
-\graphics dvips
+
+\graphics default
\paperfontsize default
\spacing single
\use_hyperref false
\paperpagestyle plain
\tracking_changes false
\output_changes false
-\author ""
+\author ""
+\author ""
\end_header
\begin_body