Tidy up the file mathed.lyx. Still doesn't run without bolting the lyxcode

author Angus Leeming <leeming@lyx.org>

Tue, 15 Jan 2002 16:28:12 +0000 (16:28 +0000)

committer Angus Leeming <leeming@lyx.org>

Tue, 15 Jan 2002 16:28:12 +0000 (16:28 +0000)
author Angus Leeming <leeming@lyx.org>
Tue, 15 Jan 2002 16:28:12 +0000 (16:28 +0000)
committer Angus Leeming <leeming@lyx.org>
Tue, 15 Jan 2002 16:28:12 +0000 (16:28 +0000)
diff --git a/lib/ChangeLog b/lib/ChangeLog

index f4ea66a6b6f6269a448a4e0e393dc4b04d2d0402..8ad8cc60fd626b6b67a83d745147abfbd65aaf27 100644 (file)
--- a/lib/ChangeLog
+++ b/lib/ChangeLog
@@ -1,3 +1,10 @@
+2002-01-15  Angus Leeming  <a.leeming@ic.ac.uk>
+
+       * examples/mathed.lyx: a bit of a clean-up. Corrected the contents
+       of fonts-xlfd in the light of Dekel's suggestions.
+       This file still doesn't run LaTeX successfully without bolting the
+       lyxcode definition into the preamble but is otherwise Ok.
+
  2002-01-14  Panayotis "PAP" Papasotiriou  <papasot@physics.upatras.gr>
  
         * layouts/kluwer.layout: remove caption layout
diff --git a/lib/examples/mathed.lyx b/lib/examples/mathed.lyx

index 2dfdd81e9996f8a48a1434135eae046ea74f078d..aec6b9c16f5c28bcd0395437c7ed2f16565f84df 100644 (file)
--- a/lib/examples/mathed.lyx
+++ b/lib/examples/mathed.lyx
@@ -43,10 +43,10 @@ m
  \align center 
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="5" columns="1">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="5" columns="1">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="true" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -62,7 +62,7 @@ end{math}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="true" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -78,7 +78,7 @@ frac{abc}{xyz}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="true" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -90,7 +90,7 @@ frac{abc}{xyz} $
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="true" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -106,7 +106,7 @@ end{displaymath}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="true" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -277,10 +277,11 @@ fonts-xlfd
   contains
  \layout LyX-Code
  
-cmmi10.pfb -bluesky-cmr-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific
+cmr10.pfb -bluesky-cmr-medium-r-normal--0-0-0-0-m-0-adobe-fontspecific
  \layout LyX-Code
  
-cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
+cmmi10.pfb -bluesky-cmmi-medium-i-normal--0-0-0-0-m-0-adobe-fontspecific
+  cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
  \layout LyX-Code
  
  cmex10.pfb -bluesky-cmex-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
@@ -330,17 +331,19 @@ plcrv.pfa -adobe-lcrv-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
  
  Thereafter, you must tell X where to find this directory and the fonts therein.
   Type
-\newline 
+\layout LyX-Code
  
-\family typewriter 
  xset +fp LYX_XFONTS; xset fp rehash
-\newline 
+\layout Standard
  
-\family default 
  at the console, start LyX, load up this document and enjoy!
  \layout Section
  
-Math tables from Goossen et al.'s 
+Some example math tables
+\layout Standard
+
+If you've followed the instructions above successfully, then the following
+ tables from Goossen et al.'s 
  \begin_inset Quotes eld
  \end_inset 
  
@@ -348,6 +351,32 @@ The LaTeX companion
  \begin_inset Quotes erd
  \end_inset 
  
+ should appear on the screen in all their glory.
+ Otherwise you'll have a 
+\emph on 
+lot
+\emph default 
+ of red text!
+\layout Standard
+
+
+\begin_inset ERT
+status Open
+
+\layout Standard
+
+\backslash 
+setcounter{table}{1}
+\layout Standard
+
+\backslash 
+renewcommand{
+\backslash 
+thetable}{8.
+\backslash 
+arabic{table}}
+\end_inset 
+
  
  \layout Standard
  
@@ -355,17 +384,14 @@ The LaTeX companion
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-Math mode accents
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="2" columns="10">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="2" columns="10">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -376,7 +402,7 @@ Math mode accents
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -508,7 +534,7 @@ breve{a}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -645,6 +671,9 @@ tilde{a}
  \end_inset 
  
  
+\layout Caption
+
+Math mode accents
  \end_inset 
  
  
