1 #LyX 1.5.0svn created this file. For more info see http://www.lyx.org/
13 \font_typewriter default
14 \font_default_family default
21 \paperfontsize default
29 \paperorientation portrait
32 \paragraph_separation indent
34 \quotes_language english
37 \paperpagestyle default
38 \tracking_changes false
46 Converting to and from mathed
49 \begin_layout Standard
51 Math can be typed in the body of the document and converted to mathed-mode
52 by highlighting it and typing
60 The text can be bounded with delimiters or not.
61 That is, highlighting any of the formulae below:
64 \begin_layout Standard
68 <lyxtabular version="3" rows="5" columns="1">
70 <column alignment="left" valignment="top" width="0pt">
72 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
75 \begin_layout Standard
90 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
93 \begin_layout Standard
108 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
111 \begin_layout Standard
122 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
125 \begin_layout Standard
140 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
143 \begin_layout Standard
164 \begin_layout Standard
169 \begin_layout Standard
172 \begin_inset Formula \begin{equation}
173 \frac{abc}{xyz}\end{equation}
180 \begin_layout Standard
182 At present, no formal way exists to convert the contents of a math inset
183 back into plain text.
184 It can be done using a
185 \begin_inset Quotes eld
189 \begin_inset Quotes erd
193 Highlight the contents of a math inset (not the math inset itself, just
194 the contents), but do
200 copy it into LyX's buffer.
201 It is now stored in the X system buffer and can be pasted back into the
202 document using the middle mouse button.
205 \begin_layout Section
207 Displaying LaTeX symbols
210 \begin_layout Standard
212 Historically, LyX has provided visual support for a relatively small subset
213 of the math symbols available in LaTeX.
214 That changes with version 1.2; we now have visual support for most of the
215 symbols defined in basic LaTeX and
221 the extra ones defined by the AMS.
222 For completeness, the tables of symbols in Lamport's and in Goosen's books
226 \begin_layout Section
228 Some example math tables
231 \begin_layout Standard
233 The following tables from Goossen et al.'s
234 \begin_inset Quotes eld
238 \begin_inset Quotes erd
241 should appear on the screen in all their glory.
244 \begin_layout Standard
250 \begin_layout Standard
256 \begin_layout Standard
260 \begin_layout Standard
275 \begin_layout Standard
278 \begin_inset Float table
284 \begin_layout Standard
288 <lyxtabular version="3" rows="2" columns="10">
290 <column alignment="right" valignment="top" width="0pt">
291 <column alignment="left" valignment="top" width="0pt">
292 <column alignment="right" valignment="top" width="0pt">
293 <column alignment="left" valignment="top" width="0pt">
294 <column alignment="right" valignment="top" width="0pt">
295 <column alignment="left" valignment="top" width="0pt">
296 <column alignment="right" valignment="top" width="0pt">
297 <column alignment="left" valignment="top" width="0pt">
298 <column alignment="right" valignment="top" width="0pt">
299 <column alignment="left" valignment="top" width="0pt">
301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
304 \begin_layout Standard
309 \begin_inset Formula $\hat{a}$
317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
320 \begin_layout Standard
331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
334 \begin_layout Standard
339 \begin_inset Formula $\acute{a}$
347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
350 \begin_layout Standard
361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
364 \begin_layout Standard
369 \begin_inset Formula $\bar{a}$
377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
380 \begin_layout Standard
391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
394 \begin_layout Standard
399 \begin_inset Formula $\dot{a}$
407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
410 \begin_layout Standard
421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
424 \begin_layout Standard
429 \begin_inset Formula $\breve{a}$
437 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
440 \begin_layout Standard
453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
456 \begin_layout Standard
461 \begin_inset Formula $\check{a}$
469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
472 \begin_layout Standard
483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
486 \begin_layout Standard
491 \begin_inset Formula $\grave{a}$
499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
502 \begin_layout Standard
513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
516 \begin_layout Standard
521 \begin_inset Formula $\vec{a}$
529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
532 \begin_layout Standard
543 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
546 \begin_layout Standard
551 \begin_inset Formula $\ddot{a}$
559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
562 \begin_layout Standard
573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
576 \begin_layout Standard
581 \begin_inset Formula $\tilde{a}$
589 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
592 \begin_layout Standard
629 \begin_layout Standard
632 \begin_inset Float table
638 \begin_layout Standard
642 <lyxtabular version="3" rows="11" columns="8">
644 <column alignment="right" valignment="top" width="0pt">
645 <column alignment="left" valignment="top" width="0pt">
646 <column alignment="right" valignment="top" width="0pt">
647 <column alignment="left" valignment="top" width="0pt">
648 <column alignment="right" valignment="top" width="0pt">
649 <column alignment="left" valignment="top" width="0pt">
650 <column alignment="right" valignment="top" width="0pt">
651 <column alignment="left" valignment="top" width="0pt">
653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
656 \begin_layout Standard
659 \begin_inset Formula $\alpha$
667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
670 \begin_layout Standard
681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
684 \begin_layout Standard
687 \begin_inset Formula $\beta$
695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
698 \begin_layout Standard
709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
712 \begin_layout Standard
715 \begin_inset Formula $\gamma$
723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
726 \begin_layout Standard
737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
740 \begin_layout Standard
743 \begin_inset Formula $\delta$
751 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
754 \begin_layout Standard
767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
770 \begin_layout Standard
773 \begin_inset Formula $\epsilon$
781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
784 \begin_layout Standard
795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
798 \begin_layout Standard
801 \begin_inset Formula $\varepsilon$
809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
812 \begin_layout Standard
823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
826 \begin_layout Standard
829 \begin_inset Formula $\zeta$
837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
840 \begin_layout Standard
851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
854 \begin_layout Standard
857 \begin_inset Formula $\eta$
865 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
868 \begin_layout Standard
881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
884 \begin_layout Standard
887 \begin_inset Formula $\theta$
895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
898 \begin_layout Standard
909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
912 \begin_layout Standard
915 \begin_inset Formula $\vartheta$
923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
926 \begin_layout Standard
937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
940 \begin_layout Standard
943 \begin_inset Formula $\iota$
951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
954 \begin_layout Standard
965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
968 \begin_layout Standard
971 \begin_inset Formula $\kappa$
979 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
982 \begin_layout Standard
995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
998 \begin_layout Standard
1001 \begin_inset Formula $\lambda$
1009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1012 \begin_layout Standard
1023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1026 \begin_layout Standard
1029 \begin_inset Formula $\mu$
1037 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1040 \begin_layout Standard
1051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1054 \begin_layout Standard
1057 \begin_inset Formula $\nu$
1065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1068 \begin_layout Standard
1079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1082 \begin_layout Standard
1085 \begin_inset Formula $\xi$
1093 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1096 \begin_layout Standard
1109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1112 \begin_layout Standard
1115 \begin_inset Formula $o$
1123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1126 \begin_layout Standard
1133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1136 \begin_layout Standard
1139 \begin_inset Formula $\pi$
1147 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1150 \begin_layout Standard
1161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1164 \begin_layout Standard
1167 \begin_inset Formula $\varpi$
1175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1178 \begin_layout Standard
1189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1192 \begin_layout Standard
1195 \begin_inset Formula $\rho$
1203 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1206 \begin_layout Standard
1219 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1222 \begin_layout Standard
1225 \begin_inset Formula $\varrho$
1233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1236 \begin_layout Standard
1247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1250 \begin_layout Standard
1253 \begin_inset Formula $\sigma$
1261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1264 \begin_layout Standard
1275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1278 \begin_layout Standard
1281 \begin_inset Formula $\varsigma$
1289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1292 \begin_layout Standard
1303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1306 \begin_layout Standard
1309 \begin_inset Formula $\tau$
1317 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1320 \begin_layout Standard
1333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1336 \begin_layout Standard
1339 \begin_inset Formula $\upsilon$
1347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1350 \begin_layout Standard
1361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1364 \begin_layout Standard
1367 \begin_inset Formula $\phi$
1375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1378 \begin_layout Standard
1389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1392 \begin_layout Standard
1395 \begin_inset Formula $\varphi$
1403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1406 \begin_layout Standard
1417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1420 \begin_layout Standard
1423 \begin_inset Formula $\chi$
1431 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1434 \begin_layout Standard
1447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1450 \begin_layout Standard
1453 \begin_inset Formula $\psi$
1461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1464 \begin_layout Standard
1475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1478 \begin_layout Standard
1481 \begin_inset Formula $\omega$
1489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1492 \begin_layout Standard
1503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1506 \begin_layout Standard
1512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1515 \begin_layout Standard
1521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1524 \begin_layout Standard
1530 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1533 \begin_layout Standard
1541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1544 \begin_layout Standard
1547 \begin_inset Formula $\Gamma$
1555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1558 \begin_layout Standard
1569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1572 \begin_layout Standard
1575 \begin_inset Formula $\Delta$
1583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1586 \begin_layout Standard
1597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1600 \begin_layout Standard
1603 \begin_inset Formula $\Theta$
1611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1614 \begin_layout Standard
1625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1628 \begin_layout Standard
1631 \begin_inset Formula $\Lambda$
1639 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1642 \begin_layout Standard
1655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1658 \begin_layout Standard
1661 \begin_inset Formula $\Xi$
1669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1672 \begin_layout Standard
1683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1686 \begin_layout Standard
1689 \begin_inset Formula $\Pi$
1697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1700 \begin_layout Standard
1711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1714 \begin_layout Standard
1717 \begin_inset Formula $\Sigma$
1725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1728 \begin_layout Standard
1739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1742 \begin_layout Standard
1745 \begin_inset Formula $\Upsilon$
1753 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1756 \begin_layout Standard
1769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1772 \begin_layout Standard
1775 \begin_inset Formula $\Phi$
1783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1786 \begin_layout Standard
1797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1800 \begin_layout Standard
1803 \begin_inset Formula $\Psi$
1811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1814 \begin_layout Standard
1825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1828 \begin_layout Standard
1831 \begin_inset Formula $\Omega$
1839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1842 \begin_layout Standard
1853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1856 \begin_layout Standard
1862 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1865 \begin_layout Standard
1880 \begin_inset Caption
1897 \begin_layout Standard
1900 \begin_inset Float table
1906 \begin_layout Standard
1909 \begin_inset Tabular
1910 <lyxtabular version="3" rows="9" columns="8">
1912 <column alignment="right" valignment="top" width="0pt">
1913 <column alignment="left" valignment="top" width="0pt">
1914 <column alignment="right" valignment="top" width="0pt">
1915 <column alignment="left" valignment="top" width="0pt">
1916 <column alignment="right" valignment="top" width="0pt">
1917 <column alignment="left" valignment="top" width="0pt">
1918 <column alignment="right" valignment="top" width="0pt">
1919 <column alignment="left" valignment="top" width="0pt">
1921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1924 \begin_layout Standard
1927 \begin_inset Formula $\pm$
1935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1938 \begin_layout Standard
1949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1952 \begin_layout Standard
1955 \begin_inset Formula $\cap$
1963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1966 \begin_layout Standard
1977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1980 \begin_layout Standard
1983 \begin_inset Formula $\diamond$
1991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1994 \begin_layout Standard
2005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2008 \begin_layout Standard
2011 \begin_inset Formula $\oplus$
2019 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2022 \begin_layout Standard
2035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2038 \begin_layout Standard
2041 \begin_inset Formula $\mp$
2049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2052 \begin_layout Standard
2063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2066 \begin_layout Standard
2069 \begin_inset Formula $\cup$
2077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2080 \begin_layout Standard
2091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2094 \begin_layout Standard
2097 \begin_inset Formula $\bigtriangleup$
2105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2108 \begin_layout Standard
2119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2122 \begin_layout Standard
2125 \begin_inset Formula $\ominus$
2133 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2136 \begin_layout Standard
2149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2152 \begin_layout Standard
2155 \begin_inset Formula $\times$
2163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2166 \begin_layout Standard
2177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2180 \begin_layout Standard
2183 \begin_inset Formula $\uplus$
2191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2194 \begin_layout Standard
2205 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2208 \begin_layout Standard
2211 \begin_inset Formula $\bigtriangledown$
2219 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2222 \begin_layout Standard
2233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2236 \begin_layout Standard
2239 \begin_inset Formula $\otimes$
2247 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2250 \begin_layout Standard
2263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2266 \begin_layout Standard
2269 \begin_inset Formula $\div$
2277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2280 \begin_layout Standard
2291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2294 \begin_layout Standard
2297 \begin_inset Formula $\sqcap$
2305 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2308 \begin_layout Standard
2319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2322 \begin_layout Standard
2325 \begin_inset Formula $\triangleleft$
2333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2336 \begin_layout Standard
2347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2350 \begin_layout Standard
2353 \begin_inset Formula $\oslash$
2361 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2364 \begin_layout Standard
2377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2380 \begin_layout Standard
2383 \begin_inset Formula $\ast$
2391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2394 \begin_layout Standard
2405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2408 \begin_layout Standard
2411 \begin_inset Formula $\sqcup$
2419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2422 \begin_layout Standard
2433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2436 \begin_layout Standard
2439 \begin_inset Formula $\triangleright$
2447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2450 \begin_layout Standard
2461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2464 \begin_layout Standard
2467 \begin_inset Formula $\odot$
2475 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2478 \begin_layout Standard
2491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2494 \begin_layout Standard
2497 \begin_inset Formula $\star$
2505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2508 \begin_layout Standard
2519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2522 \begin_layout Standard
2525 \begin_inset Formula $\vee$
2533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2536 \begin_layout Standard
2547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2550 \begin_layout Standard
2553 \begin_inset Formula $\lhd$
2561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2564 \begin_layout Standard
2575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2578 \begin_layout Standard
2581 \begin_inset Formula $\bigcirc$
2589 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2592 \begin_layout Standard
2605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2608 \begin_layout Standard
2611 \begin_inset Formula $\circ$
2619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2622 \begin_layout Standard
2633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2636 \begin_layout Standard
2639 \begin_inset Formula $\wedge$
2647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2650 \begin_layout Standard
2661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2664 \begin_layout Standard
2667 \begin_inset Formula $\rhd$
2675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2678 \begin_layout Standard
2689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2692 \begin_layout Standard
2695 \begin_inset Formula $\dagger$
2703 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2706 \begin_layout Standard
2719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2722 \begin_layout Standard
2725 \begin_inset Formula $\bullet$
2733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2736 \begin_layout Standard
2747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2750 \begin_layout Standard
2753 \begin_inset Formula $\setminus$
2761 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2764 \begin_layout Standard
2775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2778 \begin_layout Standard
2781 \begin_inset Formula $\unlhd$
2789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2792 \begin_layout Standard
2803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2806 \begin_layout Standard
2809 \begin_inset Formula $\ddagger$
2817 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2820 \begin_layout Standard
2833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2836 \begin_layout Standard
2839 \begin_inset Formula $\cdot$
2847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2850 \begin_layout Standard
2861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2864 \begin_layout Standard
2867 \begin_inset Formula $\wr$
2875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2878 \begin_layout Standard
2889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2892 \begin_layout Standard
2895 \begin_inset Formula $\unrhd$
2903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2906 \begin_layout Standard
2917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2920 \begin_layout Standard
2923 \begin_inset Formula $\amalg$
2931 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2934 \begin_layout Standard
2954 \begin_inset Caption
2958 Binary operation symbols
2971 \begin_layout Standard
2974 \begin_inset Float table
2980 \begin_layout Standard
2983 \begin_inset Tabular
2984 <lyxtabular version="3" rows="8" columns="10">
2986 <column alignment="right" valignment="top" width="0pt">
2987 <column alignment="left" valignment="top" width="0pt">
2988 <column alignment="right" valignment="top" width="0pt">
2989 <column alignment="left" valignment="top" width="0pt">
2990 <column alignment="right" valignment="top" width="0pt">
2991 <column alignment="left" valignment="top" width="0pt">
2992 <column alignment="right" valignment="top" width="0pt">
2993 <column alignment="left" valignment="top" width="0pt">
2994 <column alignment="right" valignment="top" width="0pt">
2995 <column alignment="left" valignment="top" width="0pt">
2997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3000 \begin_layout Standard
3003 \begin_inset Formula $\leq$
3011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3014 \begin_layout Standard
3027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3030 \begin_layout Standard
3033 \begin_inset Formula $\geq$
3041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3044 \begin_layout Standard
3055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3058 \begin_layout Standard
3061 \begin_inset Formula $\equiv$
3069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3072 \begin_layout Standard
3083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3086 \begin_layout Standard
3089 \begin_inset Formula $\models$
3097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3100 \begin_layout Standard
3111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3114 \begin_layout Standard
3117 \begin_inset Formula $\prec$
3125 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3128 \begin_layout Standard
3141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3144 \begin_layout Standard
3147 \begin_inset Formula $\succ$
3155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3158 \begin_layout Standard
3169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3172 \begin_layout Standard
3175 \begin_inset Formula $\sim$
3183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3186 \begin_layout Standard
3197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3200 \begin_layout Standard
3203 \begin_inset Formula $\perp$
3211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3214 \begin_layout Standard
3225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3228 \begin_layout Standard
3231 \begin_inset Formula $\preceq$
3239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3242 \begin_layout Standard
3253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3256 \begin_layout Standard
3259 \begin_inset Formula $\succeq$
3267 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3270 \begin_layout Standard
3283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3286 \begin_layout Standard
3289 \begin_inset Formula $\simeq$
3297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3300 \begin_layout Standard
3311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3314 \begin_layout Standard
3317 \begin_inset Formula $\mid$
3325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3328 \begin_layout Standard
3339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3342 \begin_layout Standard
3345 \begin_inset Formula $\ll$
3353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3356 \begin_layout Standard
3367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3370 \begin_layout Standard
3373 \begin_inset Formula $\gg$
3381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3384 \begin_layout Standard
3395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3398 \begin_layout Standard
3401 \begin_inset Formula $\asymp$
3409 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3412 \begin_layout Standard
3425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3428 \begin_layout Standard
3431 \begin_inset Formula $\parallel$
3439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3442 \begin_layout Standard
3453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3456 \begin_layout Standard
3459 \begin_inset Formula $\subset$
3467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3470 \begin_layout Standard
3481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3484 \begin_layout Standard
3487 \begin_inset Formula $\supset$
3495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3498 \begin_layout Standard
3509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3512 \begin_layout Standard
3515 \begin_inset Formula $\approx$
3523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3526 \begin_layout Standard
3537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3540 \begin_layout Standard
3543 \begin_inset Formula $\bowtie$
3551 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3554 \begin_layout Standard
3567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3570 \begin_layout Standard
3573 \begin_inset Formula $\subseteq$
3581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3584 \begin_layout Standard
3595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3598 \begin_layout Standard
3601 \begin_inset Formula $\supseteq$
3609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3612 \begin_layout Standard
3623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3626 \begin_layout Standard
3629 \begin_inset Formula $\cong$
3637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3640 \begin_layout Standard
3651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3654 \begin_layout Standard
3657 \begin_inset Formula $\Join$
3665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3668 \begin_layout Standard
3679 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3682 \begin_layout Standard
3685 \begin_inset Formula $\sqsubset$
3693 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3696 \begin_layout Standard
3709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3712 \begin_layout Standard
3715 \begin_inset Formula $\sqsupset$
3723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3726 \begin_layout Standard
3737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3740 \begin_layout Standard
3743 \begin_inset Formula $\neq$
3751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3754 \begin_layout Standard
3765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3768 \begin_layout Standard
3771 \begin_inset Formula $\smile$
3779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3782 \begin_layout Standard
3793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3796 \begin_layout Standard
3799 \begin_inset Formula $\sqsubseteq$
3807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3810 \begin_layout Standard
3821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3824 \begin_layout Standard
3827 \begin_inset Formula $\sqsupseteq$
3835 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3838 \begin_layout Standard
3851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3854 \begin_layout Standard
3857 \begin_inset Formula $\doteq$
3865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3868 \begin_layout Standard
3879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3882 \begin_layout Standard
3885 \begin_inset Formula $\frown$
3893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3896 \begin_layout Standard
3907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3910 \begin_layout Standard
3913 \begin_inset Formula $\in$
3921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3924 \begin_layout Standard
3935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3938 \begin_layout Standard
3941 \begin_inset Formula $\ni$
3949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3952 \begin_layout Standard
3963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3966 \begin_layout Standard
3969 \begin_inset Formula $\propto$
3977 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3980 \begin_layout Standard
3993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3996 \begin_layout Standard
3999 \begin_inset Formula $=$
4007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4010 \begin_layout Standard
4019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4022 \begin_layout Standard
4025 \begin_inset Formula $\vdash$
4033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4036 \begin_layout Standard
4047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4050 \begin_layout Standard
4053 \begin_inset Formula $\dashv$
4061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4064 \begin_layout Standard
4075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4078 \begin_layout Standard
4081 \begin_inset Formula $<$
4089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4092 \begin_layout Standard
4101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4104 \begin_layout Standard
4107 \begin_inset Formula $>$
4115 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4118 \begin_layout Standard
4136 \begin_inset Caption
4153 \begin_layout Standard
4156 \begin_inset Float table
4162 \begin_layout Standard
4165 \begin_inset Tabular
4166 <lyxtabular version="3" rows="10" columns="6">
4168 <column alignment="right" valignment="top" width="0pt">
4169 <column alignment="left" valignment="top" width="0pt">
4170 <column alignment="right" valignment="top" width="0pt">
4171 <column alignment="left" valignment="top" width="0pt">
4172 <column alignment="right" valignment="top" width="0pt">
4173 <column alignment="left" valignment="top" width="0pt">
4175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4178 \begin_layout Standard
4181 \begin_inset Formula $\leftarrow$
4189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4192 \begin_layout Standard
4203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4206 \begin_layout Standard
4209 \begin_inset Formula $\longleftarrow$
4217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4220 \begin_layout Standard
4231 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4234 \begin_layout Standard
4237 \begin_inset Formula $\uparrow$
4245 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4248 \begin_layout Standard
4261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4264 \begin_layout Standard
4267 \begin_inset Formula $\Leftarrow$
4275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4278 \begin_layout Standard
4289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4292 \begin_layout Standard
4295 \begin_inset Formula $\Longleftarrow$
4303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4306 \begin_layout Standard
4317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4320 \begin_layout Standard
4323 \begin_inset Formula $\Uparrow$
4331 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4334 \begin_layout Standard
4347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4350 \begin_layout Standard
4353 \begin_inset Formula $\rightarrow$
4361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4364 \begin_layout Standard
4375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4378 \begin_layout Standard
4381 \begin_inset Formula $\longrightarrow$
4389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4392 \begin_layout Standard
4403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4406 \begin_layout Standard
4409 \begin_inset Formula $\downarrow$
4417 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4420 \begin_layout Standard
4433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4436 \begin_layout Standard
4439 \begin_inset Formula $\Rightarrow$
4447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4450 \begin_layout Standard
4461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4464 \begin_layout Standard
4467 \begin_inset Formula $\Longrightarrow$
4475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4478 \begin_layout Standard
4489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4492 \begin_layout Standard
4495 \begin_inset Formula $\Downarrow$
4503 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4506 \begin_layout Standard
4519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4522 \begin_layout Standard
4525 \begin_inset Formula $\leftrightarrow$
4533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4536 \begin_layout Standard
4547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4550 \begin_layout Standard
4553 \begin_inset Formula $\longleftrightarrow$
4561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4564 \begin_layout Standard
4575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4578 \begin_layout Standard
4581 \begin_inset Formula $\updownarrow$
4589 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4592 \begin_layout Standard
4605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4608 \begin_layout Standard
4611 \begin_inset Formula $\Leftrightarrow$
4619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4622 \begin_layout Standard
4633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4636 \begin_layout Standard
4639 \begin_inset Formula $\Longleftrightarrow$
4647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4650 \begin_layout Standard
4661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4664 \begin_layout Standard
4667 \begin_inset Formula $\Updownarrow$
4675 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4678 \begin_layout Standard
4691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4694 \begin_layout Standard
4697 \begin_inset Formula $\mapsto$
4705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4708 \begin_layout Standard
4719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4722 \begin_layout Standard
4725 \begin_inset Formula $\longmapsto$
4733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4736 \begin_layout Standard
4747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4750 \begin_layout Standard
4753 \begin_inset Formula $\nearrow$
4761 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4764 \begin_layout Standard
4777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4780 \begin_layout Standard
4783 \begin_inset Formula $\hookleftarrow$
4791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4794 \begin_layout Standard
4805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4808 \begin_layout Standard
4811 \begin_inset Formula $\hookrightarrow$
4819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4822 \begin_layout Standard
4833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4836 \begin_layout Standard
4839 \begin_inset Formula $\searrow$
4847 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4850 \begin_layout Standard
4863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4866 \begin_layout Standard
4869 \begin_inset Formula $\leftharpoonup$
4877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4880 \begin_layout Standard
4891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4894 \begin_layout Standard
4897 \begin_inset Formula $\rightharpoonup$
4905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4908 \begin_layout Standard
4919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4922 \begin_layout Standard
4925 \begin_inset Formula $\swarrow$
4933 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4936 \begin_layout Standard
4949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4952 \begin_layout Standard
4955 \begin_inset Formula $\leftharpoondown$
4963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4966 \begin_layout Standard
4977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4980 \begin_layout Standard
4983 \begin_inset Formula $\rightharpoondown$
4991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4994 \begin_layout Standard
5005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5008 \begin_layout Standard
5011 \begin_inset Formula $\nwarrow$
5019 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5022 \begin_layout Standard
5042 \begin_inset Caption
5059 \begin_layout Standard
5062 \begin_inset Float table
5068 \begin_layout Standard
5071 \begin_inset Tabular
5072 <lyxtabular version="3" rows="7" columns="10">
5074 <column alignment="right" valignment="top" width="0pt">
5075 <column alignment="left" valignment="top" width="0pt">
5076 <column alignment="right" valignment="top" width="0pt">
5077 <column alignment="left" valignment="top" width="0pt">
5078 <column alignment="right" valignment="top" width="0pt">
5079 <column alignment="left" valignment="top" width="0pt">
5080 <column alignment="right" valignment="top" width="0pt">
5081 <column alignment="left" valignment="top" width="0pt">
5082 <column alignment="right" valignment="top" width="0pt">
5083 <column alignment="left" valignment="top" width="0pt">
5085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5088 \begin_layout Standard
5091 \begin_inset Formula $\ldots$
5099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5102 \begin_layout Standard
5113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5116 \begin_layout Standard
5119 \begin_inset Formula $\cdots$
5127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5130 \begin_layout Standard
5141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5144 \begin_layout Standard
5147 \begin_inset Formula $\vdots$
5155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5158 \begin_layout Standard
5169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5172 \begin_layout Standard
5175 \begin_inset Formula $\ddots$
5183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5186 \begin_layout Standard
5197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5200 \begin_layout Standard
5203 \begin_inset Formula $\aleph$
5211 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5214 \begin_layout Standard
5227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5230 \begin_layout Standard
5233 \begin_inset Formula $\prime$
5241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5244 \begin_layout Standard
5255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5258 \begin_layout Standard
5261 \begin_inset Formula $\forall$
5269 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5272 \begin_layout Standard
5283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5286 \begin_layout Standard
5289 \begin_inset Formula $\infty$
5297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5300 \begin_layout Standard
5311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5314 \begin_layout Standard
5317 \begin_inset Formula $\hbar$
5325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5328 \begin_layout Standard
5339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5342 \begin_layout Standard
5345 \begin_inset Formula $\emptyset$
5353 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5356 \begin_layout Standard
5369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5372 \begin_layout Standard
5375 \begin_inset Formula $\exists$
5383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5386 \begin_layout Standard
5397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5400 \begin_layout Standard
5403 \begin_inset Formula $\nabla$
5411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5414 \begin_layout Standard
5425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5428 \begin_layout Standard
5431 \begin_inset Formula $\surd$
5439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5442 \begin_layout Standard
5453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5456 \begin_layout Standard
5459 \begin_inset Formula $\Box$
5467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5470 \begin_layout Standard
5481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5484 \begin_layout Standard
5487 \begin_inset Formula $\triangle$
5495 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5498 \begin_layout Standard
5511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5514 \begin_layout Standard
5517 \begin_inset Formula $\Diamond$
5525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5528 \begin_layout Standard
5539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5542 \begin_layout Standard
5545 \begin_inset Formula $\imath$
5553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5556 \begin_layout Standard
5567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5570 \begin_layout Standard
5573 \begin_inset Formula $\jmath$
5581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5584 \begin_layout Standard
5595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5598 \begin_layout Standard
5601 \begin_inset Formula $\ell$
5609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5612 \begin_layout Standard
5623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5626 \begin_layout Standard
5629 \begin_inset Formula $\neg$
5637 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5640 \begin_layout Standard
5653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5656 \begin_layout Standard
5659 \begin_inset Formula $\top$
5667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5670 \begin_layout Standard
5681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5684 \begin_layout Standard
5687 \begin_inset Formula $\flat$
5695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5698 \begin_layout Standard
5709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5712 \begin_layout Standard
5715 \begin_inset Formula $\natural$
5723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5726 \begin_layout Standard
5737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5740 \begin_layout Standard
5743 \begin_inset Formula $\sharp$
5751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5754 \begin_layout Standard
5765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5768 \begin_layout Standard
5771 \begin_inset Formula $\wp$
5779 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5782 \begin_layout Standard
5795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5798 \begin_layout Standard
5801 \begin_inset Formula $\bot$
5809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5812 \begin_layout Standard
5823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5826 \begin_layout Standard
5829 \begin_inset Formula $\clubsuit$
5837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5840 \begin_layout Standard
5851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5854 \begin_layout Standard
5857 \begin_inset Formula $\diamondsuit$
5865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5868 \begin_layout Standard
5879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5882 \begin_layout Standard
5885 \begin_inset Formula $\heartsuit$
5893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5896 \begin_layout Standard
5907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5910 \begin_layout Standard
5913 \begin_inset Formula $\spadesuit$
5921 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5924 \begin_layout Standard
5937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5940 \begin_layout Standard
5943 \begin_inset Formula $\mho$
5951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5954 \begin_layout Standard
5965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5968 \begin_layout Standard
5971 \begin_inset Formula $\Re$
5979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5982 \begin_layout Standard
5993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5996 \begin_layout Standard
5999 \begin_inset Formula $\Im$
6007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6010 \begin_layout Standard
6021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6024 \begin_layout Standard
6027 \begin_inset Formula $\angle$
6035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6038 \begin_layout Standard
6049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6052 \begin_layout Standard
6055 \begin_inset Formula $\partial$
6063 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6066 \begin_layout Standard
6086 \begin_inset Caption
6090 Miscellaneous symbols
6103 \begin_layout Standard
6106 \begin_inset Float table
6112 \begin_layout Standard
6115 \begin_inset Tabular
6116 <lyxtabular version="3" rows="3" columns="10">
6118 <column alignment="right" valignment="top" width="0pt">
6119 <column alignment="left" valignment="top" width="0pt">
6120 <column alignment="right" valignment="top" width="0pt">
6121 <column alignment="left" valignment="top" width="0pt">
6122 <column alignment="right" valignment="top" width="0pt">
6123 <column alignment="left" valignment="top" width="0pt">
6124 <column alignment="right" valignment="top" width="0pt">
6125 <column alignment="left" valignment="top" width="0pt">
6126 <column alignment="right" valignment="top" width="0pt">
6127 <column alignment="left" valignment="top" width="0pt">
6129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6132 \begin_layout Standard
6135 \begin_inset Formula $\sum$
6143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6146 \begin_layout Standard
6157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6160 \begin_layout Standard
6163 \begin_inset Formula $\prod$
6171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6174 \begin_layout Standard
6185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6188 \begin_layout Standard
6191 \begin_inset Formula $\coprod$
6199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6202 \begin_layout Standard
6213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6216 \begin_layout Standard
6219 \begin_inset Formula $\int$
6227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6230 \begin_layout Standard
6241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6244 \begin_layout Standard
6247 \begin_inset Formula $\oint$
6255 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6258 \begin_layout Standard
6271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6274 \begin_layout Standard
6277 \begin_inset Formula $\bigcap$
6285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6288 \begin_layout Standard
6299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6302 \begin_layout Standard
6305 \begin_inset Formula $\bigcup$
6313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6316 \begin_layout Standard
6327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6330 \begin_layout Standard
6333 \begin_inset Formula $\bigsqcup$
6341 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6344 \begin_layout Standard
6355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6358 \begin_layout Standard
6361 \begin_inset Formula $\bigvee$
6369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6372 \begin_layout Standard
6383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6386 \begin_layout Standard
6389 \begin_inset Formula $\bigwedge$
6397 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6400 \begin_layout Standard
6413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6416 \begin_layout Standard
6419 \begin_inset Formula $\bigodot$
6427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6430 \begin_layout Standard
6441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6444 \begin_layout Standard
6447 \begin_inset Formula $\bigotimes$
6455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6458 \begin_layout Standard
6469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6472 \begin_layout Standard
6475 \begin_inset Formula $\bigoplus$
6483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6486 \begin_layout Standard
6497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6500 \begin_layout Standard
6503 \begin_inset Formula $\biguplus$
6511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6514 \begin_layout Standard
6525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6528 \begin_layout Standard
6534 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6537 \begin_layout Standard
6552 \begin_inset Caption
6556 Variable-sized symbols
6569 \begin_layout Standard
6572 \begin_inset Float table
6578 \begin_layout Standard
6581 \begin_inset Tabular
6582 <lyxtabular version="3" rows="4" columns="8">
6584 <column alignment="left" valignment="top" width="0pt">
6585 <column alignment="left" valignment="top" width="0pt">
6586 <column alignment="left" valignment="top" width="0pt">
6587 <column alignment="left" valignment="top" width="0pt">
6588 <column alignment="left" valignment="top" width="0pt">
6589 <column alignment="left" valignment="top" width="0pt">
6590 <column alignment="left" valignment="top" width="0pt">
6591 <column alignment="left" valignment="top" width="0pt">
6593 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6596 \begin_layout Standard
6599 \begin_inset Formula $\arccos$
6607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6610 \begin_layout Standard
6613 \begin_inset Formula $\cos$
6621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6624 \begin_layout Standard
6627 \begin_inset Formula $\csc$
6635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6638 \begin_layout Standard
6641 \begin_inset Formula $\exp$
6649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6652 \begin_layout Standard
6655 \begin_inset Formula $\ker$
6663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6666 \begin_layout Standard
6669 \begin_inset Formula $\limsup$
6677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6680 \begin_layout Standard
6683 \begin_inset Formula $\min$
6691 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6694 \begin_layout Standard
6697 \begin_inset Formula $\sinh$
6707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6710 \begin_layout Standard
6713 \begin_inset Formula $\arcsin$
6721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6724 \begin_layout Standard
6727 \begin_inset Formula $\cosh$
6735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6738 \begin_layout Standard
6741 \begin_inset Formula $\deg$
6749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6752 \begin_layout Standard
6755 \begin_inset Formula $\gcd$
6763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6766 \begin_layout Standard
6769 \begin_inset Formula $\lg$
6777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6780 \begin_layout Standard
6783 \begin_inset Formula $\ln$
6791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6794 \begin_layout Standard
6797 \begin_inset Formula $\Pr$
6805 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6808 \begin_layout Standard
6811 \begin_inset Formula $\sup$
6821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6824 \begin_layout Standard
6827 \begin_inset Formula $\arctan$
6835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6838 \begin_layout Standard
6841 \begin_inset Formula $\cot$
6849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6852 \begin_layout Standard
6855 \begin_inset Formula $\det$
6863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6866 \begin_layout Standard
6869 \begin_inset Formula $\hom$
6877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6880 \begin_layout Standard
6883 \begin_inset Formula $\lim$
6891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6894 \begin_layout Standard
6897 \begin_inset Formula $\log$
6905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6908 \begin_layout Standard
6911 \begin_inset Formula $\sec$
6919 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6922 \begin_layout Standard
6925 \begin_inset Formula $\tan$
6935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6938 \begin_layout Standard
6941 \begin_inset Formula $\arg$
6949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6952 \begin_layout Standard
6955 \begin_inset Formula $\coth$
6963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6966 \begin_layout Standard
6969 \begin_inset Formula $\dim$
6977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6980 \begin_layout Standard
6983 \begin_inset Formula $\inf$
6991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6994 \begin_layout Standard
6997 \begin_inset Formula $\liminf$
7005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7008 \begin_layout Standard
7011 \begin_inset Formula $\max$
7019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7022 \begin_layout Standard
7025 \begin_inset Formula $\sin$
7033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7036 \begin_layout Standard
7039 \begin_inset Formula $\tanh$
7056 \begin_inset Caption
7073 \begin_layout Standard
7076 \begin_inset Float table
7082 \begin_layout Standard
7085 \begin_inset Tabular
7086 <lyxtabular version="3" rows="5" columns="8">
7088 <column alignment="right" valignment="top" width="0pt">
7089 <column alignment="left" valignment="top" width="0pt">
7090 <column alignment="right" valignment="top" width="0pt">
7091 <column alignment="left" valignment="top" width="0pt">
7092 <column alignment="right" valignment="top" width="0pt">
7093 <column alignment="left" valignment="top" width="0pt">
7094 <column alignment="right" valignment="top" width="0pt">
7095 <column alignment="left" valignment="top" width="0pt">
7097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7100 \begin_layout Standard
7103 \begin_inset Formula $\uparrow$
7111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7114 \begin_layout Standard
7125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7128 \begin_layout Standard
7131 \begin_inset Formula $\Uparrow$
7139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7142 \begin_layout Standard
7153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7156 \begin_layout Standard
7159 \begin_inset Formula $\downarrow$
7167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7170 \begin_layout Standard
7181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7184 \begin_layout Standard
7187 \begin_inset Formula $\Downarrow$
7195 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7198 \begin_layout Standard
7211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7214 \begin_layout Standard
7217 \begin_inset Formula $\{$
7225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7228 \begin_layout Standard
7239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7242 \begin_layout Standard
7245 \begin_inset Formula $\}$
7253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7256 \begin_layout Standard
7267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7270 \begin_layout Standard
7273 \begin_inset Formula $\updownarrow$
7281 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7284 \begin_layout Standard
7295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7298 \begin_layout Standard
7301 \begin_inset Formula $\Updownarrow$
7309 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7312 \begin_layout Standard
7325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7328 \begin_layout Standard
7331 \begin_inset Formula $\lfloor$
7339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7342 \begin_layout Standard
7353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7356 \begin_layout Standard
7359 \begin_inset Formula $\rfloor$
7367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7370 \begin_layout Standard
7381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7384 \begin_layout Standard
7387 \begin_inset Formula $\lceil$
7395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7398 \begin_layout Standard
7409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7412 \begin_layout Standard
7415 \begin_inset Formula $\rceil$
7423 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7426 \begin_layout Standard
7439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7442 \begin_layout Standard
7445 \begin_inset Formula $\langle$
7453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7456 \begin_layout Standard
7467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7470 \begin_layout Standard
7473 \begin_inset Formula $\rangle$
7481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7484 \begin_layout Standard
7495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7498 \begin_layout Standard
7501 \begin_inset Formula $/$
7509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7512 \begin_layout Standard
7521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7524 \begin_layout Standard
7527 \begin_inset Formula $\backslash$
7535 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7538 \begin_layout Standard
7551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7554 \begin_layout Standard
7557 \begin_inset Formula $|$
7565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7568 \begin_layout Standard
7577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7580 \begin_layout Standard
7583 \begin_inset Formula $\|$
7591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7594 \begin_layout Standard
7605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7608 \begin_layout Standard
7614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7617 \begin_layout Standard
7623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7626 \begin_layout Standard
7632 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7635 \begin_layout Standard
7650 \begin_inset Caption
7667 \begin_layout Standard
7670 \begin_inset Float table
7676 \begin_layout Standard
7679 \begin_inset Tabular
7680 <lyxtabular version="3" rows="6" columns="4">
7682 <column alignment="right" valignment="top" width="0pt">
7683 <column alignment="left" valignment="top" width="0pt">
7684 <column alignment="right" valignment="top" width="0pt">
7685 <column alignment="left" valignment="top" width="0pt">
7687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7690 \begin_layout Standard
7693 \begin_inset Formula $\widetilde{abc}$
7701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7704 \begin_layout Standard
7715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7718 \begin_layout Standard
7721 \begin_inset Formula $\widehat{abc}$
7729 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7732 \begin_layout Standard
7745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7748 \begin_layout Standard
7751 \begin_inset Formula $\overleftarrow{abc}$
7759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7762 \begin_layout Standard
7773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7776 \begin_layout Standard
7779 \begin_inset Formula $\overrightarrow{abc}$
7787 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7790 \begin_layout Standard
7803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7806 \begin_layout Standard
7809 \begin_inset Formula $\overline{abc}$
7817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7820 \begin_layout Standard
7831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7834 \begin_layout Standard
7837 \begin_inset Formula $\underline{abc}$
7845 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7848 \begin_layout Standard
7861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7864 \begin_layout Standard
7867 \begin_inset Formula $\overbrace{abc}$
7875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7878 \begin_layout Standard
7889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7892 \begin_layout Standard
7895 \begin_inset Formula $\underbrace{abc}$
7903 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7906 \begin_layout Standard
7919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7922 \begin_layout Standard
7925 \begin_inset Formula $\sqrt{abc}$
7933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7936 \begin_layout Standard
7947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7950 \begin_layout Standard
7953 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
7961 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7964 \begin_layout Standard
7979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7982 \begin_layout Standard
7985 \begin_inset Formula $f'$
7993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7996 \begin_layout Standard
8005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8008 \begin_layout Standard
8011 \begin_inset Formula $\frac{abc}{xyz}$
8019 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8022 \begin_layout Standard
8042 \begin_inset Caption
8046 LaTeX math constructs
8059 \begin_layout Standard
8062 \begin_inset Float table
8068 \begin_layout Standard
8071 \begin_inset Tabular
8072 <lyxtabular version="3" rows="1" columns="10">
8074 <column alignment="right" valignment="top" width="0pt">
8075 <column alignment="left" valignment="top" width="0pt">
8076 <column alignment="right" valignment="top" width="0pt">
8077 <column alignment="left" valignment="top" width="0pt">
8078 <column alignment="right" valignment="top" width="0pt">
8079 <column alignment="left" valignment="top" width="0pt">
8080 <column alignment="right" valignment="top" width="0pt">
8081 <column alignment="left" valignment="top" width="0pt">
8082 <column alignment="right" valignment="top" width="0pt">
8083 <column alignment="left" valignment="top" width="0pt">
8085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8088 \begin_layout Standard
8091 \begin_inset Formula $\digamma$
8099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8102 \begin_layout Standard
8113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8116 \begin_layout Standard
8119 \begin_inset Formula $\varkappa$
8127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8130 \begin_layout Standard
8141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8144 \begin_layout Standard
8147 \begin_inset Formula $\beth$
8155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8158 \begin_layout Standard
8169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8172 \begin_layout Standard
8175 \begin_inset Formula $\daleth$
8183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8186 \begin_layout Standard
8197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8200 \begin_layout Standard
8203 \begin_inset Formula $\gimel$
8211 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8214 \begin_layout Standard
8234 \begin_inset Caption
8238 AMS Greek and Hebrew
8251 \begin_layout Standard
8254 \begin_inset Float table
8260 \begin_layout Standard
8263 \begin_inset Tabular
8264 <lyxtabular version="3" rows="1" columns="8">
8266 <column alignment="right" valignment="top" width="0pt">
8267 <column alignment="left" valignment="top" width="0pt">
8268 <column alignment="right" valignment="top" width="0pt">
8269 <column alignment="left" valignment="top" width="0pt">
8270 <column alignment="right" valignment="top" width="0pt">
8271 <column alignment="left" valignment="top" width="0pt">
8272 <column alignment="right" valignment="top" width="0pt">
8273 <column alignment="left" valignment="top" width="0pt">
8275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8278 \begin_layout Standard
8281 \begin_inset Formula $\ulcorner$
8289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8292 \begin_layout Standard
8303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8306 \begin_layout Standard
8309 \begin_inset Formula $\urcorner$
8317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8320 \begin_layout Standard
8331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8334 \begin_layout Standard
8337 \begin_inset Formula $\llcorner$
8345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8348 \begin_layout Standard
8359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8362 \begin_layout Standard
8365 \begin_inset Formula $\lrcorner$
8373 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8376 \begin_layout Standard
8396 \begin_inset Caption
8413 \begin_layout Standard
8416 \begin_inset Float table
8422 \begin_layout Standard
8425 \begin_inset Tabular
8426 <lyxtabular version="3" rows="11" columns="6">
8428 <column alignment="right" valignment="top" width="0pt">
8429 <column alignment="left" valignment="top" width="0pt">
8430 <column alignment="right" valignment="top" width="0pt">
8431 <column alignment="left" valignment="top" width="0pt">
8432 <column alignment="right" valignment="top" width="0pt">
8433 <column alignment="left" valignment="top" width="0pt">
8435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8438 \begin_layout Standard
8441 \begin_inset Formula $\dashrightarrow$
8449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8452 \begin_layout Standard
8463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8466 \begin_layout Standard
8469 \begin_inset Formula $\dashleftarrow$
8477 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8480 \begin_layout Standard
8491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8494 \begin_layout Standard
8497 \begin_inset Formula $\leftleftarrows$
8505 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8508 \begin_layout Standard
8521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8524 \begin_layout Standard
8527 \begin_inset Formula $\leftrightarrows$
8535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8538 \begin_layout Standard
8549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8552 \begin_layout Standard
8555 \begin_inset Formula $\Lleftarrow$
8563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8566 \begin_layout Standard
8577 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8580 \begin_layout Standard
8583 \begin_inset Formula $\twoheadleftarrow$
8591 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8594 \begin_layout Standard
8607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8610 \begin_layout Standard
8613 \begin_inset Formula $\leftarrowtail$
8621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8624 \begin_layout Standard
8635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8638 \begin_layout Standard
8641 \begin_inset Formula $\looparrowleft$
8649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8652 \begin_layout Standard
8663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8666 \begin_layout Standard
8669 \begin_inset Formula $\leftrightharpoons$
8677 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8680 \begin_layout Standard
8693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8696 \begin_layout Standard
8699 \begin_inset Formula $\curvearrowleft$
8707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8710 \begin_layout Standard
8721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8724 \begin_layout Standard
8727 \begin_inset Formula $\circlearrowleft$
8735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8738 \begin_layout Standard
8749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8752 \begin_layout Standard
8755 \begin_inset Formula $\Lsh$
8763 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8766 \begin_layout Standard
8779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8782 \begin_layout Standard
8785 \begin_inset Formula $\upuparrows$
8793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8796 \begin_layout Standard
8807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8810 \begin_layout Standard
8813 \begin_inset Formula $\upharpoonleft$
8821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8824 \begin_layout Standard
8835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8838 \begin_layout Standard
8841 \begin_inset Formula $\downharpoonleft$
8849 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8852 \begin_layout Standard
8865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8868 \begin_layout Standard
8871 \begin_inset Formula $\multimap$
8879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8882 \begin_layout Standard
8893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8896 \begin_layout Standard
8899 \begin_inset Formula $\leftrightsquigarrow$
8907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8910 \begin_layout Standard
8921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8924 \begin_layout Standard
8927 \begin_inset Formula $\rightrightarrows$
8935 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8938 \begin_layout Standard
8951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8954 \begin_layout Standard
8957 \begin_inset Formula $\rightleftarrows$
8965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8968 \begin_layout Standard
8979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8982 \begin_layout Standard
8985 \begin_inset Formula $\rightrightarrows$
8993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8996 \begin_layout Standard
9007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9010 \begin_layout Standard
9013 \begin_inset Formula $\rightleftarrows$
9021 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9024 \begin_layout Standard
9037 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9040 \begin_layout Standard
9043 \begin_inset Formula $\twoheadrightarrow$
9051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9054 \begin_layout Standard
9065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9068 \begin_layout Standard
9071 \begin_inset Formula $\rightarrowtail$
9079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9082 \begin_layout Standard
9093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9096 \begin_layout Standard
9099 \begin_inset Formula $\looparrowright$
9107 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9110 \begin_layout Standard
9123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9126 \begin_layout Standard
9129 \begin_inset Formula $\rightleftharpoons$
9137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9140 \begin_layout Standard
9151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9154 \begin_layout Standard
9157 \begin_inset Formula $\curvearrowright$
9165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9168 \begin_layout Standard
9179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9182 \begin_layout Standard
9185 \begin_inset Formula $\circlearrowright$
9193 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9196 \begin_layout Standard
9209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9212 \begin_layout Standard
9215 \begin_inset Formula $\Rsh$
9223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9226 \begin_layout Standard
9237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9240 \begin_layout Standard
9243 \begin_inset Formula $\downdownarrows$
9251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9254 \begin_layout Standard
9265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9268 \begin_layout Standard
9271 \begin_inset Formula $\upharpoonright$
9279 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9282 \begin_layout Standard
9295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9298 \begin_layout Standard
9301 \begin_inset Formula $\downharpoonright$
9309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9312 \begin_layout Standard
9323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9326 \begin_layout Standard
9329 \begin_inset Formula $\rightsquigarrow$
9337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9340 \begin_layout Standard
9351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9354 \begin_layout Standard
9360 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9363 \begin_layout Standard
9378 \begin_inset Caption
9395 \begin_layout Standard
9398 \begin_inset Float table
9404 \begin_layout Standard
9407 \begin_inset Tabular
9408 <lyxtabular version="3" rows="2" columns="6">
9410 <column alignment="right" valignment="top" width="0pt">
9411 <column alignment="left" valignment="top" width="0pt">
9412 <column alignment="right" valignment="top" width="0pt">
9413 <column alignment="left" valignment="top" width="0pt">
9414 <column alignment="right" valignment="top" width="0pt">
9415 <column alignment="left" valignment="top" width="0pt">
9417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9420 \begin_layout Standard
9423 \begin_inset Formula $\nleftarrow$
9431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9434 \begin_layout Standard
9445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9448 \begin_layout Standard
9451 \begin_inset Formula $\nrightarrow$
9459 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9462 \begin_layout Standard
9473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9476 \begin_layout Standard
9479 \begin_inset Formula $\nLeftarrow$
9487 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9490 \begin_layout Standard
9503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9506 \begin_layout Standard
9509 \begin_inset Formula $\nRightarrow$
9517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9520 \begin_layout Standard
9531 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9534 \begin_layout Standard
9537 \begin_inset Formula $\nleftrightarrow$
9545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9548 \begin_layout Standard
9559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9562 \begin_layout Standard
9565 \begin_inset Formula $\nLeftrightarrow$
9573 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9576 \begin_layout Standard
9596 \begin_inset Caption
9613 \begin_layout Standard
9616 \begin_inset Float table
9622 \begin_layout Standard
9625 \begin_inset Tabular
9626 <lyxtabular version="3" rows="22" columns="6">
9628 <column alignment="right" valignment="top" width="0pt">
9629 <column alignment="left" valignment="top" width="0pt">
9630 <column alignment="right" valignment="top" width="0pt">
9631 <column alignment="left" valignment="top" width="0pt">
9632 <column alignment="right" valignment="top" width="0pt">
9633 <column alignment="left" valignment="top" width="0pt">
9635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9638 \begin_layout Standard
9641 \begin_inset Formula $\leqq$
9649 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9652 \begin_layout Standard
9663 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9666 \begin_layout Standard
9669 \begin_inset Formula $\leqslant$
9677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9680 \begin_layout Standard
9691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9694 \begin_layout Standard
9697 \begin_inset Formula $\eqslantless$
9705 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9708 \begin_layout Standard
9721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9724 \begin_layout Standard
9727 \begin_inset Formula $\lesssim$
9735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9738 \begin_layout Standard
9749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9752 \begin_layout Standard
9755 \begin_inset Formula $\lessapprox$
9763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9766 \begin_layout Standard
9777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9780 \begin_layout Standard
9783 \begin_inset Formula $\approxeq$
9791 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9794 \begin_layout Standard
9807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9810 \begin_layout Standard
9813 \begin_inset Formula $\lessdot$
9821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9824 \begin_layout Standard
9835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9838 \begin_layout Standard
9841 \begin_inset Formula $\lll$
9849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9852 \begin_layout Standard
9863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9866 \begin_layout Standard
9869 \begin_inset Formula $\lessgtr$
9877 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9880 \begin_layout Standard
9893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9896 \begin_layout Standard
9899 \begin_inset Formula $\lesseqgtr$
9907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9910 \begin_layout Standard
9921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9924 \begin_layout Standard
9927 \begin_inset Formula $\lesseqqgtr$
9935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9938 \begin_layout Standard
9949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9952 \begin_layout Standard
9955 \begin_inset Formula $\doteqdot$
9963 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9966 \begin_layout Standard
9979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9982 \begin_layout Standard
9985 \begin_inset Formula $\risingdotseq$
9993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9996 \begin_layout Standard
10007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10010 \begin_layout Standard
10013 \begin_inset Formula $\fallingdotseq$
10021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10024 \begin_layout Standard
10035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10038 \begin_layout Standard
10041 \begin_inset Formula $\backsim$
10049 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10052 \begin_layout Standard
10065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10068 \begin_layout Standard
10071 \begin_inset Formula $\backsimeq$
10079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10082 \begin_layout Standard
10093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10096 \begin_layout Standard
10099 \begin_inset Formula $\subseteqq$
10107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10110 \begin_layout Standard
10121 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10124 \begin_layout Standard
10127 \begin_inset Formula $\Subset$
10135 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10138 \begin_layout Standard
10151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10154 \begin_layout Standard
10157 \begin_inset Formula $\sqsubset$
10165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10168 \begin_layout Standard
10179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10182 \begin_layout Standard
10185 \begin_inset Formula $\preccurlyeq$
10193 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10196 \begin_layout Standard
10207 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10210 \begin_layout Standard
10213 \begin_inset Formula $\curlyeqprec$
10221 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10224 \begin_layout Standard
10237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10240 \begin_layout Standard
10243 \begin_inset Formula $\precsim$
10251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10254 \begin_layout Standard
10265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10268 \begin_layout Standard
10271 \begin_inset Formula $\precapprox$
10279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10282 \begin_layout Standard
10293 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10296 \begin_layout Standard
10299 \begin_inset Formula $\vartriangleleft$
10307 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10310 \begin_layout Standard
10323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10326 \begin_layout Standard
10329 \begin_inset Formula $\trianglelefteq$
10337 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10340 \begin_layout Standard
10351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10354 \begin_layout Standard
10357 \begin_inset Formula $\vDash$
10365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10368 \begin_layout Standard
10379 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10382 \begin_layout Standard
10385 \begin_inset Formula $\Vvdash$
10393 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10396 \begin_layout Standard
10409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10412 \begin_layout Standard
10415 \begin_inset Formula $\smallsmile$
10423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10426 \begin_layout Standard
10437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10440 \begin_layout Standard
10443 \begin_inset Formula $\smallfrown$
10451 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10454 \begin_layout Standard
10465 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10468 \begin_layout Standard
10471 \begin_inset Formula $\bumpeq$
10479 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10482 \begin_layout Standard
10495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10498 \begin_layout Standard
10501 \begin_inset Formula $\Bumpeq$
10509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10512 \begin_layout Standard
10523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10526 \begin_layout Standard
10529 \begin_inset Formula $\geqq$
10537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10540 \begin_layout Standard
10551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10554 \begin_layout Standard
10557 \begin_inset Formula $\geqslant$
10565 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10568 \begin_layout Standard
10581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10584 \begin_layout Standard
10587 \begin_inset Formula $\eqslantgtr$
10595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10598 \begin_layout Standard
10609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10612 \begin_layout Standard
10615 \begin_inset Formula $\gtrsim$
10623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10626 \begin_layout Standard
10637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10640 \begin_layout Standard
10643 \begin_inset Formula $\gtrapprox$
10651 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10654 \begin_layout Standard
10667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10670 \begin_layout Standard
10673 \begin_inset Formula $\gtrdot$
10681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10684 \begin_layout Standard
10695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10698 \begin_layout Standard
10701 \begin_inset Formula $\ggg$
10709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10712 \begin_layout Standard
10723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10726 \begin_layout Standard
10729 \begin_inset Formula $\gtrless$
10737 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10740 \begin_layout Standard
10753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10756 \begin_layout Standard
10759 \begin_inset Formula $\gtreqless$
10767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10770 \begin_layout Standard
10781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10784 \begin_layout Standard
10787 \begin_inset Formula $\gtreqqless$
10795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10798 \begin_layout Standard
10809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10812 \begin_layout Standard
10815 \begin_inset Formula $\eqcirc$
10823 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10826 \begin_layout Standard
10839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10842 \begin_layout Standard
10845 \begin_inset Formula $\circeq$
10853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10856 \begin_layout Standard
10867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10870 \begin_layout Standard
10873 \begin_inset Formula $\triangleq$
10881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10884 \begin_layout Standard
10895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10898 \begin_layout Standard
10901 \begin_inset Formula $\thicksim$
10909 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10912 \begin_layout Standard
10925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10928 \begin_layout Standard
10931 \begin_inset Formula $\thickapprox$
10939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10942 \begin_layout Standard
10953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10956 \begin_layout Standard
10959 \begin_inset Formula $\supseteqq$
10967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10970 \begin_layout Standard
10981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10984 \begin_layout Standard
10987 \begin_inset Formula $\Supset$
10995 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10998 \begin_layout Standard
11011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11014 \begin_layout Standard
11017 \begin_inset Formula $\sqsupset$
11025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11028 \begin_layout Standard
11039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11042 \begin_layout Standard
11045 \begin_inset Formula $\succcurlyeq$
11053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11056 \begin_layout Standard
11067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11070 \begin_layout Standard
11073 \begin_inset Formula $\curlyeqsucc$
11081 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11084 \begin_layout Standard
11097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11100 \begin_layout Standard
11103 \begin_inset Formula $\succsim$
11111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11114 \begin_layout Standard
11125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11128 \begin_layout Standard
11131 \begin_inset Formula $\succapprox$
11139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11142 \begin_layout Standard
11153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11156 \begin_layout Standard
11159 \begin_inset Formula $\vartriangleright$
11167 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11170 \begin_layout Standard
11183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11186 \begin_layout Standard
11189 \begin_inset Formula $\trianglerighteq$
11197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11200 \begin_layout Standard
11211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11214 \begin_layout Standard
11217 \begin_inset Formula $\Vdash$
11225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11228 \begin_layout Standard
11239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11242 \begin_layout Standard
11245 \begin_inset Formula $\shortmid$
11253 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11256 \begin_layout Standard
11269 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11272 \begin_layout Standard
11275 \begin_inset Formula $\shortparallel$
11283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11286 \begin_layout Standard
11297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11300 \begin_layout Standard
11303 \begin_inset Formula $\between$
11311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11314 \begin_layout Standard
11325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11328 \begin_layout Standard
11331 \begin_inset Formula $\pitchfork$
11339 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11342 \begin_layout Standard
11355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11358 \begin_layout Standard
11361 \begin_inset Formula $\varpropto$
11369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11372 \begin_layout Standard
11383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11386 \begin_layout Standard
11389 \begin_inset Formula $\blacktriangleleft$
11397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11400 \begin_layout Standard
11411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11414 \begin_layout Standard
11417 \begin_inset Formula $\therefore$
11425 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11428 \begin_layout Standard
11441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11444 \begin_layout Standard
11447 \begin_inset Formula $\backepsilon$
11455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11458 \begin_layout Standard
11469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11472 \begin_layout Standard
11475 \begin_inset Formula $\blacktriangleright$
11483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11486 \begin_layout Standard
11497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11500 \begin_layout Standard
11503 \begin_inset Formula $\because$
11511 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11514 \begin_layout Standard
11534 \begin_inset Caption
11538 AMS binary relations
11551 \begin_layout Standard
11554 \begin_inset Float table
11560 \begin_layout Standard
11563 \begin_inset Tabular
11564 <lyxtabular version="3" rows="17" columns="6">
11566 <column alignment="right" valignment="top" width="0pt">
11567 <column alignment="left" valignment="top" width="0pt">
11568 <column alignment="right" valignment="top" width="0pt">
11569 <column alignment="left" valignment="top" width="0pt">
11570 <column alignment="right" valignment="top" width="0pt">
11571 <column alignment="left" valignment="top" width="0pt">
11573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11576 \begin_layout Standard
11579 \begin_inset Formula $\nless$
11587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11590 \begin_layout Standard
11601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11604 \begin_layout Standard
11607 \begin_inset Formula $\nleq$
11615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11618 \begin_layout Standard
11629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11632 \begin_layout Standard
11635 \begin_inset Formula $\nleqslant$
11643 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11646 \begin_layout Standard
11659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11662 \begin_layout Standard
11665 \begin_inset Formula $\nleqq$
11673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11676 \begin_layout Standard
11687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11690 \begin_layout Standard
11693 \begin_inset Formula $\lneq$
11701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11704 \begin_layout Standard
11715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11718 \begin_layout Standard
11721 \begin_inset Formula $\lneqq$
11729 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11732 \begin_layout Standard
11745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11748 \begin_layout Standard
11751 \begin_inset Formula $\lvertneqq$
11759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11762 \begin_layout Standard
11773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11776 \begin_layout Standard
11779 \begin_inset Formula $\lnsim$
11787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11790 \begin_layout Standard
11801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11804 \begin_layout Standard
11807 \begin_inset Formula $\lnapprox$
11815 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11818 \begin_layout Standard
11831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11834 \begin_layout Standard
11837 \begin_inset Formula $\nprec$
11845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11848 \begin_layout Standard
11859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11862 \begin_layout Standard
11865 \begin_inset Formula $\npreceq$
11873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11876 \begin_layout Standard
11887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11890 \begin_layout Standard
11893 \begin_inset Formula $\precnsim$
11901 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11904 \begin_layout Standard
11917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11920 \begin_layout Standard
11923 \begin_inset Formula $\precnapprox$
11931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11934 \begin_layout Standard
11945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11948 \begin_layout Standard
11951 \begin_inset Formula $\nsim$
11959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11962 \begin_layout Standard
11973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11976 \begin_layout Standard
11979 \begin_inset Formula $\nshortmid$
11987 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11990 \begin_layout Standard
12003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12006 \begin_layout Standard
12009 \begin_inset Formula $\nmid$
12017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12020 \begin_layout Standard
12031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12034 \begin_layout Standard
12037 \begin_inset Formula $\nvdash$
12045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12048 \begin_layout Standard
12059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12062 \begin_layout Standard
12065 \begin_inset Formula $\nvDash$
12073 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12076 \begin_layout Standard
12089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12092 \begin_layout Standard
12095 \begin_inset Formula $\ntriangleleft$
12103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12106 \begin_layout Standard
12117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12120 \begin_layout Standard
12123 \begin_inset Formula $\ntrianglelefteq$
12131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12134 \begin_layout Standard
12145 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12148 \begin_layout Standard
12151 \begin_inset Formula $\nsubseteq$
12159 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12162 \begin_layout Standard
12175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12178 \begin_layout Standard
12181 \begin_inset Formula $\subsetneq$
12189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12192 \begin_layout Standard
12203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12206 \begin_layout Standard
12209 \begin_inset Formula $\varsubsetneq$
12217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12220 \begin_layout Standard
12231 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12234 \begin_layout Standard
12237 \begin_inset Formula $\subsetneqq$
12245 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12248 \begin_layout Standard
12261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12264 \begin_layout Standard
12267 \begin_inset Formula $\varsubsetneqq$
12275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12278 \begin_layout Standard
12289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12292 \begin_layout Standard
12295 \begin_inset Formula $\ngtr$
12303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12306 \begin_layout Standard
12317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12320 \begin_layout Standard
12323 \begin_inset Formula $\ngeq$
12331 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12334 \begin_layout Standard
12347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12350 \begin_layout Standard
12353 \begin_inset Formula $\ngeqslant$
12361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12364 \begin_layout Standard
12375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12378 \begin_layout Standard
12381 \begin_inset Formula $\ngeqq$
12389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12392 \begin_layout Standard
12403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12406 \begin_layout Standard
12409 \begin_inset Formula $\gneq$
12417 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12420 \begin_layout Standard
12433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12436 \begin_layout Standard
12439 \begin_inset Formula $\gneqq$
12447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12450 \begin_layout Standard
12461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12464 \begin_layout Standard
12467 \begin_inset Formula $\gvertneqq$
12475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12478 \begin_layout Standard
12489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12492 \begin_layout Standard
12495 \begin_inset Formula $\gnsim$
12503 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12506 \begin_layout Standard
12519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12522 \begin_layout Standard
12525 \begin_inset Formula $\gnapprox$
12533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12536 \begin_layout Standard
12547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12550 \begin_layout Standard
12553 \begin_inset Formula $\nsucc$
12561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12564 \begin_layout Standard
12575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12578 \begin_layout Standard
12581 \begin_inset Formula $\nsucceq$
12589 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12592 \begin_layout Standard
12605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12608 \begin_layout Standard
12611 \begin_inset Formula $\succnsim$
12619 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12622 \begin_layout Standard
12633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12636 \begin_layout Standard
12639 \begin_inset Formula $\succnapprox$
12647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12650 \begin_layout Standard
12661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12664 \begin_layout Standard
12667 \begin_inset Formula $\ncong$
12675 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12678 \begin_layout Standard
12691 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12694 \begin_layout Standard
12697 \begin_inset Formula $\nshortparallel$
12705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12708 \begin_layout Standard
12719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12722 \begin_layout Standard
12725 \begin_inset Formula $\nparallel$
12733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12736 \begin_layout Standard
12747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12750 \begin_layout Standard
12753 \begin_inset Formula $\nvDash$
12761 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12764 \begin_layout Standard
12777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12780 \begin_layout Standard
12783 \begin_inset Formula $\nVDash$
12791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12794 \begin_layout Standard
12805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12808 \begin_layout Standard
12811 \begin_inset Formula $\ntriangleright$
12819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12822 \begin_layout Standard
12833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12836 \begin_layout Standard
12839 \begin_inset Formula $\ntrianglerighteq$
12847 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12850 \begin_layout Standard
12863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12866 \begin_layout Standard
12869 \begin_inset Formula $\nsupseteq$
12877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12880 \begin_layout Standard
12891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12894 \begin_layout Standard
12897 \begin_inset Formula $\nsupseteqq$
12905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12908 \begin_layout Standard
12919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12922 \begin_layout Standard
12925 \begin_inset Formula $\supsetneq$
12933 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12936 \begin_layout Standard
12949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12952 \begin_layout Standard
12955 \begin_inset Formula $\varsupsetneq$
12963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12966 \begin_layout Standard
12977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12980 \begin_layout Standard
12983 \begin_inset Formula $\supsetneqq$
12991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12994 \begin_layout Standard
13005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13008 \begin_layout Standard
13011 \begin_inset Formula $\varsupsetneqq$
13019 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13022 \begin_layout Standard
13042 \begin_inset Caption
13046 AMS negated binary relations
13059 \begin_layout Standard
13062 \begin_inset Float table
13068 \begin_layout Standard
13071 \begin_inset Tabular
13072 <lyxtabular version="3" rows="8" columns="6">
13074 <column alignment="right" valignment="top" width="0pt">
13075 <column alignment="left" valignment="top" width="0pt">
13076 <column alignment="right" valignment="top" width="0pt">
13077 <column alignment="left" valignment="top" width="0pt">
13078 <column alignment="right" valignment="top" width="0pt">
13079 <column alignment="left" valignment="top" width="0pt">
13081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13084 \begin_layout Standard
13087 \begin_inset Formula $\dotplus$
13095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13098 \begin_layout Standard
13109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13112 \begin_layout Standard
13115 \begin_inset Formula $\smallsetminus$
13123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13126 \begin_layout Standard
13137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13140 \begin_layout Standard
13143 \begin_inset Formula $\Cap$
13151 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13154 \begin_layout Standard
13167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13170 \begin_layout Standard
13173 \begin_inset Formula $\Cup$
13181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13184 \begin_layout Standard
13195 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13198 \begin_layout Standard
13201 \begin_inset Formula $\barwedge$
13209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13212 \begin_layout Standard
13223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13226 \begin_layout Standard
13229 \begin_inset Formula $\veebar$
13237 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13240 \begin_layout Standard
13253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13256 \begin_layout Standard
13259 \begin_inset Formula $\doublebarwedge$
13267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13270 \begin_layout Standard
13281 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13284 \begin_layout Standard
13287 \begin_inset Formula $\boxminus$
13295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13298 \begin_layout Standard
13309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13312 \begin_layout Standard
13315 \begin_inset Formula $\boxtimes$
13323 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13326 \begin_layout Standard
13339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13342 \begin_layout Standard
13345 \begin_inset Formula $\boxdot$
13353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13356 \begin_layout Standard
13367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13370 \begin_layout Standard
13373 \begin_inset Formula $\boxplus$
13381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13384 \begin_layout Standard
13395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13398 \begin_layout Standard
13401 \begin_inset Formula $\divideontimes$
13409 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13412 \begin_layout Standard
13425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13428 \begin_layout Standard
13431 \begin_inset Formula $\ltimes$
13439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13442 \begin_layout Standard
13453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13456 \begin_layout Standard
13459 \begin_inset Formula $\rtimes$
13467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13470 \begin_layout Standard
13481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13484 \begin_layout Standard
13487 \begin_inset Formula $\leftthreetimes$
13495 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13498 \begin_layout Standard
13511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13514 \begin_layout Standard
13517 \begin_inset Formula $\rightthreetimes$
13525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13528 \begin_layout Standard
13539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13542 \begin_layout Standard
13545 \begin_inset Formula $\curlywedge$
13553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13556 \begin_layout Standard
13567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13570 \begin_layout Standard
13573 \begin_inset Formula $\curlyvee$
13581 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13584 \begin_layout Standard
13597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13600 \begin_layout Standard
13603 \begin_inset Formula $\circleddash$
13611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13614 \begin_layout Standard
13625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13628 \begin_layout Standard
13631 \begin_inset Formula $\circledast$
13639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13642 \begin_layout Standard
13653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13656 \begin_layout Standard
13659 \begin_inset Formula $\circledcirc$
13667 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13670 \begin_layout Standard
13683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13686 \begin_layout Standard
13689 \begin_inset Formula $\centerdot$
13697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13700 \begin_layout Standard
13711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13714 \begin_layout Standard
13717 \begin_inset Formula $\intercal$
13725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13728 \begin_layout Standard
13739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13742 \begin_layout Standard
13748 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13751 \begin_layout Standard
13766 \begin_inset Caption
13770 AMS binary operators
13783 \begin_layout Standard
13786 \begin_inset Float table
13792 \begin_layout Standard
13795 \begin_inset Tabular
13796 <lyxtabular version="3" rows="9" columns="6">
13798 <column alignment="right" valignment="top" width="0pt">
13799 <column alignment="left" valignment="top" width="0pt">
13800 <column alignment="right" valignment="top" width="0pt">
13801 <column alignment="left" valignment="top" width="0pt">
13802 <column alignment="right" valignment="top" width="0pt">
13803 <column alignment="left" valignment="top" width="0pt">
13805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13808 \begin_layout Standard
13811 \begin_inset Formula $\hbar$
13819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13822 \begin_layout Standard
13833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13836 \begin_layout Standard
13839 \begin_inset Formula $\hslash$
13847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13850 \begin_layout Standard
13861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13864 \begin_layout Standard
13867 \begin_inset Formula $\vartriangle$
13875 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13878 \begin_layout Standard
13891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13894 \begin_layout Standard
13897 \begin_inset Formula $\triangledown$
13905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13908 \begin_layout Standard
13919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13922 \begin_layout Standard
13925 \begin_inset Formula $\square$
13933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13936 \begin_layout Standard
13947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13950 \begin_layout Standard
13953 \begin_inset Formula $\lozenge$
13961 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13964 \begin_layout Standard
13977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13980 \begin_layout Standard
13983 \begin_inset Formula $\circledS$
13991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13994 \begin_layout Standard
14005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14008 \begin_layout Standard
14011 \begin_inset Formula $\angle$
14019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14022 \begin_layout Standard
14033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14036 \begin_layout Standard
14039 \begin_inset Formula $\measuredangle$
14047 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14050 \begin_layout Standard
14063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14066 \begin_layout Standard
14069 \begin_inset Formula $\nexists$
14077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14080 \begin_layout Standard
14091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14094 \begin_layout Standard
14097 \begin_inset Formula $\mho$
14105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14108 \begin_layout Standard
14119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14122 \begin_layout Standard
14125 \begin_inset Formula $\Finv$
14133 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14136 \begin_layout Standard
14149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14152 \begin_layout Standard
14155 \begin_inset Formula $\Game$
14163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14166 \begin_layout Standard
14177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14180 \begin_layout Standard
14183 \begin_inset Formula $\Bbbk$
14191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14194 \begin_layout Standard
14205 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14208 \begin_layout Standard
14211 \begin_inset Formula $\backprime$
14219 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14222 \begin_layout Standard
14235 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14238 \begin_layout Standard
14241 \begin_inset Formula $\varnothing$
14249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14252 \begin_layout Standard
14263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14266 \begin_layout Standard
14269 \begin_inset Formula $\blacktriangle$
14277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14280 \begin_layout Standard
14291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14294 \begin_layout Standard
14297 \begin_inset Formula $\blacktriangledown$
14305 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14308 \begin_layout Standard
14321 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14324 \begin_layout Standard
14327 \begin_inset Formula $\blacksquare$
14335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14338 \begin_layout Standard
14349 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14352 \begin_layout Standard
14355 \begin_inset Formula $\blacklozenge$
14363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14366 \begin_layout Standard
14377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14380 \begin_layout Standard
14383 \begin_inset Formula $\bigstar$
14391 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14394 \begin_layout Standard
14407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14410 \begin_layout Standard
14413 \begin_inset Formula $\sphericalangle$
14421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14424 \begin_layout Standard
14435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14438 \begin_layout Standard
14441 \begin_inset Formula $\complement$
14449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14452 \begin_layout Standard
14463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14466 \begin_layout Standard
14469 \begin_inset Formula $\eth$
14477 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14480 \begin_layout Standard
14493 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14496 \begin_layout Standard
14499 \begin_inset Formula $\diagup$
14507 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14510 \begin_layout Standard
14521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14524 \begin_layout Standard
14527 \begin_inset Formula $\diagdown$
14535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14538 \begin_layout Standard
14549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14552 \begin_layout Standard
14558 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14561 \begin_layout Standard
14576 \begin_inset Caption