1 #LyX 1.4.0cvs created this file. For more info see http://www.lyx.org/
11 \paperfontsize default
18 \paperorientation portrait
21 \paragraph_separation indent
23 \quotes_language english
27 \paperpagestyle default
28 \tracking_changes false
39 Converting to and from mathed
42 \begin_layout Standard
44 Math can be typed in the body of the document and converted to mathed-mode
45 by highlighting it and typing
51 The text can be bounded with delimiters or not.
52 That is, highlighting any of the formulae below:
55 \begin_layout Standard
59 <lyxtabular version="3" rows="5" columns="1">
61 <column alignment="left" valignment="top" width="0pt">
63 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
66 \begin_layout Standard
81 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
84 \begin_layout Standard
99 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
102 \begin_layout Standard
113 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
116 \begin_layout Standard
131 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
134 \begin_layout Standard
155 \begin_layout Standard
160 \begin_layout Standard
163 \begin_inset Formula \begin{equation}
164 \frac{abc}{xyz}\end{equation}
171 \begin_layout Standard
173 At present, no formal way exists to convert the contents of a math inset
174 back into plain text.
175 It can be done using a
176 \begin_inset Quotes eld
180 \begin_inset Quotes erd
184 Highlight the contents of a math inset (not the math inset itself, just
185 the contents), but do
189 copy it into LyX's buffer.
190 It is now stored in the X system buffer and can be pasted back into the
191 document using the middle mouse button.
194 \begin_layout Section
196 Displaying LaTeX symbols
199 \begin_layout Standard
201 Historically, LyX has provided visual support for a relatively small subset
202 of the math symbols available in LaTeX.
203 That changes with version 1.2; we now have visual support for most of the
204 symbols defined in basic LaTeX and
208 the extra ones defined by the AMS.
209 For completeness, the tables of symbols in Lamport's and in Goosen's books
213 \begin_layout Section
215 Some example math tables
218 \begin_layout Standard
220 The following tables from Goossen et al.'s
221 \begin_inset Quotes eld
225 \begin_inset Quotes erd
228 should appear on the screen in all their glory.
231 \begin_layout Standard
237 \begin_layout Standard
243 \begin_layout Standard
247 \begin_layout Standard
262 \begin_layout Standard
265 \begin_inset Float table
271 \begin_layout Standard
275 <lyxtabular version="3" rows="2" columns="10">
277 <column alignment="right" valignment="top" width="0pt">
278 <column alignment="left" valignment="top" width="0pt">
279 <column alignment="right" valignment="top" width="0pt">
280 <column alignment="left" valignment="top" width="0pt">
281 <column alignment="right" valignment="top" width="0pt">
282 <column alignment="left" valignment="top" width="0pt">
283 <column alignment="right" valignment="top" width="0pt">
284 <column alignment="left" valignment="top" width="0pt">
285 <column alignment="right" valignment="top" width="0pt">
286 <column alignment="left" valignment="top" width="0pt">
288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
291 \begin_layout Standard
296 \begin_inset Formula $\hat{a}$
304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
307 \begin_layout Standard
318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
321 \begin_layout Standard
326 \begin_inset Formula $\acute{a}$
334 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
337 \begin_layout Standard
348 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
351 \begin_layout Standard
356 \begin_inset Formula $\bar{a}$
364 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
367 \begin_layout Standard
378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
381 \begin_layout Standard
386 \begin_inset Formula $\dot{a}$
394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
397 \begin_layout Standard
408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
411 \begin_layout Standard
416 \begin_inset Formula $\breve{a}$
424 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
427 \begin_layout Standard
440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
443 \begin_layout Standard
448 \begin_inset Formula $\check{a}$
456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
459 \begin_layout Standard
470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
473 \begin_layout Standard
478 \begin_inset Formula $\grave{a}$
486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
489 \begin_layout Standard
500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
503 \begin_layout Standard
508 \begin_inset Formula $\vec{a}$
516 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
519 \begin_layout Standard
530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
533 \begin_layout Standard
538 \begin_inset Formula $\ddot{a}$
546 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
549 \begin_layout Standard
560 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
563 \begin_layout Standard
568 \begin_inset Formula $\tilde{a}$
576 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
579 \begin_layout Standard
598 \begin_layout Caption
608 \begin_layout Standard
611 \begin_inset Float table
617 \begin_layout Standard
621 <lyxtabular version="3" rows="11" columns="8">
623 <column alignment="right" valignment="top" width="0pt">
624 <column alignment="left" valignment="top" width="0pt">
625 <column alignment="right" valignment="top" width="0pt">
626 <column alignment="left" valignment="top" width="0pt">
627 <column alignment="right" valignment="top" width="0pt">
628 <column alignment="left" valignment="top" width="0pt">
629 <column alignment="right" valignment="top" width="0pt">
630 <column alignment="left" valignment="top" width="0pt">
632 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
635 \begin_layout Standard
638 \begin_inset Formula $\alpha$
646 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
649 \begin_layout Standard
660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
663 \begin_layout Standard
666 \begin_inset Formula $\beta$
674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
677 \begin_layout Standard
688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
691 \begin_layout Standard
694 \begin_inset Formula $\gamma$
702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
705 \begin_layout Standard
716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
719 \begin_layout Standard
722 \begin_inset Formula $\delta$
730 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
733 \begin_layout Standard
746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
749 \begin_layout Standard
752 \begin_inset Formula $\epsilon$
760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
763 \begin_layout Standard
774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
777 \begin_layout Standard
780 \begin_inset Formula $\varepsilon$
788 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
791 \begin_layout Standard
802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
805 \begin_layout Standard
808 \begin_inset Formula $\zeta$
816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
819 \begin_layout Standard
830 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
833 \begin_layout Standard
836 \begin_inset Formula $\eta$
844 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
847 \begin_layout Standard
860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
863 \begin_layout Standard
866 \begin_inset Formula $\theta$
874 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
877 \begin_layout Standard
888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
891 \begin_layout Standard
894 \begin_inset Formula $\vartheta$
902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
905 \begin_layout Standard
916 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
919 \begin_layout Standard
922 \begin_inset Formula $\iota$
930 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
933 \begin_layout Standard
944 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
947 \begin_layout Standard
950 \begin_inset Formula $\kappa$
958 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
961 \begin_layout Standard
974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
977 \begin_layout Standard
980 \begin_inset Formula $\lambda$
988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
991 \begin_layout Standard
1002 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1005 \begin_layout Standard
1008 \begin_inset Formula $\mu$
1016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1019 \begin_layout Standard
1030 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1033 \begin_layout Standard
1036 \begin_inset Formula $\nu$
1044 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1047 \begin_layout Standard
1058 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1061 \begin_layout Standard
1064 \begin_inset Formula $\xi$
1072 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1075 \begin_layout Standard
1088 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1091 \begin_layout Standard
1094 \begin_inset Formula $o$
1102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1105 \begin_layout Standard
1112 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1115 \begin_layout Standard
1118 \begin_inset Formula $\pi$
1126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1129 \begin_layout Standard
1140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1143 \begin_layout Standard
1146 \begin_inset Formula $\varpi$
1154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1157 \begin_layout Standard
1168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1171 \begin_layout Standard
1174 \begin_inset Formula $\rho$
1182 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1185 \begin_layout Standard
1198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1201 \begin_layout Standard
1204 \begin_inset Formula $\varrho$
1212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1215 \begin_layout Standard
1226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1229 \begin_layout Standard
1232 \begin_inset Formula $\sigma$
1240 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1243 \begin_layout Standard
1254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1257 \begin_layout Standard
1260 \begin_inset Formula $\varsigma$
1268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1271 \begin_layout Standard
1282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1285 \begin_layout Standard
1288 \begin_inset Formula $\tau$
1296 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1299 \begin_layout Standard
1312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1315 \begin_layout Standard
1318 \begin_inset Formula $\upsilon$
1326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1329 \begin_layout Standard
1340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1343 \begin_layout Standard
1346 \begin_inset Formula $\phi$
1354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1357 \begin_layout Standard
1368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1371 \begin_layout Standard
1374 \begin_inset Formula $\varphi$
1382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1385 \begin_layout Standard
1396 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1399 \begin_layout Standard
1402 \begin_inset Formula $\chi$
1410 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1413 \begin_layout Standard
1426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1429 \begin_layout Standard
1432 \begin_inset Formula $\psi$
1440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1443 \begin_layout Standard
1454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1457 \begin_layout Standard
1460 \begin_inset Formula $\omega$
1468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1471 \begin_layout Standard
1482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1485 \begin_layout Standard
1491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1494 \begin_layout Standard
1500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1503 \begin_layout Standard
1509 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1512 \begin_layout Standard
1520 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1523 \begin_layout Standard
1526 \begin_inset Formula $\Gamma$
1534 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1537 \begin_layout Standard
1548 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1551 \begin_layout Standard
1554 \begin_inset Formula $\Delta$
1562 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1565 \begin_layout Standard
1576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1579 \begin_layout Standard
1582 \begin_inset Formula $\Theta$
1590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1593 \begin_layout Standard
1604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1607 \begin_layout Standard
1610 \begin_inset Formula $\Lambda$
1618 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1621 \begin_layout Standard
1634 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1637 \begin_layout Standard
1640 \begin_inset Formula $\Xi$
1648 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1651 \begin_layout Standard
1662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1665 \begin_layout Standard
1668 \begin_inset Formula $\Pi$
1676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1679 \begin_layout Standard
1690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1693 \begin_layout Standard
1696 \begin_inset Formula $\Sigma$
1704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1707 \begin_layout Standard
1718 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1721 \begin_layout Standard
1724 \begin_inset Formula $\Upsilon$
1732 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1735 \begin_layout Standard
1748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1751 \begin_layout Standard
1754 \begin_inset Formula $\Phi$
1762 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1765 \begin_layout Standard
1776 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1779 \begin_layout Standard
1782 \begin_inset Formula $\Psi$
1790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1793 \begin_layout Standard
1804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1807 \begin_layout Standard
1810 \begin_inset Formula $\Omega$
1818 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1821 \begin_layout Standard
1832 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1835 \begin_layout Standard
1841 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1844 \begin_layout Standard
1858 \begin_layout Caption
1868 \begin_layout Standard
1871 \begin_inset Float table
1877 \begin_layout Standard
1880 \begin_inset Tabular
1881 <lyxtabular version="3" rows="9" columns="8">
1883 <column alignment="right" valignment="top" width="0pt">
1884 <column alignment="left" valignment="top" width="0pt">
1885 <column alignment="right" valignment="top" width="0pt">
1886 <column alignment="left" valignment="top" width="0pt">
1887 <column alignment="right" valignment="top" width="0pt">
1888 <column alignment="left" valignment="top" width="0pt">
1889 <column alignment="right" valignment="top" width="0pt">
1890 <column alignment="left" valignment="top" width="0pt">
1892 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1895 \begin_layout Standard
1898 \begin_inset Formula $\pm$
1906 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1909 \begin_layout Standard
1920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1923 \begin_layout Standard
1926 \begin_inset Formula $\cap$
1934 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1937 \begin_layout Standard
1948 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1951 \begin_layout Standard
1954 \begin_inset Formula $\diamond$
1962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1965 \begin_layout Standard
1976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1979 \begin_layout Standard
1982 \begin_inset Formula $\oplus$
1990 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1993 \begin_layout Standard
2006 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2009 \begin_layout Standard
2012 \begin_inset Formula $\mp$
2020 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2023 \begin_layout Standard
2034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2037 \begin_layout Standard
2040 \begin_inset Formula $\cup$
2048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2051 \begin_layout Standard
2062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2065 \begin_layout Standard
2068 \begin_inset Formula $\bigtriangleup$
2076 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2079 \begin_layout Standard
2090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2093 \begin_layout Standard
2096 \begin_inset Formula $\ominus$
2104 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2107 \begin_layout Standard
2120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2123 \begin_layout Standard
2126 \begin_inset Formula $\times$
2134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2137 \begin_layout Standard
2148 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2151 \begin_layout Standard
2154 \begin_inset Formula $\uplus$
2162 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2165 \begin_layout Standard
2176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2179 \begin_layout Standard
2182 \begin_inset Formula $\bigtriangledown$
2190 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2193 \begin_layout Standard
2204 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2207 \begin_layout Standard
2210 \begin_inset Formula $\otimes$
2218 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2221 \begin_layout Standard
2234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2237 \begin_layout Standard
2240 \begin_inset Formula $\div$
2248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2251 \begin_layout Standard
2262 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2265 \begin_layout Standard
2268 \begin_inset Formula $\sqcap$
2276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2279 \begin_layout Standard
2290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2293 \begin_layout Standard
2296 \begin_inset Formula $\triangleleft$
2304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2307 \begin_layout Standard
2318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2321 \begin_layout Standard
2324 \begin_inset Formula $\oslash$
2332 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2335 \begin_layout Standard
2348 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2351 \begin_layout Standard
2354 \begin_inset Formula $\ast$
2362 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2365 \begin_layout Standard
2376 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2379 \begin_layout Standard
2382 \begin_inset Formula $\sqcup$
2390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2393 \begin_layout Standard
2404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2407 \begin_layout Standard
2410 \begin_inset Formula $\triangleright$
2418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2421 \begin_layout Standard
2432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2435 \begin_layout Standard
2438 \begin_inset Formula $\odot$
2446 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2449 \begin_layout Standard
2462 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2465 \begin_layout Standard
2468 \begin_inset Formula $\star$
2476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2479 \begin_layout Standard
2490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2493 \begin_layout Standard
2496 \begin_inset Formula $\vee$
2504 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2507 \begin_layout Standard
2518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2521 \begin_layout Standard
2524 \begin_inset Formula $\lhd$
2532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2535 \begin_layout Standard
2546 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2549 \begin_layout Standard
2552 \begin_inset Formula $\bigcirc$
2560 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2563 \begin_layout Standard
2576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2579 \begin_layout Standard
2582 \begin_inset Formula $\circ$
2590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2593 \begin_layout Standard
2604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2607 \begin_layout Standard
2610 \begin_inset Formula $\wedge$
2618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2621 \begin_layout Standard
2632 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2635 \begin_layout Standard
2638 \begin_inset Formula $\rhd$
2646 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2649 \begin_layout Standard
2660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2663 \begin_layout Standard
2666 \begin_inset Formula $\dagger$
2674 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2677 \begin_layout Standard
2690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2693 \begin_layout Standard
2696 \begin_inset Formula $\bullet$
2704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2707 \begin_layout Standard
2718 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2721 \begin_layout Standard
2724 \begin_inset Formula $\setminus$
2732 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2735 \begin_layout Standard
2746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2749 \begin_layout Standard
2752 \begin_inset Formula $\unlhd$
2760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2763 \begin_layout Standard
2774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2777 \begin_layout Standard
2780 \begin_inset Formula $\ddagger$
2788 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2791 \begin_layout Standard
2804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2807 \begin_layout Standard
2810 \begin_inset Formula $\cdot$
2818 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2821 \begin_layout Standard
2832 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2835 \begin_layout Standard
2838 \begin_inset Formula $\wr$
2846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2849 \begin_layout Standard
2860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2863 \begin_layout Standard
2866 \begin_inset Formula $\unrhd$
2874 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2877 \begin_layout Standard
2888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2891 \begin_layout Standard
2894 \begin_inset Formula $\amalg$
2902 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2905 \begin_layout Standard
2924 \begin_layout Caption
2926 Binary operation symbols
2934 \begin_layout Standard
2937 \begin_inset Float table
2943 \begin_layout Standard
2946 \begin_inset Tabular
2947 <lyxtabular version="3" rows="8" columns="10">
2949 <column alignment="right" valignment="top" width="0pt">
2950 <column alignment="left" valignment="top" width="0pt">
2951 <column alignment="right" valignment="top" width="0pt">
2952 <column alignment="left" valignment="top" width="0pt">
2953 <column alignment="right" valignment="top" width="0pt">
2954 <column alignment="left" valignment="top" width="0pt">
2955 <column alignment="right" valignment="top" width="0pt">
2956 <column alignment="left" valignment="top" width="0pt">
2957 <column alignment="right" valignment="top" width="0pt">
2958 <column alignment="left" valignment="top" width="0pt">
2960 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2963 \begin_layout Standard
2966 \begin_inset Formula $\leq$
2974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2977 \begin_layout Standard
2990 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2993 \begin_layout Standard
2996 \begin_inset Formula $\geq$
3004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3007 \begin_layout Standard
3018 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3021 \begin_layout Standard
3024 \begin_inset Formula $\equiv$
3032 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3035 \begin_layout Standard
3046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3049 \begin_layout Standard
3052 \begin_inset Formula $\models$
3060 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3063 \begin_layout Standard
3074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3077 \begin_layout Standard
3080 \begin_inset Formula $\prec$
3088 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3091 \begin_layout Standard
3104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3107 \begin_layout Standard
3110 \begin_inset Formula $\succ$
3118 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3121 \begin_layout Standard
3132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3135 \begin_layout Standard
3138 \begin_inset Formula $\sim$
3146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3149 \begin_layout Standard
3160 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3163 \begin_layout Standard
3166 \begin_inset Formula $\perp$
3174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3177 \begin_layout Standard
3188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3191 \begin_layout Standard
3194 \begin_inset Formula $\preceq$
3202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3205 \begin_layout Standard
3216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3219 \begin_layout Standard
3222 \begin_inset Formula $\succeq$
3230 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3233 \begin_layout Standard
3246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3249 \begin_layout Standard
3252 \begin_inset Formula $\simeq$
3260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3263 \begin_layout Standard
3274 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3277 \begin_layout Standard
3280 \begin_inset Formula $\mid$
3288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3291 \begin_layout Standard
3302 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3305 \begin_layout Standard
3308 \begin_inset Formula $\ll$
3316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3319 \begin_layout Standard
3330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3333 \begin_layout Standard
3336 \begin_inset Formula $\gg$
3344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3347 \begin_layout Standard
3358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3361 \begin_layout Standard
3364 \begin_inset Formula $\asymp$
3372 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3375 \begin_layout Standard
3388 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3391 \begin_layout Standard
3394 \begin_inset Formula $\parallel$
3402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3405 \begin_layout Standard
3416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3419 \begin_layout Standard
3422 \begin_inset Formula $\subset$
3430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3433 \begin_layout Standard
3444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3447 \begin_layout Standard
3450 \begin_inset Formula $\supset$
3458 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3461 \begin_layout Standard
3472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3475 \begin_layout Standard
3478 \begin_inset Formula $\approx$
3486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3489 \begin_layout Standard
3500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3503 \begin_layout Standard
3506 \begin_inset Formula $\bowtie$
3514 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3517 \begin_layout Standard
3530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3533 \begin_layout Standard
3536 \begin_inset Formula $\subseteq$
3544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3547 \begin_layout Standard
3558 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3561 \begin_layout Standard
3564 \begin_inset Formula $\supseteq$
3572 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3575 \begin_layout Standard
3586 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3589 \begin_layout Standard
3592 \begin_inset Formula $\cong$
3600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3603 \begin_layout Standard
3614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3617 \begin_layout Standard
3620 \begin_inset Formula $\Join$
3628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3631 \begin_layout Standard
3642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3645 \begin_layout Standard
3648 \begin_inset Formula $\sqsubset$
3656 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3659 \begin_layout Standard
3672 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3675 \begin_layout Standard
3678 \begin_inset Formula $\sqsupset$
3686 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3689 \begin_layout Standard
3700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3703 \begin_layout Standard
3706 \begin_inset Formula $\neq$
3714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3717 \begin_layout Standard
3728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3731 \begin_layout Standard
3734 \begin_inset Formula $\smile$
3742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3745 \begin_layout Standard
3756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3759 \begin_layout Standard
3762 \begin_inset Formula $\sqsubseteq$
3770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3773 \begin_layout Standard
3784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3787 \begin_layout Standard
3790 \begin_inset Formula $\sqsupseteq$
3798 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3801 \begin_layout Standard
3814 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3817 \begin_layout Standard
3820 \begin_inset Formula $\doteq$
3828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3831 \begin_layout Standard
3842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3845 \begin_layout Standard
3848 \begin_inset Formula $\frown$
3856 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3859 \begin_layout Standard
3870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3873 \begin_layout Standard
3876 \begin_inset Formula $\in$
3884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3887 \begin_layout Standard
3898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3901 \begin_layout Standard
3904 \begin_inset Formula $\ni$
3912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3915 \begin_layout Standard
3926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3929 \begin_layout Standard
3932 \begin_inset Formula $\propto$
3940 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3943 \begin_layout Standard
3956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3959 \begin_layout Standard
3962 \begin_inset Formula $=$
3970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3973 \begin_layout Standard
3982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3985 \begin_layout Standard
3988 \begin_inset Formula $\vdash$
3996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3999 \begin_layout Standard
4010 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4013 \begin_layout Standard
4016 \begin_inset Formula $\dashv$
4024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4027 \begin_layout Standard
4038 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4041 \begin_layout Standard
4044 \begin_inset Formula $<$
4052 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4055 \begin_layout Standard
4064 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4067 \begin_layout Standard
4070 \begin_inset Formula $>$
4078 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4081 \begin_layout Standard
4098 \begin_layout Caption
4108 \begin_layout Standard
4111 \begin_inset Float table
4117 \begin_layout Standard
4120 \begin_inset Tabular
4121 <lyxtabular version="3" rows="10" columns="6">
4123 <column alignment="right" valignment="top" width="0pt">
4124 <column alignment="left" valignment="top" width="0pt">
4125 <column alignment="right" valignment="top" width="0pt">
4126 <column alignment="left" valignment="top" width="0pt">
4127 <column alignment="right" valignment="top" width="0pt">
4128 <column alignment="left" valignment="top" width="0pt">
4130 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4133 \begin_layout Standard
4136 \begin_inset Formula $\leftarrow$
4144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4147 \begin_layout Standard
4158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4161 \begin_layout Standard
4164 \begin_inset Formula $\longleftarrow$
4172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4175 \begin_layout Standard
4186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4189 \begin_layout Standard
4192 \begin_inset Formula $\uparrow$
4200 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4203 \begin_layout Standard
4216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4219 \begin_layout Standard
4222 \begin_inset Formula $\Leftarrow$
4230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4233 \begin_layout Standard
4244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4247 \begin_layout Standard
4250 \begin_inset Formula $\Longleftarrow$
4258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4261 \begin_layout Standard
4272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4275 \begin_layout Standard
4278 \begin_inset Formula $\Uparrow$
4286 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4289 \begin_layout Standard
4302 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4305 \begin_layout Standard
4308 \begin_inset Formula $\rightarrow$
4316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4319 \begin_layout Standard
4330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4333 \begin_layout Standard
4336 \begin_inset Formula $\longrightarrow$
4344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4347 \begin_layout Standard
4358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4361 \begin_layout Standard
4364 \begin_inset Formula $\downarrow$
4372 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4375 \begin_layout Standard
4388 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4391 \begin_layout Standard
4394 \begin_inset Formula $\Rightarrow$
4402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4405 \begin_layout Standard
4416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4419 \begin_layout Standard
4422 \begin_inset Formula $\Longrightarrow$
4430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4433 \begin_layout Standard
4444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4447 \begin_layout Standard
4450 \begin_inset Formula $\Downarrow$
4458 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4461 \begin_layout Standard
4474 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4477 \begin_layout Standard
4480 \begin_inset Formula $\leftrightarrow$
4488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4491 \begin_layout Standard
4502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4505 \begin_layout Standard
4508 \begin_inset Formula $\longleftrightarrow$
4516 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4519 \begin_layout Standard
4530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4533 \begin_layout Standard
4536 \begin_inset Formula $\updownarrow$
4544 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4547 \begin_layout Standard
4560 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4563 \begin_layout Standard
4566 \begin_inset Formula $\Leftrightarrow$
4574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4577 \begin_layout Standard
4588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4591 \begin_layout Standard
4594 \begin_inset Formula $\Longleftrightarrow$
4602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4605 \begin_layout Standard
4616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4619 \begin_layout Standard
4622 \begin_inset Formula $\Updownarrow$
4630 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4633 \begin_layout Standard
4646 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4649 \begin_layout Standard
4652 \begin_inset Formula $\mapsto$
4660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4663 \begin_layout Standard
4674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4677 \begin_layout Standard
4680 \begin_inset Formula $\longmapsto$
4688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4691 \begin_layout Standard
4702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4705 \begin_layout Standard
4708 \begin_inset Formula $\nearrow$
4716 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4719 \begin_layout Standard
4732 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4735 \begin_layout Standard
4738 \begin_inset Formula $\hookleftarrow$
4746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4749 \begin_layout Standard
4760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4763 \begin_layout Standard
4766 \begin_inset Formula $\hookrightarrow$
4774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4777 \begin_layout Standard
4788 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4791 \begin_layout Standard
4794 \begin_inset Formula $\searrow$
4802 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4805 \begin_layout Standard
4818 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4821 \begin_layout Standard
4824 \begin_inset Formula $\leftharpoonup$
4832 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4835 \begin_layout Standard
4846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4849 \begin_layout Standard
4852 \begin_inset Formula $\rightharpoonup$
4860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4863 \begin_layout Standard
4874 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4877 \begin_layout Standard
4880 \begin_inset Formula $\swarrow$
4888 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4891 \begin_layout Standard
4904 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4907 \begin_layout Standard
4910 \begin_inset Formula $\leftharpoondown$
4918 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4921 \begin_layout Standard
4932 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4935 \begin_layout Standard
4938 \begin_inset Formula $\rightharpoondown$
4946 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4949 \begin_layout Standard
4960 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4963 \begin_layout Standard
4966 \begin_inset Formula $\nwarrow$
4974 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4977 \begin_layout Standard
4996 \begin_layout Caption
5006 \begin_layout Standard
5009 \begin_inset Float table
5015 \begin_layout Standard
5018 \begin_inset Tabular
5019 <lyxtabular version="3" rows="7" columns="10">
5021 <column alignment="right" valignment="top" width="0pt">
5022 <column alignment="left" valignment="top" width="0pt">
5023 <column alignment="right" valignment="top" width="0pt">
5024 <column alignment="left" valignment="top" width="0pt">
5025 <column alignment="right" valignment="top" width="0pt">
5026 <column alignment="left" valignment="top" width="0pt">
5027 <column alignment="right" valignment="top" width="0pt">
5028 <column alignment="left" valignment="top" width="0pt">
5029 <column alignment="right" valignment="top" width="0pt">
5030 <column alignment="left" valignment="top" width="0pt">
5032 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5035 \begin_layout Standard
5038 \begin_inset Formula $\ldots$
5046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5049 \begin_layout Standard
5060 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5063 \begin_layout Standard
5066 \begin_inset Formula $\cdots$
5074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5077 \begin_layout Standard
5088 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5091 \begin_layout Standard
5094 \begin_inset Formula $\vdots$
5102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5105 \begin_layout Standard
5116 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5119 \begin_layout Standard
5122 \begin_inset Formula $\ddots$
5130 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5133 \begin_layout Standard
5144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5147 \begin_layout Standard
5150 \begin_inset Formula $\aleph$
5158 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5161 \begin_layout Standard
5174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5177 \begin_layout Standard
5180 \begin_inset Formula $\prime$
5188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5191 \begin_layout Standard
5202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5205 \begin_layout Standard
5208 \begin_inset Formula $\forall$
5216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5219 \begin_layout Standard
5230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5233 \begin_layout Standard
5236 \begin_inset Formula $\infty$
5244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5247 \begin_layout Standard
5258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5261 \begin_layout Standard
5264 \begin_inset Formula $\hbar$
5272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5275 \begin_layout Standard
5286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5289 \begin_layout Standard
5292 \begin_inset Formula $\emptyset$
5300 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5303 \begin_layout Standard
5316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5319 \begin_layout Standard
5322 \begin_inset Formula $\exists$
5330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5333 \begin_layout Standard
5344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5347 \begin_layout Standard
5350 \begin_inset Formula $\nabla$
5358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5361 \begin_layout Standard
5372 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5375 \begin_layout Standard
5378 \begin_inset Formula $\surd$
5386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5389 \begin_layout Standard
5400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5403 \begin_layout Standard
5406 \begin_inset Formula $\Box$
5414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5417 \begin_layout Standard
5428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5431 \begin_layout Standard
5434 \begin_inset Formula $\triangle$
5442 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5445 \begin_layout Standard
5458 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5461 \begin_layout Standard
5464 \begin_inset Formula $\Diamond$
5472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5475 \begin_layout Standard
5486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5489 \begin_layout Standard
5492 \begin_inset Formula $\imath$
5500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5503 \begin_layout Standard
5514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5517 \begin_layout Standard
5520 \begin_inset Formula $\jmath$
5528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5531 \begin_layout Standard
5542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5545 \begin_layout Standard
5548 \begin_inset Formula $\ell$
5556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5559 \begin_layout Standard
5570 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5573 \begin_layout Standard
5576 \begin_inset Formula $\neg$
5584 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5587 \begin_layout Standard
5600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5603 \begin_layout Standard
5606 \begin_inset Formula $\top$
5614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5617 \begin_layout Standard
5628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5631 \begin_layout Standard
5634 \begin_inset Formula $\flat$
5642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5645 \begin_layout Standard
5656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5659 \begin_layout Standard
5662 \begin_inset Formula $\natural$
5670 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5673 \begin_layout Standard
5684 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5687 \begin_layout Standard
5690 \begin_inset Formula $\sharp$
5698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5701 \begin_layout Standard
5712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5715 \begin_layout Standard
5718 \begin_inset Formula $\wp$
5726 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5729 \begin_layout Standard
5742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5745 \begin_layout Standard
5748 \begin_inset Formula $\bot$
5756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5759 \begin_layout Standard
5770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5773 \begin_layout Standard
5776 \begin_inset Formula $\clubsuit$
5784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5787 \begin_layout Standard
5798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5801 \begin_layout Standard
5804 \begin_inset Formula $\diamondsuit$
5812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5815 \begin_layout Standard
5826 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5829 \begin_layout Standard
5832 \begin_inset Formula $\heartsuit$
5840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5843 \begin_layout Standard
5854 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5857 \begin_layout Standard
5860 \begin_inset Formula $\spadesuit$
5868 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5871 \begin_layout Standard
5884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5887 \begin_layout Standard
5890 \begin_inset Formula $\mho$
5898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5901 \begin_layout Standard
5912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5915 \begin_layout Standard
5918 \begin_inset Formula $\Re$
5926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5929 \begin_layout Standard
5940 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5943 \begin_layout Standard
5946 \begin_inset Formula $\Im$
5954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5957 \begin_layout Standard
5968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5971 \begin_layout Standard
5974 \begin_inset Formula $\angle$
5982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5985 \begin_layout Standard
5996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5999 \begin_layout Standard
6002 \begin_inset Formula $\partial$
6010 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6013 \begin_layout Standard
6032 \begin_layout Caption
6034 Miscellaneous symbols
6042 \begin_layout Standard
6045 \begin_inset Float table
6051 \begin_layout Standard
6054 \begin_inset Tabular
6055 <lyxtabular version="3" rows="3" columns="10">
6057 <column alignment="right" valignment="top" width="0pt">
6058 <column alignment="left" valignment="top" width="0pt">
6059 <column alignment="right" valignment="top" width="0pt">
6060 <column alignment="left" valignment="top" width="0pt">
6061 <column alignment="right" valignment="top" width="0pt">
6062 <column alignment="left" valignment="top" width="0pt">
6063 <column alignment="right" valignment="top" width="0pt">
6064 <column alignment="left" valignment="top" width="0pt">
6065 <column alignment="right" valignment="top" width="0pt">
6066 <column alignment="left" valignment="top" width="0pt">
6068 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6071 \begin_layout Standard
6074 \begin_inset Formula $\sum$
6082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6085 \begin_layout Standard
6096 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6099 \begin_layout Standard
6102 \begin_inset Formula $\prod$
6110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6113 \begin_layout Standard
6124 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6127 \begin_layout Standard
6130 \begin_inset Formula $\coprod$
6138 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6141 \begin_layout Standard
6152 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6155 \begin_layout Standard
6158 \begin_inset Formula $\int$
6166 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6169 \begin_layout Standard
6180 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6183 \begin_layout Standard
6186 \begin_inset Formula $\oint$
6194 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6197 \begin_layout Standard
6210 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6213 \begin_layout Standard
6216 \begin_inset Formula $\bigcap$
6224 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6227 \begin_layout Standard
6238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6241 \begin_layout Standard
6244 \begin_inset Formula $\bigcup$
6252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6255 \begin_layout Standard
6266 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6269 \begin_layout Standard
6272 \begin_inset Formula $\bigsqcup$
6280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6283 \begin_layout Standard
6294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6297 \begin_layout Standard
6300 \begin_inset Formula $\bigvee$
6308 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6311 \begin_layout Standard
6322 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6325 \begin_layout Standard
6328 \begin_inset Formula $\bigwedge$
6336 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6339 \begin_layout Standard
6352 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6355 \begin_layout Standard
6358 \begin_inset Formula $\bigodot$
6366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6369 \begin_layout Standard
6380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6383 \begin_layout Standard
6386 \begin_inset Formula $\bigotimes$
6394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6397 \begin_layout Standard
6408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6411 \begin_layout Standard
6414 \begin_inset Formula $\bigoplus$
6422 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6425 \begin_layout Standard
6436 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6439 \begin_layout Standard
6442 \begin_inset Formula $\biguplus$
6450 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6453 \begin_layout Standard
6464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6467 \begin_layout Standard
6473 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6476 \begin_layout Standard
6490 \begin_layout Caption
6492 Variable-sized symbols
6500 \begin_layout Standard
6503 \begin_inset Float table
6509 \begin_layout Standard
6512 \begin_inset Tabular
6513 <lyxtabular version="3" rows="4" columns="8">
6515 <column alignment="left" valignment="top" width="0pt">
6516 <column alignment="left" valignment="top" width="0pt">
6517 <column alignment="left" valignment="top" width="0pt">
6518 <column alignment="left" valignment="top" width="0pt">
6519 <column alignment="left" valignment="top" width="0pt">
6520 <column alignment="left" valignment="top" width="0pt">
6521 <column alignment="left" valignment="top" width="0pt">
6522 <column alignment="left" valignment="top" width="0pt">
6524 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6527 \begin_layout Standard
6530 \begin_inset Formula $\arccos$
6538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6541 \begin_layout Standard
6544 \begin_inset Formula $\cos$
6552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6555 \begin_layout Standard
6558 \begin_inset Formula $\csc$
6566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6569 \begin_layout Standard
6572 \begin_inset Formula $\exp$
6580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6583 \begin_layout Standard
6586 \begin_inset Formula $\ker$
6594 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6597 \begin_layout Standard
6600 \begin_inset Formula $\limsup$
6608 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6611 \begin_layout Standard
6614 \begin_inset Formula $\min$
6622 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6625 \begin_layout Standard
6628 \begin_inset Formula $\sinh$
6638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6641 \begin_layout Standard
6644 \begin_inset Formula $\arcsin$
6652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6655 \begin_layout Standard
6658 \begin_inset Formula $\cosh$
6666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6669 \begin_layout Standard
6672 \begin_inset Formula $\deg$
6680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6683 \begin_layout Standard
6686 \begin_inset Formula $\gcd$
6694 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6697 \begin_layout Standard
6700 \begin_inset Formula $\lg$
6708 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6711 \begin_layout Standard
6714 \begin_inset Formula $\ln$
6722 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6725 \begin_layout Standard
6728 \begin_inset Formula $\Pr$
6736 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6739 \begin_layout Standard
6742 \begin_inset Formula $\sup$
6752 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6755 \begin_layout Standard
6758 \begin_inset Formula $\arctan$
6766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6769 \begin_layout Standard
6772 \begin_inset Formula $\cot$
6780 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6783 \begin_layout Standard
6786 \begin_inset Formula $\det$
6794 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6797 \begin_layout Standard
6800 \begin_inset Formula $\hom$
6808 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6811 \begin_layout Standard
6814 \begin_inset Formula $\lim$
6822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6825 \begin_layout Standard
6828 \begin_inset Formula $\log$
6836 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6839 \begin_layout Standard
6842 \begin_inset Formula $\sec$
6850 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6853 \begin_layout Standard
6856 \begin_inset Formula $\tan$
6866 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6869 \begin_layout Standard
6872 \begin_inset Formula $\arg$
6880 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6883 \begin_layout Standard
6886 \begin_inset Formula $\coth$
6894 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6897 \begin_layout Standard
6900 \begin_inset Formula $\dim$
6908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6911 \begin_layout Standard
6914 \begin_inset Formula $\inf$
6922 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6925 \begin_layout Standard
6928 \begin_inset Formula $\liminf$
6936 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6939 \begin_layout Standard
6942 \begin_inset Formula $\max$
6950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6953 \begin_layout Standard
6956 \begin_inset Formula $\sin$
6964 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6967 \begin_layout Standard
6970 \begin_inset Formula $\tanh$
6986 \begin_layout Caption
6996 \begin_layout Standard
6999 \begin_inset Float table
7005 \begin_layout Standard
7008 \begin_inset Tabular
7009 <lyxtabular version="3" rows="5" columns="8">
7011 <column alignment="right" valignment="top" width="0pt">
7012 <column alignment="left" valignment="top" width="0pt">
7013 <column alignment="right" valignment="top" width="0pt">
7014 <column alignment="left" valignment="top" width="0pt">
7015 <column alignment="right" valignment="top" width="0pt">
7016 <column alignment="left" valignment="top" width="0pt">
7017 <column alignment="right" valignment="top" width="0pt">
7018 <column alignment="left" valignment="top" width="0pt">
7020 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7023 \begin_layout Standard
7026 \begin_inset Formula $\uparrow$
7034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7037 \begin_layout Standard
7048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7051 \begin_layout Standard
7054 \begin_inset Formula $\Uparrow$
7062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7065 \begin_layout Standard
7076 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7079 \begin_layout Standard
7082 \begin_inset Formula $\downarrow$
7090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7093 \begin_layout Standard
7104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7107 \begin_layout Standard
7110 \begin_inset Formula $\Downarrow$
7118 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7121 \begin_layout Standard
7134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7137 \begin_layout Standard
7140 \begin_inset Formula $\{$
7148 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7151 \begin_layout Standard
7162 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7165 \begin_layout Standard
7168 \begin_inset Formula $\}$
7176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7179 \begin_layout Standard
7190 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7193 \begin_layout Standard
7196 \begin_inset Formula $\updownarrow$
7204 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7207 \begin_layout Standard
7218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7221 \begin_layout Standard
7224 \begin_inset Formula $\Updownarrow$
7232 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7235 \begin_layout Standard
7248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7251 \begin_layout Standard
7254 \begin_inset Formula $\lfloor$
7262 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7265 \begin_layout Standard
7276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7279 \begin_layout Standard
7282 \begin_inset Formula $\rfloor$
7290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7293 \begin_layout Standard
7304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7307 \begin_layout Standard
7310 \begin_inset Formula $\lceil$
7318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7321 \begin_layout Standard
7332 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7335 \begin_layout Standard
7338 \begin_inset Formula $\rceil$
7346 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7349 \begin_layout Standard
7362 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7365 \begin_layout Standard
7368 \begin_inset Formula $\langle$
7376 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7379 \begin_layout Standard
7390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7393 \begin_layout Standard
7396 \begin_inset Formula $\rangle$
7404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7407 \begin_layout Standard
7418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7421 \begin_layout Standard
7424 \begin_inset Formula $/$
7432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7435 \begin_layout Standard
7444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7447 \begin_layout Standard
7450 \begin_inset Formula $\backslash$
7458 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7461 \begin_layout Standard
7474 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7477 \begin_layout Standard
7480 \begin_inset Formula $|$
7488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7491 \begin_layout Standard
7500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7503 \begin_layout Standard
7506 \begin_inset Formula $\|$
7514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7517 \begin_layout Standard
7528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7531 \begin_layout Standard
7537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7540 \begin_layout Standard
7546 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7549 \begin_layout Standard
7555 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7558 \begin_layout Standard
7572 \begin_layout Caption
7582 \begin_layout Standard
7585 \begin_inset Float table
7591 \begin_layout Standard
7594 \begin_inset Tabular
7595 <lyxtabular version="3" rows="6" columns="4">
7597 <column alignment="right" valignment="top" width="0pt">
7598 <column alignment="left" valignment="top" width="0pt">
7599 <column alignment="right" valignment="top" width="0pt">
7600 <column alignment="left" valignment="top" width="0pt">
7602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7605 \begin_layout Standard
7608 \begin_inset Formula $\widetilde{abc}$
7616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7619 \begin_layout Standard
7630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7633 \begin_layout Standard
7636 \begin_inset Formula $\widehat{abc}$
7644 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7647 \begin_layout Standard
7660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7663 \begin_layout Standard
7666 \begin_inset Formula $\overleftarrow{abc}$
7674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7677 \begin_layout Standard
7688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7691 \begin_layout Standard
7694 \begin_inset Formula $\overrightarrow{abc}$
7702 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7705 \begin_layout Standard
7718 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7721 \begin_layout Standard
7724 \begin_inset Formula $\overline{abc}$
7732 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7735 \begin_layout Standard
7746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7749 \begin_layout Standard
7752 \begin_inset Formula $\underline{abc}$
7760 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7763 \begin_layout Standard
7776 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7779 \begin_layout Standard
7782 \begin_inset Formula $\overbrace{abc}$
7790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7793 \begin_layout Standard
7804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7807 \begin_layout Standard
7810 \begin_inset Formula $\underbrace{abc}$
7818 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7821 \begin_layout Standard
7834 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7837 \begin_layout Standard
7840 \begin_inset Formula $\sqrt{abc}$
7848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7851 \begin_layout Standard
7862 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7865 \begin_layout Standard
7868 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
7876 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7879 \begin_layout Standard
7894 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7897 \begin_layout Standard
7900 \begin_inset Formula $f'$
7908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7911 \begin_layout Standard
7920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7923 \begin_layout Standard
7926 \begin_inset Formula $\frac{abc}{xyz}$
7934 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7937 \begin_layout Standard
7956 \begin_layout Caption
7958 LaTeX math constructs
7966 \begin_layout Standard
7969 \begin_inset Float table
7975 \begin_layout Standard
7978 \begin_inset Tabular
7979 <lyxtabular version="3" rows="1" columns="10">
7981 <column alignment="right" valignment="top" width="0pt">
7982 <column alignment="left" valignment="top" width="0pt">
7983 <column alignment="right" valignment="top" width="0pt">
7984 <column alignment="left" valignment="top" width="0pt">
7985 <column alignment="right" valignment="top" width="0pt">
7986 <column alignment="left" valignment="top" width="0pt">
7987 <column alignment="right" valignment="top" width="0pt">
7988 <column alignment="left" valignment="top" width="0pt">
7989 <column alignment="right" valignment="top" width="0pt">
7990 <column alignment="left" valignment="top" width="0pt">
7992 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7995 \begin_layout Standard
7998 \begin_inset Formula $\digamma$
8006 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8009 \begin_layout Standard
8020 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8023 \begin_layout Standard
8026 \begin_inset Formula $\varkappa$
8034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8037 \begin_layout Standard
8048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8051 \begin_layout Standard
8054 \begin_inset Formula $\beth$
8062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8065 \begin_layout Standard
8076 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8079 \begin_layout Standard
8082 \begin_inset Formula $\daleth$
8090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8093 \begin_layout Standard
8104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8107 \begin_layout Standard
8110 \begin_inset Formula $\gimel$
8118 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8121 \begin_layout Standard
8140 \begin_layout Caption
8142 AMS Greek and Hebrew
8150 \begin_layout Standard
8153 \begin_inset Float table
8159 \begin_layout Standard
8162 \begin_inset Tabular
8163 <lyxtabular version="3" rows="1" columns="8">
8165 <column alignment="right" valignment="top" width="0pt">
8166 <column alignment="left" valignment="top" width="0pt">
8167 <column alignment="right" valignment="top" width="0pt">
8168 <column alignment="left" valignment="top" width="0pt">
8169 <column alignment="right" valignment="top" width="0pt">
8170 <column alignment="left" valignment="top" width="0pt">
8171 <column alignment="right" valignment="top" width="0pt">
8172 <column alignment="left" valignment="top" width="0pt">
8174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8177 \begin_layout Standard
8180 \begin_inset Formula $\ulcorner$
8188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8191 \begin_layout Standard
8202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8205 \begin_layout Standard
8208 \begin_inset Formula $\urcorner$
8216 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8219 \begin_layout Standard
8230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8233 \begin_layout Standard
8236 \begin_inset Formula $\llcorner$
8244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8247 \begin_layout Standard
8258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8261 \begin_layout Standard
8264 \begin_inset Formula $\lrcorner$
8272 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8275 \begin_layout Standard
8294 \begin_layout Caption
8304 \begin_layout Standard
8307 \begin_inset Float table
8313 \begin_layout Standard
8316 \begin_inset Tabular
8317 <lyxtabular version="3" rows="11" columns="6">
8319 <column alignment="right" valignment="top" width="0pt">
8320 <column alignment="left" valignment="top" width="0pt">
8321 <column alignment="right" valignment="top" width="0pt">
8322 <column alignment="left" valignment="top" width="0pt">
8323 <column alignment="right" valignment="top" width="0pt">
8324 <column alignment="left" valignment="top" width="0pt">
8326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8329 \begin_layout Standard
8332 \begin_inset Formula $\dashrightarrow$
8340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8343 \begin_layout Standard
8354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8357 \begin_layout Standard
8360 \begin_inset Formula $\dashleftarrow$
8368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8371 \begin_layout Standard
8382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8385 \begin_layout Standard
8388 \begin_inset Formula $\leftleftarrows$
8396 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8399 \begin_layout Standard
8412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8415 \begin_layout Standard
8418 \begin_inset Formula $\leftrightarrows$
8426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8429 \begin_layout Standard
8440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8443 \begin_layout Standard
8446 \begin_inset Formula $\Lleftarrow$
8454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8457 \begin_layout Standard
8468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8471 \begin_layout Standard
8474 \begin_inset Formula $\twoheadleftarrow$
8482 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8485 \begin_layout Standard
8498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8501 \begin_layout Standard
8504 \begin_inset Formula $\leftarrowtail$
8512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8515 \begin_layout Standard
8526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8529 \begin_layout Standard
8532 \begin_inset Formula $\looparrowleft$
8540 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8543 \begin_layout Standard
8554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8557 \begin_layout Standard
8560 \begin_inset Formula $\leftrightharpoons$
8568 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8571 \begin_layout Standard
8584 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8587 \begin_layout Standard
8590 \begin_inset Formula $\curvearrowleft$
8598 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8601 \begin_layout Standard
8612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8615 \begin_layout Standard
8618 \begin_inset Formula $\circlearrowleft$
8626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8629 \begin_layout Standard
8640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8643 \begin_layout Standard
8646 \begin_inset Formula $\Lsh$
8654 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8657 \begin_layout Standard
8670 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8673 \begin_layout Standard
8676 \begin_inset Formula $\upuparrows$
8684 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8687 \begin_layout Standard
8698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8701 \begin_layout Standard
8704 \begin_inset Formula $\upharpoonleft$
8712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8715 \begin_layout Standard
8726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8729 \begin_layout Standard
8732 \begin_inset Formula $\downharpoonleft$
8740 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8743 \begin_layout Standard
8756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8759 \begin_layout Standard
8762 \begin_inset Formula $\multimap$
8770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8773 \begin_layout Standard
8784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8787 \begin_layout Standard
8790 \begin_inset Formula $\leftrightsquigarrow$
8798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8801 \begin_layout Standard
8812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8815 \begin_layout Standard
8818 \begin_inset Formula $\rightrightarrows$
8826 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8829 \begin_layout Standard
8842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8845 \begin_layout Standard
8848 \begin_inset Formula $\rightleftarrows$
8856 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8859 \begin_layout Standard
8870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8873 \begin_layout Standard
8876 \begin_inset Formula $\rightrightarrows$
8884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8887 \begin_layout Standard
8898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8901 \begin_layout Standard
8904 \begin_inset Formula $\rightleftarrows$
8912 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8915 \begin_layout Standard
8928 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8931 \begin_layout Standard
8934 \begin_inset Formula $\twoheadrightarrow$
8942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8945 \begin_layout Standard
8956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8959 \begin_layout Standard
8962 \begin_inset Formula $\rightarrowtail$
8970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8973 \begin_layout Standard
8984 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8987 \begin_layout Standard
8990 \begin_inset Formula $\looparrowright$
8998 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9001 \begin_layout Standard
9014 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9017 \begin_layout Standard
9020 \begin_inset Formula $\rightleftharpoons$
9028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9031 \begin_layout Standard
9042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9045 \begin_layout Standard
9048 \begin_inset Formula $\curvearrowright$
9056 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9059 \begin_layout Standard
9070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9073 \begin_layout Standard
9076 \begin_inset Formula $\circlearrowright$
9084 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9087 \begin_layout Standard
9100 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9103 \begin_layout Standard
9106 \begin_inset Formula $\Rsh$
9114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9117 \begin_layout Standard
9128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9131 \begin_layout Standard
9134 \begin_inset Formula $\downdownarrows$
9142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9145 \begin_layout Standard
9156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9159 \begin_layout Standard
9162 \begin_inset Formula $\upharpoonright$
9170 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9173 \begin_layout Standard
9186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9189 \begin_layout Standard
9192 \begin_inset Formula $\downharpoonright$
9200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9203 \begin_layout Standard
9214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9217 \begin_layout Standard
9220 \begin_inset Formula $\rightsquigarrow$
9228 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9231 \begin_layout Standard
9242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9245 \begin_layout Standard
9251 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9254 \begin_layout Standard
9268 \begin_layout Caption
9278 \begin_layout Standard
9281 \begin_inset Float table
9287 \begin_layout Standard
9290 \begin_inset Tabular
9291 <lyxtabular version="3" rows="2" columns="6">
9293 <column alignment="right" valignment="top" width="0pt">
9294 <column alignment="left" valignment="top" width="0pt">
9295 <column alignment="right" valignment="top" width="0pt">
9296 <column alignment="left" valignment="top" width="0pt">
9297 <column alignment="right" valignment="top" width="0pt">
9298 <column alignment="left" valignment="top" width="0pt">
9300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9303 \begin_layout Standard
9306 \begin_inset Formula $\nleftarrow$
9314 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9317 \begin_layout Standard
9328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9331 \begin_layout Standard
9334 \begin_inset Formula $\nrightarrow$
9342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9345 \begin_layout Standard
9356 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9359 \begin_layout Standard
9362 \begin_inset Formula $\nLeftarrow$
9370 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9373 \begin_layout Standard
9386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9389 \begin_layout Standard
9392 \begin_inset Formula $\nRightarrow$
9400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9403 \begin_layout Standard
9414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9417 \begin_layout Standard
9420 \begin_inset Formula $\nleftrightarrow$
9428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9431 \begin_layout Standard
9442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9445 \begin_layout Standard
9448 \begin_inset Formula $\nLeftrightarrow$
9456 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9459 \begin_layout Standard
9478 \begin_layout Caption
9488 \begin_layout Standard
9491 \begin_inset Float table
9497 \begin_layout Standard
9500 \begin_inset Tabular
9501 <lyxtabular version="3" rows="22" columns="6">
9503 <column alignment="right" valignment="top" width="0pt">
9504 <column alignment="left" valignment="top" width="0pt">
9505 <column alignment="right" valignment="top" width="0pt">
9506 <column alignment="left" valignment="top" width="0pt">
9507 <column alignment="right" valignment="top" width="0pt">
9508 <column alignment="left" valignment="top" width="0pt">
9510 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9513 \begin_layout Standard
9516 \begin_inset Formula $\leqq$
9524 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9527 \begin_layout Standard
9538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9541 \begin_layout Standard
9544 \begin_inset Formula $\leqslant$
9552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9555 \begin_layout Standard
9566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9569 \begin_layout Standard
9572 \begin_inset Formula $\eqslantless$
9580 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9583 \begin_layout Standard
9596 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9599 \begin_layout Standard
9602 \begin_inset Formula $\lesssim$
9610 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9613 \begin_layout Standard
9624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9627 \begin_layout Standard
9630 \begin_inset Formula $\lessapprox$
9638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9641 \begin_layout Standard
9652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9655 \begin_layout Standard
9658 \begin_inset Formula $\approxeq$
9666 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9669 \begin_layout Standard
9682 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9685 \begin_layout Standard
9688 \begin_inset Formula $\lessdot$
9696 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9699 \begin_layout Standard
9710 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9713 \begin_layout Standard
9716 \begin_inset Formula $\lll$
9724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9727 \begin_layout Standard
9738 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9741 \begin_layout Standard
9744 \begin_inset Formula $\lessgtr$
9752 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9755 \begin_layout Standard
9768 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9771 \begin_layout Standard
9774 \begin_inset Formula $\lesseqgtr$
9782 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9785 \begin_layout Standard
9796 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9799 \begin_layout Standard
9802 \begin_inset Formula $\lesseqqgtr$
9810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9813 \begin_layout Standard
9824 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9827 \begin_layout Standard
9830 \begin_inset Formula $\doteqdot$
9838 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9841 \begin_layout Standard
9854 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9857 \begin_layout Standard
9860 \begin_inset Formula $\risingdotseq$
9868 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9871 \begin_layout Standard
9882 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9885 \begin_layout Standard
9888 \begin_inset Formula $\fallingdotseq$
9896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9899 \begin_layout Standard
9910 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9913 \begin_layout Standard
9916 \begin_inset Formula $\backsim$
9924 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9927 \begin_layout Standard
9940 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9943 \begin_layout Standard
9946 \begin_inset Formula $\backsimeq$
9954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9957 \begin_layout Standard
9968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9971 \begin_layout Standard
9974 \begin_inset Formula $\subseteqq$
9982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9985 \begin_layout Standard
9996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9999 \begin_layout Standard
10002 \begin_inset Formula $\Subset$
10010 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10013 \begin_layout Standard
10026 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10029 \begin_layout Standard
10032 \begin_inset Formula $\sqsubset$
10040 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10043 \begin_layout Standard
10054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10057 \begin_layout Standard
10060 \begin_inset Formula $\preccurlyeq$
10068 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10071 \begin_layout Standard
10082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10085 \begin_layout Standard
10088 \begin_inset Formula $\curlyeqprec$
10096 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10099 \begin_layout Standard
10112 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10115 \begin_layout Standard
10118 \begin_inset Formula $\precsim$
10126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10129 \begin_layout Standard
10140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10143 \begin_layout Standard
10146 \begin_inset Formula $\precapprox$
10154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10157 \begin_layout Standard
10168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10171 \begin_layout Standard
10174 \begin_inset Formula $\vartriangleleft$
10182 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10185 \begin_layout Standard
10198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10201 \begin_layout Standard
10204 \begin_inset Formula $\trianglelefteq$
10212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10215 \begin_layout Standard
10226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10229 \begin_layout Standard
10232 \begin_inset Formula $\vDash$
10240 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10243 \begin_layout Standard
10254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10257 \begin_layout Standard
10260 \begin_inset Formula $\Vvdash$
10268 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10271 \begin_layout Standard
10284 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10287 \begin_layout Standard
10290 \begin_inset Formula $\smallsmile$
10298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10301 \begin_layout Standard
10312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10315 \begin_layout Standard
10318 \begin_inset Formula $\smallfrown$
10326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10329 \begin_layout Standard
10340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10343 \begin_layout Standard
10346 \begin_inset Formula $\bumpeq$
10354 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10357 \begin_layout Standard
10370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10373 \begin_layout Standard
10376 \begin_inset Formula $\Bumpeq$
10384 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10387 \begin_layout Standard
10398 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10401 \begin_layout Standard
10404 \begin_inset Formula $\geqq$
10412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10415 \begin_layout Standard
10426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10429 \begin_layout Standard
10432 \begin_inset Formula $\geqslant$
10440 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10443 \begin_layout Standard
10456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10459 \begin_layout Standard
10462 \begin_inset Formula $\eqslantgtr$
10470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10473 \begin_layout Standard
10484 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10487 \begin_layout Standard
10490 \begin_inset Formula $\gtrsim$
10498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10501 \begin_layout Standard
10512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10515 \begin_layout Standard
10518 \begin_inset Formula $\gtrapprox$
10526 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10529 \begin_layout Standard
10542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10545 \begin_layout Standard
10548 \begin_inset Formula $\gtrdot$
10556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10559 \begin_layout Standard
10570 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10573 \begin_layout Standard
10576 \begin_inset Formula $\ggg$
10584 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10587 \begin_layout Standard
10598 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10601 \begin_layout Standard
10604 \begin_inset Formula $\gtrless$
10612 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10615 \begin_layout Standard
10628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10631 \begin_layout Standard
10634 \begin_inset Formula $\gtreqless$
10642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10645 \begin_layout Standard
10656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10659 \begin_layout Standard
10662 \begin_inset Formula $\gtreqqless$
10670 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10673 \begin_layout Standard
10684 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10687 \begin_layout Standard
10690 \begin_inset Formula $\eqcirc$
10698 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10701 \begin_layout Standard
10714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10717 \begin_layout Standard
10720 \begin_inset Formula $\circeq$
10728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10731 \begin_layout Standard
10742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10745 \begin_layout Standard
10748 \begin_inset Formula $\triangleq$
10756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10759 \begin_layout Standard
10770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10773 \begin_layout Standard
10776 \begin_inset Formula $\thicksim$
10784 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10787 \begin_layout Standard
10800 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10803 \begin_layout Standard
10806 \begin_inset Formula $\thickapprox$
10814 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10817 \begin_layout Standard
10828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10831 \begin_layout Standard
10834 \begin_inset Formula $\supseteqq$
10842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10845 \begin_layout Standard
10856 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10859 \begin_layout Standard
10862 \begin_inset Formula $\Supset$
10870 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10873 \begin_layout Standard
10886 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10889 \begin_layout Standard
10892 \begin_inset Formula $\sqsupset$
10900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10903 \begin_layout Standard
10914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10917 \begin_layout Standard
10920 \begin_inset Formula $\succcurlyeq$
10928 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10931 \begin_layout Standard
10942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10945 \begin_layout Standard
10948 \begin_inset Formula $\curlyeqsucc$
10956 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10959 \begin_layout Standard
10972 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10975 \begin_layout Standard
10978 \begin_inset Formula $\succsim$
10986 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10989 \begin_layout Standard
11000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11003 \begin_layout Standard
11006 \begin_inset Formula $\succapprox$
11014 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11017 \begin_layout Standard
11028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11031 \begin_layout Standard
11034 \begin_inset Formula $\vartriangleright$
11042 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11045 \begin_layout Standard
11058 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11061 \begin_layout Standard
11064 \begin_inset Formula $\trianglerighteq$
11072 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11075 \begin_layout Standard
11086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11089 \begin_layout Standard
11092 \begin_inset Formula $\Vdash$
11100 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11103 \begin_layout Standard
11114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11117 \begin_layout Standard
11120 \begin_inset Formula $\shortmid$
11128 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11131 \begin_layout Standard
11144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11147 \begin_layout Standard
11150 \begin_inset Formula $\shortparallel$
11158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11161 \begin_layout Standard
11172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11175 \begin_layout Standard
11178 \begin_inset Formula $\between$
11186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11189 \begin_layout Standard
11200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11203 \begin_layout Standard
11206 \begin_inset Formula $\pitchfork$
11214 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11217 \begin_layout Standard
11230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11233 \begin_layout Standard
11236 \begin_inset Formula $\varpropto$
11244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11247 \begin_layout Standard
11258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11261 \begin_layout Standard
11264 \begin_inset Formula $\blacktriangleleft$
11272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11275 \begin_layout Standard
11286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11289 \begin_layout Standard
11292 \begin_inset Formula $\therefore$
11300 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11303 \begin_layout Standard
11316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11319 \begin_layout Standard
11322 \begin_inset Formula $\backepsilon$
11330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11333 \begin_layout Standard
11344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11347 \begin_layout Standard
11350 \begin_inset Formula $\blacktriangleright$
11358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11361 \begin_layout Standard
11372 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11375 \begin_layout Standard
11378 \begin_inset Formula $\because$
11386 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11389 \begin_layout Standard
11408 \begin_layout Caption
11410 AMS binary relations
11418 \begin_layout Standard
11421 \begin_inset Float table
11427 \begin_layout Standard
11430 \begin_inset Tabular
11431 <lyxtabular version="3" rows="17" columns="6">
11433 <column alignment="right" valignment="top" width="0pt">
11434 <column alignment="left" valignment="top" width="0pt">
11435 <column alignment="right" valignment="top" width="0pt">
11436 <column alignment="left" valignment="top" width="0pt">
11437 <column alignment="right" valignment="top" width="0pt">
11438 <column alignment="left" valignment="top" width="0pt">
11440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11443 \begin_layout Standard
11446 \begin_inset Formula $\nless$
11454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11457 \begin_layout Standard
11468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11471 \begin_layout Standard
11474 \begin_inset Formula $\nleq$
11482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11485 \begin_layout Standard
11496 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11499 \begin_layout Standard
11502 \begin_inset Formula $\nleqslant$
11510 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11513 \begin_layout Standard
11526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11529 \begin_layout Standard
11532 \begin_inset Formula $\nleqq$
11540 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11543 \begin_layout Standard
11554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11557 \begin_layout Standard
11560 \begin_inset Formula $\lneq$
11568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11571 \begin_layout Standard
11582 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11585 \begin_layout Standard
11588 \begin_inset Formula $\lneqq$
11596 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11599 \begin_layout Standard
11612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11615 \begin_layout Standard
11618 \begin_inset Formula $\lvertneqq$
11626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11629 \begin_layout Standard
11640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11643 \begin_layout Standard
11646 \begin_inset Formula $\lnsim$
11654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11657 \begin_layout Standard
11668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11671 \begin_layout Standard
11674 \begin_inset Formula $\lnapprox$
11682 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11685 \begin_layout Standard
11698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11701 \begin_layout Standard
11704 \begin_inset Formula $\nprec$
11712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11715 \begin_layout Standard
11726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11729 \begin_layout Standard
11732 \begin_inset Formula $\npreceq$
11740 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11743 \begin_layout Standard
11754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11757 \begin_layout Standard
11760 \begin_inset Formula $\precnsim$
11768 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11771 \begin_layout Standard
11784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11787 \begin_layout Standard
11790 \begin_inset Formula $\precnapprox$
11798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11801 \begin_layout Standard
11812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11815 \begin_layout Standard
11818 \begin_inset Formula $\nsim$
11826 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11829 \begin_layout Standard
11840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11843 \begin_layout Standard
11846 \begin_inset Formula $\nshortmid$
11854 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11857 \begin_layout Standard
11870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11873 \begin_layout Standard
11876 \begin_inset Formula $\nmid$
11884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11887 \begin_layout Standard
11898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11901 \begin_layout Standard
11904 \begin_inset Formula $\nvdash$
11912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11915 \begin_layout Standard
11926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11929 \begin_layout Standard
11932 \begin_inset Formula $\nvDash$
11940 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11943 \begin_layout Standard
11956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11959 \begin_layout Standard
11962 \begin_inset Formula $\ntriangleleft$
11970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11973 \begin_layout Standard
11984 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11987 \begin_layout Standard
11990 \begin_inset Formula $\ntrianglelefteq$
11998 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12001 \begin_layout Standard
12012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12015 \begin_layout Standard
12018 \begin_inset Formula $\nsubseteq$
12026 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12029 \begin_layout Standard
12042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12045 \begin_layout Standard
12048 \begin_inset Formula $\subsetneq$
12056 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12059 \begin_layout Standard
12070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12073 \begin_layout Standard
12076 \begin_inset Formula $\varsubsetneq$
12084 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12087 \begin_layout Standard
12098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12101 \begin_layout Standard
12104 \begin_inset Formula $\subsetneqq$
12112 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12115 \begin_layout Standard
12128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12131 \begin_layout Standard
12134 \begin_inset Formula $\varsubsetneqq$
12142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12145 \begin_layout Standard
12156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12159 \begin_layout Standard
12162 \begin_inset Formula $\ngtr$
12170 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12173 \begin_layout Standard
12184 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12187 \begin_layout Standard
12190 \begin_inset Formula $\ngeq$
12198 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12201 \begin_layout Standard
12214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12217 \begin_layout Standard
12220 \begin_inset Formula $\ngeqslant$
12228 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12231 \begin_layout Standard
12242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12245 \begin_layout Standard
12248 \begin_inset Formula $\ngeqq$
12256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12259 \begin_layout Standard
12270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12273 \begin_layout Standard
12276 \begin_inset Formula $\gneq$
12284 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12287 \begin_layout Standard
12300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12303 \begin_layout Standard
12306 \begin_inset Formula $\gneqq$
12314 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12317 \begin_layout Standard
12328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12331 \begin_layout Standard
12334 \begin_inset Formula $\gvertneqq$
12342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12345 \begin_layout Standard
12356 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12359 \begin_layout Standard
12362 \begin_inset Formula $\gnsim$
12370 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12373 \begin_layout Standard
12386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12389 \begin_layout Standard
12392 \begin_inset Formula $\gnapprox$
12400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12403 \begin_layout Standard
12414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12417 \begin_layout Standard
12420 \begin_inset Formula $\nsucc$
12428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12431 \begin_layout Standard
12442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12445 \begin_layout Standard
12448 \begin_inset Formula $\nsucceq$
12456 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12459 \begin_layout Standard
12472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12475 \begin_layout Standard
12478 \begin_inset Formula $\succnsim$
12486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12489 \begin_layout Standard
12500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12503 \begin_layout Standard
12506 \begin_inset Formula $\succnapprox$
12514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12517 \begin_layout Standard
12528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12531 \begin_layout Standard
12534 \begin_inset Formula $\ncong$
12542 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12545 \begin_layout Standard
12558 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12561 \begin_layout Standard
12564 \begin_inset Formula $\nshortparallel$
12572 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12575 \begin_layout Standard
12586 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12589 \begin_layout Standard
12592 \begin_inset Formula $\nparallel$
12600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12603 \begin_layout Standard
12614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12617 \begin_layout Standard
12620 \begin_inset Formula $\nvDash$
12628 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12631 \begin_layout Standard
12644 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12647 \begin_layout Standard
12650 \begin_inset Formula $\nVDash$
12658 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12661 \begin_layout Standard
12672 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12675 \begin_layout Standard
12678 \begin_inset Formula $\ntriangleright$
12686 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12689 \begin_layout Standard
12700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12703 \begin_layout Standard
12706 \begin_inset Formula $\ntrianglerighteq$
12714 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12717 \begin_layout Standard
12730 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12733 \begin_layout Standard
12736 \begin_inset Formula $\nsupseteq$
12744 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12747 \begin_layout Standard
12758 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12761 \begin_layout Standard
12764 \begin_inset Formula $\nsupseteqq$
12772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12775 \begin_layout Standard
12786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12789 \begin_layout Standard
12792 \begin_inset Formula $\supsetneq$
12800 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12803 \begin_layout Standard
12816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12819 \begin_layout Standard
12822 \begin_inset Formula $\varsupsetneq$
12830 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12833 \begin_layout Standard
12844 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12847 \begin_layout Standard
12850 \begin_inset Formula $\supsetneqq$
12858 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12861 \begin_layout Standard
12872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12875 \begin_layout Standard
12878 \begin_inset Formula $\varsupsetneqq$
12886 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12889 \begin_layout Standard
12908 \begin_layout Caption
12910 AMS negated binary relations
12918 \begin_layout Standard
12921 \begin_inset Float table
12927 \begin_layout Standard
12930 \begin_inset Tabular
12931 <lyxtabular version="3" rows="8" columns="6">
12933 <column alignment="right" valignment="top" width="0pt">
12934 <column alignment="left" valignment="top" width="0pt">
12935 <column alignment="right" valignment="top" width="0pt">
12936 <column alignment="left" valignment="top" width="0pt">
12937 <column alignment="right" valignment="top" width="0pt">
12938 <column alignment="left" valignment="top" width="0pt">
12940 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12943 \begin_layout Standard
12946 \begin_inset Formula $\dotplus$
12954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12957 \begin_layout Standard
12968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12971 \begin_layout Standard
12974 \begin_inset Formula $\smallsetminus$
12982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12985 \begin_layout Standard
12996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12999 \begin_layout Standard
13002 \begin_inset Formula $\Cap$
13010 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13013 \begin_layout Standard
13026 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13029 \begin_layout Standard
13032 \begin_inset Formula $\Cup$
13040 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13043 \begin_layout Standard
13054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13057 \begin_layout Standard
13060 \begin_inset Formula $\barwedge$
13068 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13071 \begin_layout Standard
13082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13085 \begin_layout Standard
13088 \begin_inset Formula $\veebar$
13096 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13099 \begin_layout Standard
13112 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13115 \begin_layout Standard
13118 \begin_inset Formula $\doublebarwedge$
13126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13129 \begin_layout Standard
13140 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13143 \begin_layout Standard
13146 \begin_inset Formula $\boxminus$
13154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13157 \begin_layout Standard
13168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13171 \begin_layout Standard
13174 \begin_inset Formula $\boxtimes$
13182 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13185 \begin_layout Standard
13198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13201 \begin_layout Standard
13204 \begin_inset Formula $\boxdot$
13212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13215 \begin_layout Standard
13226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13229 \begin_layout Standard
13232 \begin_inset Formula $\boxplus$
13240 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13243 \begin_layout Standard
13254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13257 \begin_layout Standard
13260 \begin_inset Formula $\divideontimes$
13268 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13271 \begin_layout Standard
13284 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13287 \begin_layout Standard
13290 \begin_inset Formula $\ltimes$
13298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13301 \begin_layout Standard
13312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13315 \begin_layout Standard
13318 \begin_inset Formula $\rtimes$
13326 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13329 \begin_layout Standard
13340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13343 \begin_layout Standard
13346 \begin_inset Formula $\leftthreetimes$
13354 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13357 \begin_layout Standard
13370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13373 \begin_layout Standard
13376 \begin_inset Formula $\rightthreetimes$
13384 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13387 \begin_layout Standard
13398 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13401 \begin_layout Standard
13404 \begin_inset Formula $\curlywedge$
13412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13415 \begin_layout Standard
13426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13429 \begin_layout Standard
13432 \begin_inset Formula $\curlyvee$
13440 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13443 \begin_layout Standard
13456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13459 \begin_layout Standard
13462 \begin_inset Formula $\circleddash$
13470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13473 \begin_layout Standard
13484 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13487 \begin_layout Standard
13490 \begin_inset Formula $\circledast$
13498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13501 \begin_layout Standard
13512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13515 \begin_layout Standard
13518 \begin_inset Formula $\circledcirc$
13526 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13529 \begin_layout Standard
13542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13545 \begin_layout Standard
13548 \begin_inset Formula $\centerdot$
13556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13559 \begin_layout Standard
13570 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13573 \begin_layout Standard
13576 \begin_inset Formula $\intercal$
13584 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13587 \begin_layout Standard
13598 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13601 \begin_layout Standard
13607 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13610 \begin_layout Standard
13624 \begin_layout Caption
13626 AMS binary operators
13634 \begin_layout Standard
13637 \begin_inset Float table
13643 \begin_layout Standard
13646 \begin_inset Tabular
13647 <lyxtabular version="3" rows="9" columns="6">
13649 <column alignment="right" valignment="top" width="0pt">
13650 <column alignment="left" valignment="top" width="0pt">
13651 <column alignment="right" valignment="top" width="0pt">
13652 <column alignment="left" valignment="top" width="0pt">
13653 <column alignment="right" valignment="top" width="0pt">
13654 <column alignment="left" valignment="top" width="0pt">
13656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13659 \begin_layout Standard
13662 \begin_inset Formula $\hbar$
13670 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13673 \begin_layout Standard
13684 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13687 \begin_layout Standard
13690 \begin_inset Formula $\hslash$
13698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13701 \begin_layout Standard
13712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13715 \begin_layout Standard
13718 \begin_inset Formula $\vartriangle$
13726 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13729 \begin_layout Standard
13742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13745 \begin_layout Standard
13748 \begin_inset Formula $\triangledown$
13756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13759 \begin_layout Standard
13770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13773 \begin_layout Standard
13776 \begin_inset Formula $\square$
13784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13787 \begin_layout Standard
13798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13801 \begin_layout Standard
13804 \begin_inset Formula $\lozenge$
13812 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13815 \begin_layout Standard
13828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13831 \begin_layout Standard
13834 \begin_inset Formula $\circledS$
13842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13845 \begin_layout Standard
13856 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13859 \begin_layout Standard
13862 \begin_inset Formula $\angle$
13870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13873 \begin_layout Standard
13884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13887 \begin_layout Standard
13890 \begin_inset Formula $\measuredangle$
13898 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13901 \begin_layout Standard
13914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13917 \begin_layout Standard
13920 \begin_inset Formula $\nexists$
13928 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13931 \begin_layout Standard
13942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13945 \begin_layout Standard
13948 \begin_inset Formula $\mho$
13956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13959 \begin_layout Standard
13970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13973 \begin_layout Standard
13976 \begin_inset Formula $\Finv$
13984 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13987 \begin_layout Standard
14000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14003 \begin_layout Standard
14006 \begin_inset Formula $\Game$
14014 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14017 \begin_layout Standard
14028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14031 \begin_layout Standard
14034 \begin_inset Formula $\Bbbk$
14042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14045 \begin_layout Standard
14056 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14059 \begin_layout Standard
14062 \begin_inset Formula $\backprime$
14070 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14073 \begin_layout Standard
14086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14089 \begin_layout Standard
14092 \begin_inset Formula $\varnothing$
14100 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14103 \begin_layout Standard
14114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14117 \begin_layout Standard
14120 \begin_inset Formula $\blacktriangle$
14128 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14131 \begin_layout Standard
14142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14145 \begin_layout Standard
14148 \begin_inset Formula $\blacktriangledown$
14156 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14159 \begin_layout Standard
14172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14175 \begin_layout Standard
14178 \begin_inset Formula $\blacksquare$
14186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14189 \begin_layout Standard
14200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14203 \begin_layout Standard
14206 \begin_inset Formula $\blacklozenge$
14214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14217 \begin_layout Standard
14228 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14231 \begin_layout Standard
14234 \begin_inset Formula $\bigstar$
14242 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14245 \begin_layout Standard
14258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14261 \begin_layout Standard
14264 \begin_inset Formula $\sphericalangle$
14272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14275 \begin_layout Standard
14286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14289 \begin_layout Standard
14292 \begin_inset Formula $\complement$
14300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14303 \begin_layout Standard
14314 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14317 \begin_layout Standard
14320 \begin_inset Formula $\eth$
14328 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14331 \begin_layout Standard
14344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14347 \begin_layout Standard
14350 \begin_inset Formula $\diagup$
14358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14361 \begin_layout Standard
14372 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14375 \begin_layout Standard
14378 \begin_inset Formula $\diagdown$
14386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14389 \begin_layout Standard
14400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14403 \begin_layout Standard
14409 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14412 \begin_layout Standard
14426 \begin_layout Caption