@@ -654,17 +683,14 @@ tilde{a}
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-Greek letters
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="11" columns="8">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="11" columns="8">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -673,7 +699,7 @@ Greek letters
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -771,7 +797,7 @@ delta
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -869,7 +895,7 @@ eta
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -967,7 +993,7 @@ kappa
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1065,7 +1091,7 @@ xi
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1159,7 +1185,7 @@ rho
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1257,7 +1283,7 @@ tau
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1355,7 +1381,7 @@ chi
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1433,7 +1459,7 @@ omega
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1531,7 +1557,7 @@ Lambda
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1629,7 +1655,7 @@ Upsilon
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1722,6 +1748,9 @@ Omega
  \end_inset 
  
  
+\layout Caption
+
+Greek letters
  \end_inset 
  
  
@@ -1731,17 +1760,14 @@ Omega
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-Binary operation symbols
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="9" columns="8">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="9" columns="8">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -1750,7 +1776,7 @@ Binary operation symbols
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1848,7 +1874,7 @@ oplus
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -1946,7 +1972,7 @@ ominus
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2044,7 +2070,7 @@ otimes
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2142,7 +2168,7 @@ oslash
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2240,7 +2266,7 @@ odot
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2338,7 +2364,7 @@ bigcirc
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2436,7 +2462,7 @@ dagger
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2534,7 +2560,7 @@ ddagger
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2637,6 +2663,9 @@ amalg
  \end_inset 
  
  
+\layout Caption
+
+Binary operation symbols
  \end_inset 
  
  
@@ -2646,17 +2675,14 @@ amalg
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-Relation symbols
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="8" columns="10">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="8" columns="10">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -2667,7 +2693,7 @@ Relation symbols
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2791,7 +2817,7 @@ prec
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -2913,7 +2939,7 @@ succeq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3035,7 +3061,7 @@ asymp
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3157,7 +3183,7 @@ bowtie
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3279,7 +3305,7 @@ sqsubset
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3401,7 +3427,7 @@ sqsupseteq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3523,7 +3549,7 @@ propto
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3644,6 +3670,9 @@ dashv
  \end_inset 
  
  
+\layout Caption
+
+Relation symbols
  \end_inset 
  
  
@@ -3653,24 +3682,21 @@ dashv
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-Arrow symbols
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="10" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="10" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3744,7 +3770,7 @@ uparrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3818,7 +3844,7 @@ Uparrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3892,7 +3918,7 @@ downarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -3966,7 +3992,7 @@ Downarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4040,7 +4066,7 @@ updownarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4114,7 +4140,7 @@ Updownarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4188,7 +4214,7 @@ nearrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4262,7 +4288,7 @@ searrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4336,7 +4362,7 @@ swarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4415,6 +4441,9 @@ nwarrow
  \end_inset 
  
  
+\layout Caption
+
+Arrow symbols
  \end_inset 
  
  
@@ -4424,17 +4453,14 @@ nwarrow
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-Miscellaneous symbols
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="7" columns="10">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="7" columns="10">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -4445,7 +4471,7 @@ Miscellaneous symbols
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4567,7 +4593,7 @@ aleph
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4689,7 +4715,7 @@ emptyset
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4811,7 +4837,7 @@ triangle
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -4933,7 +4959,7 @@ neg
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5055,7 +5081,7 @@ wp
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5177,7 +5203,7 @@ spadesuit
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5304,6 +5330,9 @@ partial
  \end_inset 
  
  
+\layout Caption
+
+Miscellaneous symbols
  \end_inset 
  
  
@@ -5313,17 +5342,14 @@ partial
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-Variable-sized symbols
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="3" columns="10">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="3" columns="10">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -5334,7 +5360,7 @@ Variable-sized symbols
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5456,7 +5482,7 @@ oint
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5578,7 +5604,7 @@ bigwedge
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5695,6 +5721,9 @@ biguplus
  \end_inset 
  
  
+\layout Caption
+
+Variable-sized symbols
  \end_inset 
  
  
@@ -5704,17 +5733,14 @@ biguplus
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-Log-like symbols
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="4" columns="8">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="4" columns="8">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -5723,7 +5749,7 @@ Log-like symbols
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5821,7 +5847,7 @@ Log-like symbols
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -5919,7 +5945,7 @@ Log-like symbols
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6017,7 +6043,7 @@ Log-like symbols
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6120,6 +6146,9 @@ Log-like symbols
  \end_inset 
  
  
+\layout Caption
+
+Log-like symbols
  \end_inset 
  
  
@@ -6129,17 +6158,14 @@ Log-like symbols
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-Delimiters
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="5" columns="8">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="5" columns="8">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -6148,7 +6174,7 @@ Delimiters
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6246,7 +6272,7 @@ Downarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6344,7 +6370,7 @@ Updownarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6442,7 +6468,7 @@ rceil
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6538,7 +6564,7 @@ backslash
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6619,6 +6645,9 @@ backslash
  \end_inset 
  
  
+\layout Caption
+
+Delimiters
  \end_inset 
  
  
@@ -6628,17 +6657,14 @@ backslash
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-Large delimiters
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="2" columns="8">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="2" columns="8">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -6647,7 +6673,7 @@ Large delimiters
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6745,7 +6771,7 @@ lgroup
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6838,6 +6864,9 @@ bracevert
  \end_inset 
  
  
+\layout Caption
+
+Large delimiters
  \end_inset 
  
  
@@ -6847,22 +6876,19 @@ bracevert
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-LaTeX math constructs
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="6" columns="4">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="6" columns="4">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6912,7 +6938,7 @@ widehat{abc}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -6962,7 +6988,7 @@ overrightarrow{abc}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7012,7 +7038,7 @@ underline{abc}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7062,7 +7088,7 @@ underbrace{abc}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7114,7 +7140,7 @@ root3{abc}
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7167,6 +7193,9 @@ frac{abc}{xyz}
  \end_inset 
  
  
+\layout Caption
+
+LaTeX math constructs
  \end_inset 
  
  
@@ -7176,17 +7205,14 @@ frac{abc}{xyz}
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-AMS Greek and Hebrew
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="1" columns="10">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="1" columns="10">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -7197,7 +7223,7 @@ AMS Greek and Hebrew
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7324,6 +7350,9 @@ gimel
  \end_inset 
  
  
+\layout Caption
+
+AMS Greek and Hebrew
  \end_inset 
  
  
@@ -7333,17 +7362,14 @@ gimel
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-AMS delimiters
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="1" columns="8">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="1" columns="8">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
@@ -7352,7 +7378,7 @@ AMS delimiters
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7455,6 +7481,9 @@ lrcorner
  \end_inset 
  
  
+\layout Caption
+
+AMS delimiters
  \end_inset 
  
  
@@ -7464,24 +7493,21 @@ lrcorner
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-AMS arrows
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="11" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="11" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7555,7 +7581,7 @@ leftleftarrows
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7629,7 +7655,7 @@ twoheadleftarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7703,7 +7729,7 @@ leftrightharpoons
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7777,7 +7803,7 @@ Lsh
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7851,7 +7877,7 @@ downharpoonleft
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7925,7 +7951,7 @@ rightrightarrows
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -7999,7 +8025,7 @@ rightleftarrows
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8073,7 +8099,7 @@ looparrowright
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8147,7 +8173,7 @@ circlearrowright
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8221,7 +8247,7 @@ upharpoonright
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8290,6 +8316,9 @@ rightsquigarrow
  \end_inset 
  
  
+\layout Caption
+
+AMS arrows
  \end_inset 
  
  
@@ -8299,24 +8328,21 @@ rightsquigarrow
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-AMS negated arrows
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="2" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="2" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8390,7 +8416,7 @@ nLeftarrow
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8469,6 +8495,9 @@ nLeftrightarrow
  \end_inset 
  
  
+\layout Caption
+
+AMS negated arrows
  \end_inset 
  
  
@@ -8478,24 +8507,21 @@ nLeftrightarrow
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-AMS binary relations
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="22" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="22" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8569,7 +8595,7 @@ eqslantless
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8643,7 +8669,7 @@ approxeq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8717,7 +8743,7 @@ lessgtr
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8791,7 +8817,7 @@ doteqdot
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8865,7 +8891,7 @@ backsim
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -8939,7 +8965,7 @@ Subset
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9013,7 +9039,7 @@ curlyeqprec
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9087,7 +9113,7 @@ vartriangleleft
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9161,7 +9187,7 @@ Vvdash
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9235,7 +9261,7 @@ bumpeq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9309,7 +9335,7 @@ geqslant
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9383,7 +9409,7 @@ gtrapprox
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9457,7 +9483,7 @@ gtrless
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9531,7 +9557,7 @@ eqcirc
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9605,7 +9631,7 @@ thicksim
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9679,7 +9705,7 @@ Supset
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9753,7 +9779,7 @@ curlyeqsucc
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9827,7 +9853,7 @@ vartriangleright
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9901,7 +9927,7 @@ shortmid
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -9975,7 +10001,7 @@ pitchfork
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10049,7 +10075,7 @@ therefore
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10128,6 +10154,9 @@ because
  \end_inset 
  
  
+\layout Caption
+
+AMS binary relations
  \end_inset 
  
  
@@ -10137,24 +10166,21 @@ because
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-AMS negated binary relations
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="17" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="17" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10228,7 +10254,7 @@ nleqslant
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10302,7 +10328,7 @@ lneqq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10376,7 +10402,7 @@ lnapprox
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10450,7 +10476,7 @@ precnsim
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10524,7 +10550,7 @@ nshortmid
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10598,7 +10624,7 @@ nvDash
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10672,7 +10698,7 @@ nsubseteq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10746,7 +10772,7 @@ subsetneqq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10820,7 +10846,7 @@ ngeq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10894,7 +10920,7 @@ gneq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -10968,7 +10994,7 @@ gnsim
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11042,7 +11068,7 @@ nsucceq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11116,7 +11142,7 @@ ncong
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11190,7 +11216,7 @@ nvDash
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11264,7 +11290,7 @@ ntrianglerighteq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11338,7 +11364,7 @@ supsetneq
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11417,6 +11443,9 @@ varsupsetneqq
  \end_inset 
  
  
+\layout Caption
+
+AMS negated binary relations
  \end_inset 
  
  
@@ -11426,24 +11455,21 @@ varsupsetneqq
  \begin_inset Float table
  placement H
  wide false
-collapsed false
+collapsed true
  
-\layout Caption
-
-AMS binary operators
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="8" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="8" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11517,7 +11543,7 @@ Cap
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11591,7 +11617,7 @@ veebar
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11665,7 +11691,7 @@ boxtimes
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11739,7 +11765,7 @@ divideontimes
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11813,7 +11839,7 @@ leftthreetimes
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11887,7 +11913,7 @@ curlyvee
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -11961,7 +11987,7 @@ circledcirc
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12030,6 +12056,9 @@ intercal
  \end_inset 
  
  
+\layout Caption
+
+AMS binary operators
  \end_inset 
  
  
@@ -12039,24 +12068,21 @@ intercal
  \begin_inset Float table
  placement H
  wide false
-collapsed false
-
-\layout Caption
+collapsed true
  
-AMS miscellaneous
  \layout Standard
  
  
  \begin_inset  Tabular
-<lyxtabular version="2" rows="9" columns="6">
-<features rotate="false" islongtable="false" endhead="0" endfirsthead="0" endfoot="0" endlastfoot="0">
+<lyxtabular version="3" rows="9" columns="6">
+<features rotate="false" islongtable="false" firstHeadTopDL="false" firstHeadBottomDL="false" firstHeadEmpty="false" headTopDL="false" headBottomDL="false" footTopDL="false" footBottomDL="false" lastFootTopDL="false" lastFootBottomDL="false" lastFootEmpty="false">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="right" valignment="top" leftline="false" rightline="false" width="0pt" special="">
  <column alignment="left" valignment="top" leftline="false" rightline="false" width="0pt" special="">
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12130,7 +12156,7 @@ vartriangle
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12204,7 +12230,7 @@ lozenge
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12278,7 +12304,7 @@ measuredangle
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12352,7 +12378,7 @@ Finv
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12426,7 +12452,7 @@ backprime
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12500,7 +12526,7 @@ blacktriangledown
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12574,7 +12600,7 @@ bigstar
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12648,7 +12674,7 @@ eth
  \end_inset 
  </cell>
  </row>
-<row topline="false" bottomline="false" newpage="false">
+<row topline="false" bottomline="false" endhead="false" endfirsthead="false" endfoot="false" endlastfoot="false" newpage="false">
  <cell multicolumn="0" alignment="center" valignment="top" topline="true" bottomline="false" leftline="true" rightline="false" rotate="false" usebox="none" width="0pt" special="">
  \begin_inset Text
  
@@ -12717,6 +12743,9 @@ diagdown
  \end_inset 
  
  
+\layout Caption
+
+AMS miscellaneous
  \end_inset
author	Angus Leeming <leeming@lyx.org>
	Tue, 15 Jan 2002 16:28:12 +0000 (16:28 +0000)
committer	Angus Leeming <leeming@lyx.org>
	Tue, 15 Jan 2002 16:28:12 +0000 (16:28 +0000)
lib/ChangeLog		patch \| blob \| history
lib/examples/mathed.lyx		patch \| blob \| history