1 #LyX 1.5.0svn created this file. For more info see http://www.lyx.org/
14 \paperfontsize default
21 \paperorientation portrait
24 \paragraph_separation indent
26 \quotes_language english
29 \paperpagestyle default
30 \tracking_changes false
38 Converting to and from mathed
41 \begin_layout Standard
43 Math can be typed in the body of the document and converted to mathed-mode
44 by highlighting it and typing
50 The text can be bounded with delimiters or not.
51 That is, highlighting any of the formulae below:
54 \begin_layout Standard
58 <lyxtabular version="3" rows="5" columns="1">
60 <column alignment="left" valignment="top" width="0pt">
62 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
65 \begin_layout Standard
80 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
83 \begin_layout Standard
98 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
101 \begin_layout Standard
112 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
115 \begin_layout Standard
130 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
133 \begin_layout Standard
154 \begin_layout Standard
159 \begin_layout Standard
162 \begin_inset Formula \begin{equation}
163 \frac{abc}{xyz}\end{equation}
170 \begin_layout Standard
172 At present, no formal way exists to convert the contents of a math inset
173 back into plain text.
174 It can be done using a
175 \begin_inset Quotes eld
179 \begin_inset Quotes erd
183 Highlight the contents of a math inset (not the math inset itself, just
184 the contents), but do
188 copy it into LyX's buffer.
189 It is now stored in the X system buffer and can be pasted back into the
190 document using the middle mouse button.
193 \begin_layout Section
195 Displaying LaTeX symbols
198 \begin_layout Standard
200 Historically, LyX has provided visual support for a relatively small subset
201 of the math symbols available in LaTeX.
202 That changes with version 1.2; we now have visual support for most of the
203 symbols defined in basic LaTeX and
207 the extra ones defined by the AMS.
208 For completeness, the tables of symbols in Lamport's and in Goosen's books
212 \begin_layout Section
214 Some example math tables
217 \begin_layout Standard
219 The following tables from Goossen et al.'s
220 \begin_inset Quotes eld
224 \begin_inset Quotes erd
227 should appear on the screen in all their glory.
230 \begin_layout Standard
236 \begin_layout Standard
242 \begin_layout Standard
246 \begin_layout Standard
261 \begin_layout Standard
264 \begin_inset Float table
270 \begin_layout Standard
274 <lyxtabular version="3" rows="2" columns="10">
276 <column alignment="right" valignment="top" width="0pt">
277 <column alignment="left" valignment="top" width="0pt">
278 <column alignment="right" valignment="top" width="0pt">
279 <column alignment="left" valignment="top" width="0pt">
280 <column alignment="right" valignment="top" width="0pt">
281 <column alignment="left" valignment="top" width="0pt">
282 <column alignment="right" valignment="top" width="0pt">
283 <column alignment="left" valignment="top" width="0pt">
284 <column alignment="right" valignment="top" width="0pt">
285 <column alignment="left" valignment="top" width="0pt">
287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
290 \begin_layout Standard
295 \begin_inset Formula $\hat{a}$
303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
306 \begin_layout Standard
317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
320 \begin_layout Standard
325 \begin_inset Formula $\acute{a}$
333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
336 \begin_layout Standard
347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
350 \begin_layout Standard
355 \begin_inset Formula $\bar{a}$
363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
366 \begin_layout Standard
377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
380 \begin_layout Standard
385 \begin_inset Formula $\dot{a}$
393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
396 \begin_layout Standard
407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
410 \begin_layout Standard
415 \begin_inset Formula $\breve{a}$
423 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
426 \begin_layout Standard
439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
442 \begin_layout Standard
447 \begin_inset Formula $\check{a}$
455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
458 \begin_layout Standard
469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
472 \begin_layout Standard
477 \begin_inset Formula $\grave{a}$
485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
488 \begin_layout Standard
499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
502 \begin_layout Standard
507 \begin_inset Formula $\vec{a}$
515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
518 \begin_layout Standard
529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
532 \begin_layout Standard
537 \begin_inset Formula $\ddot{a}$
545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
548 \begin_layout Standard
559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
562 \begin_layout Standard
567 \begin_inset Formula $\tilde{a}$
575 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
578 \begin_layout Standard
597 \begin_layout Caption
607 \begin_layout Standard
610 \begin_inset Float table
616 \begin_layout Standard
620 <lyxtabular version="3" rows="11" columns="8">
622 <column alignment="right" valignment="top" width="0pt">
623 <column alignment="left" valignment="top" width="0pt">
624 <column alignment="right" valignment="top" width="0pt">
625 <column alignment="left" valignment="top" width="0pt">
626 <column alignment="right" valignment="top" width="0pt">
627 <column alignment="left" valignment="top" width="0pt">
628 <column alignment="right" valignment="top" width="0pt">
629 <column alignment="left" valignment="top" width="0pt">
631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
634 \begin_layout Standard
637 \begin_inset Formula $\alpha$
645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
648 \begin_layout Standard
659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
662 \begin_layout Standard
665 \begin_inset Formula $\beta$
673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
676 \begin_layout Standard
687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
690 \begin_layout Standard
693 \begin_inset Formula $\gamma$
701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
704 \begin_layout Standard
715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
718 \begin_layout Standard
721 \begin_inset Formula $\delta$
729 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
732 \begin_layout Standard
745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
748 \begin_layout Standard
751 \begin_inset Formula $\epsilon$
759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
762 \begin_layout Standard
773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
776 \begin_layout Standard
779 \begin_inset Formula $\varepsilon$
787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
790 \begin_layout Standard
801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
804 \begin_layout Standard
807 \begin_inset Formula $\zeta$
815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
818 \begin_layout Standard
829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
832 \begin_layout Standard
835 \begin_inset Formula $\eta$
843 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
846 \begin_layout Standard
859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
862 \begin_layout Standard
865 \begin_inset Formula $\theta$
873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
876 \begin_layout Standard
887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
890 \begin_layout Standard
893 \begin_inset Formula $\vartheta$
901 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
904 \begin_layout Standard
915 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
918 \begin_layout Standard
921 \begin_inset Formula $\iota$
929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
932 \begin_layout Standard
943 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
946 \begin_layout Standard
949 \begin_inset Formula $\kappa$
957 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
960 \begin_layout Standard
973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
976 \begin_layout Standard
979 \begin_inset Formula $\lambda$
987 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
990 \begin_layout Standard
1001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1004 \begin_layout Standard
1007 \begin_inset Formula $\mu$
1015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1018 \begin_layout Standard
1029 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1032 \begin_layout Standard
1035 \begin_inset Formula $\nu$
1043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1046 \begin_layout Standard
1057 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1060 \begin_layout Standard
1063 \begin_inset Formula $\xi$
1071 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1074 \begin_layout Standard
1087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1090 \begin_layout Standard
1093 \begin_inset Formula $o$
1101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1104 \begin_layout Standard
1111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1114 \begin_layout Standard
1117 \begin_inset Formula $\pi$
1125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1128 \begin_layout Standard
1139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1142 \begin_layout Standard
1145 \begin_inset Formula $\varpi$
1153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1156 \begin_layout Standard
1167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1170 \begin_layout Standard
1173 \begin_inset Formula $\rho$
1181 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1184 \begin_layout Standard
1197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1200 \begin_layout Standard
1203 \begin_inset Formula $\varrho$
1211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1214 \begin_layout Standard
1225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1228 \begin_layout Standard
1231 \begin_inset Formula $\sigma$
1239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1242 \begin_layout Standard
1253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1256 \begin_layout Standard
1259 \begin_inset Formula $\varsigma$
1267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1270 \begin_layout Standard
1281 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1284 \begin_layout Standard
1287 \begin_inset Formula $\tau$
1295 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1298 \begin_layout Standard
1311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1314 \begin_layout Standard
1317 \begin_inset Formula $\upsilon$
1325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1328 \begin_layout Standard
1339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1342 \begin_layout Standard
1345 \begin_inset Formula $\phi$
1353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1356 \begin_layout Standard
1367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1370 \begin_layout Standard
1373 \begin_inset Formula $\varphi$
1381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1384 \begin_layout Standard
1395 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1398 \begin_layout Standard
1401 \begin_inset Formula $\chi$
1409 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1412 \begin_layout Standard
1425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1428 \begin_layout Standard
1431 \begin_inset Formula $\psi$
1439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1442 \begin_layout Standard
1453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1456 \begin_layout Standard
1459 \begin_inset Formula $\omega$
1467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1470 \begin_layout Standard
1481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1484 \begin_layout Standard
1490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1493 \begin_layout Standard
1499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1502 \begin_layout Standard
1508 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1511 \begin_layout Standard
1519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1522 \begin_layout Standard
1525 \begin_inset Formula $\Gamma$
1533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1536 \begin_layout Standard
1547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1550 \begin_layout Standard
1553 \begin_inset Formula $\Delta$
1561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1564 \begin_layout Standard
1575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1578 \begin_layout Standard
1581 \begin_inset Formula $\Theta$
1589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1592 \begin_layout Standard
1603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1606 \begin_layout Standard
1609 \begin_inset Formula $\Lambda$
1617 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1620 \begin_layout Standard
1633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1636 \begin_layout Standard
1639 \begin_inset Formula $\Xi$
1647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1650 \begin_layout Standard
1661 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1664 \begin_layout Standard
1667 \begin_inset Formula $\Pi$
1675 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1678 \begin_layout Standard
1689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1692 \begin_layout Standard
1695 \begin_inset Formula $\Sigma$
1703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1706 \begin_layout Standard
1717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1720 \begin_layout Standard
1723 \begin_inset Formula $\Upsilon$
1731 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1734 \begin_layout Standard
1747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1750 \begin_layout Standard
1753 \begin_inset Formula $\Phi$
1761 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1764 \begin_layout Standard
1775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1778 \begin_layout Standard
1781 \begin_inset Formula $\Psi$
1789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1792 \begin_layout Standard
1803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1806 \begin_layout Standard
1809 \begin_inset Formula $\Omega$
1817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1820 \begin_layout Standard
1831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1834 \begin_layout Standard
1840 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1843 \begin_layout Standard
1857 \begin_layout Caption
1867 \begin_layout Standard
1870 \begin_inset Float table
1876 \begin_layout Standard
1879 \begin_inset Tabular
1880 <lyxtabular version="3" rows="9" columns="8">
1882 <column alignment="right" valignment="top" width="0pt">
1883 <column alignment="left" valignment="top" width="0pt">
1884 <column alignment="right" valignment="top" width="0pt">
1885 <column alignment="left" valignment="top" width="0pt">
1886 <column alignment="right" valignment="top" width="0pt">
1887 <column alignment="left" valignment="top" width="0pt">
1888 <column alignment="right" valignment="top" width="0pt">
1889 <column alignment="left" valignment="top" width="0pt">
1891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1894 \begin_layout Standard
1897 \begin_inset Formula $\pm$
1905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1908 \begin_layout Standard
1919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1922 \begin_layout Standard
1925 \begin_inset Formula $\cap$
1933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1936 \begin_layout Standard
1947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1950 \begin_layout Standard
1953 \begin_inset Formula $\diamond$
1961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1964 \begin_layout Standard
1975 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1978 \begin_layout Standard
1981 \begin_inset Formula $\oplus$
1989 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1992 \begin_layout Standard
2005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2008 \begin_layout Standard
2011 \begin_inset Formula $\mp$
2019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2022 \begin_layout Standard
2033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2036 \begin_layout Standard
2039 \begin_inset Formula $\cup$
2047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2050 \begin_layout Standard
2061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2064 \begin_layout Standard
2067 \begin_inset Formula $\bigtriangleup$
2075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2078 \begin_layout Standard
2089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2092 \begin_layout Standard
2095 \begin_inset Formula $\ominus$
2103 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2106 \begin_layout Standard
2119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2122 \begin_layout Standard
2125 \begin_inset Formula $\times$
2133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2136 \begin_layout Standard
2147 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2150 \begin_layout Standard
2153 \begin_inset Formula $\uplus$
2161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2164 \begin_layout Standard
2175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2178 \begin_layout Standard
2181 \begin_inset Formula $\bigtriangledown$
2189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2192 \begin_layout Standard
2203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2206 \begin_layout Standard
2209 \begin_inset Formula $\otimes$
2217 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2220 \begin_layout Standard
2233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2236 \begin_layout Standard
2239 \begin_inset Formula $\div$
2247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2250 \begin_layout Standard
2261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2264 \begin_layout Standard
2267 \begin_inset Formula $\sqcap$
2275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2278 \begin_layout Standard
2289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2292 \begin_layout Standard
2295 \begin_inset Formula $\triangleleft$
2303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2306 \begin_layout Standard
2317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2320 \begin_layout Standard
2323 \begin_inset Formula $\oslash$
2331 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2334 \begin_layout Standard
2347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2350 \begin_layout Standard
2353 \begin_inset Formula $\ast$
2361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2364 \begin_layout Standard
2375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2378 \begin_layout Standard
2381 \begin_inset Formula $\sqcup$
2389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2392 \begin_layout Standard
2403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2406 \begin_layout Standard
2409 \begin_inset Formula $\triangleright$
2417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2420 \begin_layout Standard
2431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2434 \begin_layout Standard
2437 \begin_inset Formula $\odot$
2445 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2448 \begin_layout Standard
2461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2464 \begin_layout Standard
2467 \begin_inset Formula $\star$
2475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2478 \begin_layout Standard
2489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2492 \begin_layout Standard
2495 \begin_inset Formula $\vee$
2503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2506 \begin_layout Standard
2517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2520 \begin_layout Standard
2523 \begin_inset Formula $\lhd$
2531 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2534 \begin_layout Standard
2545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2548 \begin_layout Standard
2551 \begin_inset Formula $\bigcirc$
2559 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2562 \begin_layout Standard
2575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2578 \begin_layout Standard
2581 \begin_inset Formula $\circ$
2589 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2592 \begin_layout Standard
2603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2606 \begin_layout Standard
2609 \begin_inset Formula $\wedge$
2617 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2620 \begin_layout Standard
2631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2634 \begin_layout Standard
2637 \begin_inset Formula $\rhd$
2645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2648 \begin_layout Standard
2659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2662 \begin_layout Standard
2665 \begin_inset Formula $\dagger$
2673 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2676 \begin_layout Standard
2689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2692 \begin_layout Standard
2695 \begin_inset Formula $\bullet$
2703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2706 \begin_layout Standard
2717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2720 \begin_layout Standard
2723 \begin_inset Formula $\setminus$
2731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2734 \begin_layout Standard
2745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2748 \begin_layout Standard
2751 \begin_inset Formula $\unlhd$
2759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2762 \begin_layout Standard
2773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2776 \begin_layout Standard
2779 \begin_inset Formula $\ddagger$
2787 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2790 \begin_layout Standard
2803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2806 \begin_layout Standard
2809 \begin_inset Formula $\cdot$
2817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2820 \begin_layout Standard
2831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2834 \begin_layout Standard
2837 \begin_inset Formula $\wr$
2845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2848 \begin_layout Standard
2859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2862 \begin_layout Standard
2865 \begin_inset Formula $\unrhd$
2873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2876 \begin_layout Standard
2887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2890 \begin_layout Standard
2893 \begin_inset Formula $\amalg$
2901 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2904 \begin_layout Standard
2923 \begin_layout Caption
2925 Binary operation symbols
2933 \begin_layout Standard
2936 \begin_inset Float table
2942 \begin_layout Standard
2945 \begin_inset Tabular
2946 <lyxtabular version="3" rows="8" columns="10">
2948 <column alignment="right" valignment="top" width="0pt">
2949 <column alignment="left" valignment="top" width="0pt">
2950 <column alignment="right" valignment="top" width="0pt">
2951 <column alignment="left" valignment="top" width="0pt">
2952 <column alignment="right" valignment="top" width="0pt">
2953 <column alignment="left" valignment="top" width="0pt">
2954 <column alignment="right" valignment="top" width="0pt">
2955 <column alignment="left" valignment="top" width="0pt">
2956 <column alignment="right" valignment="top" width="0pt">
2957 <column alignment="left" valignment="top" width="0pt">
2959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2962 \begin_layout Standard
2965 \begin_inset Formula $\leq$
2973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2976 \begin_layout Standard
2989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2992 \begin_layout Standard
2995 \begin_inset Formula $\geq$
3003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3006 \begin_layout Standard
3017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3020 \begin_layout Standard
3023 \begin_inset Formula $\equiv$
3031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3034 \begin_layout Standard
3045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3048 \begin_layout Standard
3051 \begin_inset Formula $\models$
3059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3062 \begin_layout Standard
3073 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3076 \begin_layout Standard
3079 \begin_inset Formula $\prec$
3087 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3090 \begin_layout Standard
3103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3106 \begin_layout Standard
3109 \begin_inset Formula $\succ$
3117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3120 \begin_layout Standard
3131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3134 \begin_layout Standard
3137 \begin_inset Formula $\sim$
3145 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3148 \begin_layout Standard
3159 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3162 \begin_layout Standard
3165 \begin_inset Formula $\perp$
3173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3176 \begin_layout Standard
3187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3190 \begin_layout Standard
3193 \begin_inset Formula $\preceq$
3201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3204 \begin_layout Standard
3215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3218 \begin_layout Standard
3221 \begin_inset Formula $\succeq$
3229 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3232 \begin_layout Standard
3245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3248 \begin_layout Standard
3251 \begin_inset Formula $\simeq$
3259 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3262 \begin_layout Standard
3273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3276 \begin_layout Standard
3279 \begin_inset Formula $\mid$
3287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3290 \begin_layout Standard
3301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3304 \begin_layout Standard
3307 \begin_inset Formula $\ll$
3315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3318 \begin_layout Standard
3329 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3332 \begin_layout Standard
3335 \begin_inset Formula $\gg$
3343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3346 \begin_layout Standard
3357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3360 \begin_layout Standard
3363 \begin_inset Formula $\asymp$
3371 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3374 \begin_layout Standard
3387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3390 \begin_layout Standard
3393 \begin_inset Formula $\parallel$
3401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3404 \begin_layout Standard
3415 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3418 \begin_layout Standard
3421 \begin_inset Formula $\subset$
3429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3432 \begin_layout Standard
3443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3446 \begin_layout Standard
3449 \begin_inset Formula $\supset$
3457 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3460 \begin_layout Standard
3471 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3474 \begin_layout Standard
3477 \begin_inset Formula $\approx$
3485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3488 \begin_layout Standard
3499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3502 \begin_layout Standard
3505 \begin_inset Formula $\bowtie$
3513 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3516 \begin_layout Standard
3529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3532 \begin_layout Standard
3535 \begin_inset Formula $\subseteq$
3543 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3546 \begin_layout Standard
3557 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3560 \begin_layout Standard
3563 \begin_inset Formula $\supseteq$
3571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3574 \begin_layout Standard
3585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3588 \begin_layout Standard
3591 \begin_inset Formula $\cong$
3599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3602 \begin_layout Standard
3613 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3616 \begin_layout Standard
3619 \begin_inset Formula $\Join$
3627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3630 \begin_layout Standard
3641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3644 \begin_layout Standard
3647 \begin_inset Formula $\sqsubset$
3655 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3658 \begin_layout Standard
3671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3674 \begin_layout Standard
3677 \begin_inset Formula $\sqsupset$
3685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3688 \begin_layout Standard
3699 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3702 \begin_layout Standard
3705 \begin_inset Formula $\neq$
3713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3716 \begin_layout Standard
3727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3730 \begin_layout Standard
3733 \begin_inset Formula $\smile$
3741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3744 \begin_layout Standard
3755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3758 \begin_layout Standard
3761 \begin_inset Formula $\sqsubseteq$
3769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3772 \begin_layout Standard
3783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3786 \begin_layout Standard
3789 \begin_inset Formula $\sqsupseteq$
3797 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3800 \begin_layout Standard
3813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3816 \begin_layout Standard
3819 \begin_inset Formula $\doteq$
3827 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3830 \begin_layout Standard
3841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3844 \begin_layout Standard
3847 \begin_inset Formula $\frown$
3855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3858 \begin_layout Standard
3869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3872 \begin_layout Standard
3875 \begin_inset Formula $\in$
3883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3886 \begin_layout Standard
3897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3900 \begin_layout Standard
3903 \begin_inset Formula $\ni$
3911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3914 \begin_layout Standard
3925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3928 \begin_layout Standard
3931 \begin_inset Formula $\propto$
3939 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3942 \begin_layout Standard
3955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3958 \begin_layout Standard
3961 \begin_inset Formula $=$
3969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3972 \begin_layout Standard
3981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3984 \begin_layout Standard
3987 \begin_inset Formula $\vdash$
3995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3998 \begin_layout Standard
4009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4012 \begin_layout Standard
4015 \begin_inset Formula $\dashv$
4023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4026 \begin_layout Standard
4037 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4040 \begin_layout Standard
4043 \begin_inset Formula $<$
4051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4054 \begin_layout Standard
4063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4066 \begin_layout Standard
4069 \begin_inset Formula $>$
4077 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4080 \begin_layout Standard
4097 \begin_layout Caption
4107 \begin_layout Standard
4110 \begin_inset Float table
4116 \begin_layout Standard
4119 \begin_inset Tabular
4120 <lyxtabular version="3" rows="10" columns="6">
4122 <column alignment="right" valignment="top" width="0pt">
4123 <column alignment="left" valignment="top" width="0pt">
4124 <column alignment="right" valignment="top" width="0pt">
4125 <column alignment="left" valignment="top" width="0pt">
4126 <column alignment="right" valignment="top" width="0pt">
4127 <column alignment="left" valignment="top" width="0pt">
4129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4132 \begin_layout Standard
4135 \begin_inset Formula $\leftarrow$
4143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4146 \begin_layout Standard
4157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4160 \begin_layout Standard
4163 \begin_inset Formula $\longleftarrow$
4171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4174 \begin_layout Standard
4185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4188 \begin_layout Standard
4191 \begin_inset Formula $\uparrow$
4199 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4202 \begin_layout Standard
4215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4218 \begin_layout Standard
4221 \begin_inset Formula $\Leftarrow$
4229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4232 \begin_layout Standard
4243 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4246 \begin_layout Standard
4249 \begin_inset Formula $\Longleftarrow$
4257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4260 \begin_layout Standard
4271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4274 \begin_layout Standard
4277 \begin_inset Formula $\Uparrow$
4285 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4288 \begin_layout Standard
4301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4304 \begin_layout Standard
4307 \begin_inset Formula $\rightarrow$
4315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4318 \begin_layout Standard
4329 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4332 \begin_layout Standard
4335 \begin_inset Formula $\longrightarrow$
4343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4346 \begin_layout Standard
4357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4360 \begin_layout Standard
4363 \begin_inset Formula $\downarrow$
4371 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4374 \begin_layout Standard
4387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4390 \begin_layout Standard
4393 \begin_inset Formula $\Rightarrow$
4401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4404 \begin_layout Standard
4415 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4418 \begin_layout Standard
4421 \begin_inset Formula $\Longrightarrow$
4429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4432 \begin_layout Standard
4443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4446 \begin_layout Standard
4449 \begin_inset Formula $\Downarrow$
4457 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4460 \begin_layout Standard
4473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4476 \begin_layout Standard
4479 \begin_inset Formula $\leftrightarrow$
4487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4490 \begin_layout Standard
4501 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4504 \begin_layout Standard
4507 \begin_inset Formula $\longleftrightarrow$
4515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4518 \begin_layout Standard
4529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4532 \begin_layout Standard
4535 \begin_inset Formula $\updownarrow$
4543 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4546 \begin_layout Standard
4559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4562 \begin_layout Standard
4565 \begin_inset Formula $\Leftrightarrow$
4573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4576 \begin_layout Standard
4587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4590 \begin_layout Standard
4593 \begin_inset Formula $\Longleftrightarrow$
4601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4604 \begin_layout Standard
4615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4618 \begin_layout Standard
4621 \begin_inset Formula $\Updownarrow$
4629 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4632 \begin_layout Standard
4645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4648 \begin_layout Standard
4651 \begin_inset Formula $\mapsto$
4659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4662 \begin_layout Standard
4673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4676 \begin_layout Standard
4679 \begin_inset Formula $\longmapsto$
4687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4690 \begin_layout Standard
4701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4704 \begin_layout Standard
4707 \begin_inset Formula $\nearrow$
4715 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4718 \begin_layout Standard
4731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4734 \begin_layout Standard
4737 \begin_inset Formula $\hookleftarrow$
4745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4748 \begin_layout Standard
4759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4762 \begin_layout Standard
4765 \begin_inset Formula $\hookrightarrow$
4773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4776 \begin_layout Standard
4787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4790 \begin_layout Standard
4793 \begin_inset Formula $\searrow$
4801 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4804 \begin_layout Standard
4817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4820 \begin_layout Standard
4823 \begin_inset Formula $\leftharpoonup$
4831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4834 \begin_layout Standard
4845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4848 \begin_layout Standard
4851 \begin_inset Formula $\rightharpoonup$
4859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4862 \begin_layout Standard
4873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4876 \begin_layout Standard
4879 \begin_inset Formula $\swarrow$
4887 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4890 \begin_layout Standard
4903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4906 \begin_layout Standard
4909 \begin_inset Formula $\leftharpoondown$
4917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4920 \begin_layout Standard
4931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4934 \begin_layout Standard
4937 \begin_inset Formula $\rightharpoondown$
4945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4948 \begin_layout Standard
4959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4962 \begin_layout Standard
4965 \begin_inset Formula $\nwarrow$
4973 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4976 \begin_layout Standard
4995 \begin_layout Caption
5005 \begin_layout Standard
5008 \begin_inset Float table
5014 \begin_layout Standard
5017 \begin_inset Tabular
5018 <lyxtabular version="3" rows="7" columns="10">
5020 <column alignment="right" valignment="top" width="0pt">
5021 <column alignment="left" valignment="top" width="0pt">
5022 <column alignment="right" valignment="top" width="0pt">
5023 <column alignment="left" valignment="top" width="0pt">
5024 <column alignment="right" valignment="top" width="0pt">
5025 <column alignment="left" valignment="top" width="0pt">
5026 <column alignment="right" valignment="top" width="0pt">
5027 <column alignment="left" valignment="top" width="0pt">
5028 <column alignment="right" valignment="top" width="0pt">
5029 <column alignment="left" valignment="top" width="0pt">
5031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5034 \begin_layout Standard
5037 \begin_inset Formula $\ldots$
5045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5048 \begin_layout Standard
5059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5062 \begin_layout Standard
5065 \begin_inset Formula $\cdots$
5073 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5076 \begin_layout Standard
5087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5090 \begin_layout Standard
5093 \begin_inset Formula $\vdots$
5101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5104 \begin_layout Standard
5115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5118 \begin_layout Standard
5121 \begin_inset Formula $\ddots$
5129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5132 \begin_layout Standard
5143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5146 \begin_layout Standard
5149 \begin_inset Formula $\aleph$
5157 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5160 \begin_layout Standard
5173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5176 \begin_layout Standard
5179 \begin_inset Formula $\prime$
5187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5190 \begin_layout Standard
5201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5204 \begin_layout Standard
5207 \begin_inset Formula $\forall$
5215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5218 \begin_layout Standard
5229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5232 \begin_layout Standard
5235 \begin_inset Formula $\infty$
5243 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5246 \begin_layout Standard
5257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5260 \begin_layout Standard
5263 \begin_inset Formula $\hbar$
5271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5274 \begin_layout Standard
5285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5288 \begin_layout Standard
5291 \begin_inset Formula $\emptyset$
5299 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5302 \begin_layout Standard
5315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5318 \begin_layout Standard
5321 \begin_inset Formula $\exists$
5329 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5332 \begin_layout Standard
5343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5346 \begin_layout Standard
5349 \begin_inset Formula $\nabla$
5357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5360 \begin_layout Standard
5371 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5374 \begin_layout Standard
5377 \begin_inset Formula $\surd$
5385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5388 \begin_layout Standard
5399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5402 \begin_layout Standard
5405 \begin_inset Formula $\Box$
5413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5416 \begin_layout Standard
5427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5430 \begin_layout Standard
5433 \begin_inset Formula $\triangle$
5441 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5444 \begin_layout Standard
5457 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5460 \begin_layout Standard
5463 \begin_inset Formula $\Diamond$
5471 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5474 \begin_layout Standard
5485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5488 \begin_layout Standard
5491 \begin_inset Formula $\imath$
5499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5502 \begin_layout Standard
5513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5516 \begin_layout Standard
5519 \begin_inset Formula $\jmath$
5527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5530 \begin_layout Standard
5541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5544 \begin_layout Standard
5547 \begin_inset Formula $\ell$
5555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5558 \begin_layout Standard
5569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5572 \begin_layout Standard
5575 \begin_inset Formula $\neg$
5583 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5586 \begin_layout Standard
5599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5602 \begin_layout Standard
5605 \begin_inset Formula $\top$
5613 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5616 \begin_layout Standard
5627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5630 \begin_layout Standard
5633 \begin_inset Formula $\flat$
5641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5644 \begin_layout Standard
5655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5658 \begin_layout Standard
5661 \begin_inset Formula $\natural$
5669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5672 \begin_layout Standard
5683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5686 \begin_layout Standard
5689 \begin_inset Formula $\sharp$
5697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5700 \begin_layout Standard
5711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5714 \begin_layout Standard
5717 \begin_inset Formula $\wp$
5725 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5728 \begin_layout Standard
5741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5744 \begin_layout Standard
5747 \begin_inset Formula $\bot$
5755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5758 \begin_layout Standard
5769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5772 \begin_layout Standard
5775 \begin_inset Formula $\clubsuit$
5783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5786 \begin_layout Standard
5797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5800 \begin_layout Standard
5803 \begin_inset Formula $\diamondsuit$
5811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5814 \begin_layout Standard
5825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5828 \begin_layout Standard
5831 \begin_inset Formula $\heartsuit$
5839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5842 \begin_layout Standard
5853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5856 \begin_layout Standard
5859 \begin_inset Formula $\spadesuit$
5867 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5870 \begin_layout Standard
5883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5886 \begin_layout Standard
5889 \begin_inset Formula $\mho$
5897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5900 \begin_layout Standard
5911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5914 \begin_layout Standard
5917 \begin_inset Formula $\Re$
5925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5928 \begin_layout Standard
5939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5942 \begin_layout Standard
5945 \begin_inset Formula $\Im$
5953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5956 \begin_layout Standard
5967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5970 \begin_layout Standard
5973 \begin_inset Formula $\angle$
5981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5984 \begin_layout Standard
5995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5998 \begin_layout Standard
6001 \begin_inset Formula $\partial$
6009 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6012 \begin_layout Standard
6031 \begin_layout Caption
6033 Miscellaneous symbols
6041 \begin_layout Standard
6044 \begin_inset Float table
6050 \begin_layout Standard
6053 \begin_inset Tabular
6054 <lyxtabular version="3" rows="3" columns="10">
6056 <column alignment="right" valignment="top" width="0pt">
6057 <column alignment="left" valignment="top" width="0pt">
6058 <column alignment="right" valignment="top" width="0pt">
6059 <column alignment="left" valignment="top" width="0pt">
6060 <column alignment="right" valignment="top" width="0pt">
6061 <column alignment="left" valignment="top" width="0pt">
6062 <column alignment="right" valignment="top" width="0pt">
6063 <column alignment="left" valignment="top" width="0pt">
6064 <column alignment="right" valignment="top" width="0pt">
6065 <column alignment="left" valignment="top" width="0pt">
6067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6070 \begin_layout Standard
6073 \begin_inset Formula $\sum$
6081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6084 \begin_layout Standard
6095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6098 \begin_layout Standard
6101 \begin_inset Formula $\prod$
6109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6112 \begin_layout Standard
6123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6126 \begin_layout Standard
6129 \begin_inset Formula $\coprod$
6137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6140 \begin_layout Standard
6151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6154 \begin_layout Standard
6157 \begin_inset Formula $\int$
6165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6168 \begin_layout Standard
6179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6182 \begin_layout Standard
6185 \begin_inset Formula $\oint$
6193 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6196 \begin_layout Standard
6209 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6212 \begin_layout Standard
6215 \begin_inset Formula $\bigcap$
6223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6226 \begin_layout Standard
6237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6240 \begin_layout Standard
6243 \begin_inset Formula $\bigcup$
6251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6254 \begin_layout Standard
6265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6268 \begin_layout Standard
6271 \begin_inset Formula $\bigsqcup$
6279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6282 \begin_layout Standard
6293 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6296 \begin_layout Standard
6299 \begin_inset Formula $\bigvee$
6307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6310 \begin_layout Standard
6321 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6324 \begin_layout Standard
6327 \begin_inset Formula $\bigwedge$
6335 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6338 \begin_layout Standard
6351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6354 \begin_layout Standard
6357 \begin_inset Formula $\bigodot$
6365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6368 \begin_layout Standard
6379 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6382 \begin_layout Standard
6385 \begin_inset Formula $\bigotimes$
6393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6396 \begin_layout Standard
6407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6410 \begin_layout Standard
6413 \begin_inset Formula $\bigoplus$
6421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6424 \begin_layout Standard
6435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6438 \begin_layout Standard
6441 \begin_inset Formula $\biguplus$
6449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6452 \begin_layout Standard
6463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6466 \begin_layout Standard
6472 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6475 \begin_layout Standard
6489 \begin_layout Caption
6491 Variable-sized symbols
6499 \begin_layout Standard
6502 \begin_inset Float table
6508 \begin_layout Standard
6511 \begin_inset Tabular
6512 <lyxtabular version="3" rows="4" columns="8">
6514 <column alignment="left" valignment="top" width="0pt">
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">
6523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6526 \begin_layout Standard
6529 \begin_inset Formula $\arccos$
6537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6540 \begin_layout Standard
6543 \begin_inset Formula $\cos$
6551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6554 \begin_layout Standard
6557 \begin_inset Formula $\csc$
6565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6568 \begin_layout Standard
6571 \begin_inset Formula $\exp$
6579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6582 \begin_layout Standard
6585 \begin_inset Formula $\ker$
6593 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6596 \begin_layout Standard
6599 \begin_inset Formula $\limsup$
6607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6610 \begin_layout Standard
6613 \begin_inset Formula $\min$
6621 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6624 \begin_layout Standard
6627 \begin_inset Formula $\sinh$
6637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6640 \begin_layout Standard
6643 \begin_inset Formula $\arcsin$
6651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6654 \begin_layout Standard
6657 \begin_inset Formula $\cosh$
6665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6668 \begin_layout Standard
6671 \begin_inset Formula $\deg$
6679 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6682 \begin_layout Standard
6685 \begin_inset Formula $\gcd$
6693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6696 \begin_layout Standard
6699 \begin_inset Formula $\lg$
6707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6710 \begin_layout Standard
6713 \begin_inset Formula $\ln$
6721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6724 \begin_layout Standard
6727 \begin_inset Formula $\Pr$
6735 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6738 \begin_layout Standard
6741 \begin_inset Formula $\sup$
6751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6754 \begin_layout Standard
6757 \begin_inset Formula $\arctan$
6765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6768 \begin_layout Standard
6771 \begin_inset Formula $\cot$
6779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6782 \begin_layout Standard
6785 \begin_inset Formula $\det$
6793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6796 \begin_layout Standard
6799 \begin_inset Formula $\hom$
6807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6810 \begin_layout Standard
6813 \begin_inset Formula $\lim$
6821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6824 \begin_layout Standard
6827 \begin_inset Formula $\log$
6835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6838 \begin_layout Standard
6841 \begin_inset Formula $\sec$
6849 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6852 \begin_layout Standard
6855 \begin_inset Formula $\tan$
6865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6868 \begin_layout Standard
6871 \begin_inset Formula $\arg$
6879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6882 \begin_layout Standard
6885 \begin_inset Formula $\coth$
6893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6896 \begin_layout Standard
6899 \begin_inset Formula $\dim$
6907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6910 \begin_layout Standard
6913 \begin_inset Formula $\inf$
6921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6924 \begin_layout Standard
6927 \begin_inset Formula $\liminf$
6935 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6938 \begin_layout Standard
6941 \begin_inset Formula $\max$
6949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6952 \begin_layout Standard
6955 \begin_inset Formula $\sin$
6963 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6966 \begin_layout Standard
6969 \begin_inset Formula $\tanh$
6985 \begin_layout Caption
6995 \begin_layout Standard
6998 \begin_inset Float table
7004 \begin_layout Standard
7007 \begin_inset Tabular
7008 <lyxtabular version="3" rows="5" columns="8">
7010 <column alignment="right" valignment="top" width="0pt">
7011 <column alignment="left" valignment="top" width="0pt">
7012 <column alignment="right" valignment="top" width="0pt">
7013 <column alignment="left" valignment="top" width="0pt">
7014 <column alignment="right" valignment="top" width="0pt">
7015 <column alignment="left" valignment="top" width="0pt">
7016 <column alignment="right" valignment="top" width="0pt">
7017 <column alignment="left" valignment="top" width="0pt">
7019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7022 \begin_layout Standard
7025 \begin_inset Formula $\uparrow$
7033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7036 \begin_layout Standard
7047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7050 \begin_layout Standard
7053 \begin_inset Formula $\Uparrow$
7061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7064 \begin_layout Standard
7075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7078 \begin_layout Standard
7081 \begin_inset Formula $\downarrow$
7089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7092 \begin_layout Standard
7103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7106 \begin_layout Standard
7109 \begin_inset Formula $\Downarrow$
7117 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7120 \begin_layout Standard
7133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7136 \begin_layout Standard
7139 \begin_inset Formula $\{$
7147 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7150 \begin_layout Standard
7161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7164 \begin_layout Standard
7167 \begin_inset Formula $\}$
7175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7178 \begin_layout Standard
7189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7192 \begin_layout Standard
7195 \begin_inset Formula $\updownarrow$
7203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7206 \begin_layout Standard
7217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7220 \begin_layout Standard
7223 \begin_inset Formula $\Updownarrow$
7231 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7234 \begin_layout Standard
7247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7250 \begin_layout Standard
7253 \begin_inset Formula $\lfloor$
7261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7264 \begin_layout Standard
7275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7278 \begin_layout Standard
7281 \begin_inset Formula $\rfloor$
7289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7292 \begin_layout Standard
7303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7306 \begin_layout Standard
7309 \begin_inset Formula $\lceil$
7317 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7320 \begin_layout Standard
7331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7334 \begin_layout Standard
7337 \begin_inset Formula $\rceil$
7345 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7348 \begin_layout Standard
7361 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7364 \begin_layout Standard
7367 \begin_inset Formula $\langle$
7375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7378 \begin_layout Standard
7389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7392 \begin_layout Standard
7395 \begin_inset Formula $\rangle$
7403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7406 \begin_layout Standard
7417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7420 \begin_layout Standard
7423 \begin_inset Formula $/$
7431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7434 \begin_layout Standard
7443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7446 \begin_layout Standard
7449 \begin_inset Formula $\backslash$
7457 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7460 \begin_layout Standard
7473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7476 \begin_layout Standard
7479 \begin_inset Formula $|$
7487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7490 \begin_layout Standard
7499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7502 \begin_layout Standard
7505 \begin_inset Formula $\|$
7513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7516 \begin_layout Standard
7527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7530 \begin_layout Standard
7536 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7539 \begin_layout Standard
7545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7548 \begin_layout Standard
7554 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7557 \begin_layout Standard
7571 \begin_layout Caption
7581 \begin_layout Standard
7584 \begin_inset Float table
7590 \begin_layout Standard
7593 \begin_inset Tabular
7594 <lyxtabular version="3" rows="6" columns="4">
7596 <column alignment="right" valignment="top" width="0pt">
7597 <column alignment="left" valignment="top" width="0pt">
7598 <column alignment="right" valignment="top" width="0pt">
7599 <column alignment="left" valignment="top" width="0pt">
7601 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7604 \begin_layout Standard
7607 \begin_inset Formula $\widetilde{abc}$
7615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7618 \begin_layout Standard
7629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7632 \begin_layout Standard
7635 \begin_inset Formula $\widehat{abc}$
7643 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7646 \begin_layout Standard
7659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7662 \begin_layout Standard
7665 \begin_inset Formula $\overleftarrow{abc}$
7673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7676 \begin_layout Standard
7687 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7690 \begin_layout Standard
7693 \begin_inset Formula $\overrightarrow{abc}$
7701 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7704 \begin_layout Standard
7717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7720 \begin_layout Standard
7723 \begin_inset Formula $\overline{abc}$
7731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7734 \begin_layout Standard
7745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7748 \begin_layout Standard
7751 \begin_inset Formula $\underline{abc}$
7759 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7762 \begin_layout Standard
7775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7778 \begin_layout Standard
7781 \begin_inset Formula $\overbrace{abc}$
7789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7792 \begin_layout Standard
7803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7806 \begin_layout Standard
7809 \begin_inset Formula $\underbrace{abc}$
7817 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7820 \begin_layout Standard
7833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7836 \begin_layout Standard
7839 \begin_inset Formula $\sqrt{abc}$
7847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7850 \begin_layout Standard
7861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7864 \begin_layout Standard
7867 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
7875 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7878 \begin_layout Standard
7893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7896 \begin_layout Standard
7899 \begin_inset Formula $f'$
7907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7910 \begin_layout Standard
7919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7922 \begin_layout Standard
7925 \begin_inset Formula $\frac{abc}{xyz}$
7933 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7936 \begin_layout Standard
7955 \begin_layout Caption
7957 LaTeX math constructs
7965 \begin_layout Standard
7968 \begin_inset Float table
7974 \begin_layout Standard
7977 \begin_inset Tabular
7978 <lyxtabular version="3" rows="1" columns="10">
7980 <column alignment="right" valignment="top" width="0pt">
7981 <column alignment="left" valignment="top" width="0pt">
7982 <column alignment="right" valignment="top" width="0pt">
7983 <column alignment="left" valignment="top" width="0pt">
7984 <column alignment="right" valignment="top" width="0pt">
7985 <column alignment="left" valignment="top" width="0pt">
7986 <column alignment="right" valignment="top" width="0pt">
7987 <column alignment="left" valignment="top" width="0pt">
7988 <column alignment="right" valignment="top" width="0pt">
7989 <column alignment="left" valignment="top" width="0pt">
7991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7994 \begin_layout Standard
7997 \begin_inset Formula $\digamma$
8005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8008 \begin_layout Standard
8019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8022 \begin_layout Standard
8025 \begin_inset Formula $\varkappa$
8033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8036 \begin_layout Standard
8047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8050 \begin_layout Standard
8053 \begin_inset Formula $\beth$
8061 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8064 \begin_layout Standard
8075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8078 \begin_layout Standard
8081 \begin_inset Formula $\daleth$
8089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8092 \begin_layout Standard
8103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8106 \begin_layout Standard
8109 \begin_inset Formula $\gimel$
8117 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8120 \begin_layout Standard
8139 \begin_layout Caption
8141 AMS Greek and Hebrew
8149 \begin_layout Standard
8152 \begin_inset Float table
8158 \begin_layout Standard
8161 \begin_inset Tabular
8162 <lyxtabular version="3" rows="1" columns="8">
8164 <column alignment="right" valignment="top" width="0pt">
8165 <column alignment="left" valignment="top" width="0pt">
8166 <column alignment="right" valignment="top" width="0pt">
8167 <column alignment="left" valignment="top" width="0pt">
8168 <column alignment="right" valignment="top" width="0pt">
8169 <column alignment="left" valignment="top" width="0pt">
8170 <column alignment="right" valignment="top" width="0pt">
8171 <column alignment="left" valignment="top" width="0pt">
8173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8176 \begin_layout Standard
8179 \begin_inset Formula $\ulcorner$
8187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8190 \begin_layout Standard
8201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8204 \begin_layout Standard
8207 \begin_inset Formula $\urcorner$
8215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8218 \begin_layout Standard
8229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8232 \begin_layout Standard
8235 \begin_inset Formula $\llcorner$
8243 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8246 \begin_layout Standard
8257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8260 \begin_layout Standard
8263 \begin_inset Formula $\lrcorner$
8271 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8274 \begin_layout Standard
8293 \begin_layout Caption
8303 \begin_layout Standard
8306 \begin_inset Float table
8312 \begin_layout Standard
8315 \begin_inset Tabular
8316 <lyxtabular version="3" rows="11" columns="6">
8318 <column alignment="right" valignment="top" width="0pt">
8319 <column alignment="left" valignment="top" width="0pt">
8320 <column alignment="right" valignment="top" width="0pt">
8321 <column alignment="left" valignment="top" width="0pt">
8322 <column alignment="right" valignment="top" width="0pt">
8323 <column alignment="left" valignment="top" width="0pt">
8325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8328 \begin_layout Standard
8331 \begin_inset Formula $\dashrightarrow$
8339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8342 \begin_layout Standard
8353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8356 \begin_layout Standard
8359 \begin_inset Formula $\dashleftarrow$
8367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8370 \begin_layout Standard
8381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8384 \begin_layout Standard
8387 \begin_inset Formula $\leftleftarrows$
8395 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8398 \begin_layout Standard
8411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8414 \begin_layout Standard
8417 \begin_inset Formula $\leftrightarrows$
8425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8428 \begin_layout Standard
8439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8442 \begin_layout Standard
8445 \begin_inset Formula $\Lleftarrow$
8453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8456 \begin_layout Standard
8467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8470 \begin_layout Standard
8473 \begin_inset Formula $\twoheadleftarrow$
8481 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8484 \begin_layout Standard
8497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8500 \begin_layout Standard
8503 \begin_inset Formula $\leftarrowtail$
8511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8514 \begin_layout Standard
8525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8528 \begin_layout Standard
8531 \begin_inset Formula $\looparrowleft$
8539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8542 \begin_layout Standard
8553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8556 \begin_layout Standard
8559 \begin_inset Formula $\leftrightharpoons$
8567 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8570 \begin_layout Standard
8583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8586 \begin_layout Standard
8589 \begin_inset Formula $\curvearrowleft$
8597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8600 \begin_layout Standard
8611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8614 \begin_layout Standard
8617 \begin_inset Formula $\circlearrowleft$
8625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8628 \begin_layout Standard
8639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8642 \begin_layout Standard
8645 \begin_inset Formula $\Lsh$
8653 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8656 \begin_layout Standard
8669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8672 \begin_layout Standard
8675 \begin_inset Formula $\upuparrows$
8683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8686 \begin_layout Standard
8697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8700 \begin_layout Standard
8703 \begin_inset Formula $\upharpoonleft$
8711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8714 \begin_layout Standard
8725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8728 \begin_layout Standard
8731 \begin_inset Formula $\downharpoonleft$
8739 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8742 \begin_layout Standard
8755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8758 \begin_layout Standard
8761 \begin_inset Formula $\multimap$
8769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8772 \begin_layout Standard
8783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8786 \begin_layout Standard
8789 \begin_inset Formula $\leftrightsquigarrow$
8797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8800 \begin_layout Standard
8811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8814 \begin_layout Standard
8817 \begin_inset Formula $\rightrightarrows$
8825 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8828 \begin_layout Standard
8841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8844 \begin_layout Standard
8847 \begin_inset Formula $\rightleftarrows$
8855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8858 \begin_layout Standard
8869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8872 \begin_layout Standard
8875 \begin_inset Formula $\rightrightarrows$
8883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8886 \begin_layout Standard
8897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8900 \begin_layout Standard
8903 \begin_inset Formula $\rightleftarrows$
8911 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8914 \begin_layout Standard
8927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8930 \begin_layout Standard
8933 \begin_inset Formula $\twoheadrightarrow$
8941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8944 \begin_layout Standard
8955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8958 \begin_layout Standard
8961 \begin_inset Formula $\rightarrowtail$
8969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8972 \begin_layout Standard
8983 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8986 \begin_layout Standard
8989 \begin_inset Formula $\looparrowright$
8997 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9000 \begin_layout Standard
9013 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9016 \begin_layout Standard
9019 \begin_inset Formula $\rightleftharpoons$
9027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9030 \begin_layout Standard
9041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9044 \begin_layout Standard
9047 \begin_inset Formula $\curvearrowright$
9055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9058 \begin_layout Standard
9069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9072 \begin_layout Standard
9075 \begin_inset Formula $\circlearrowright$
9083 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9086 \begin_layout Standard
9099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9102 \begin_layout Standard
9105 \begin_inset Formula $\Rsh$
9113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9116 \begin_layout Standard
9127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9130 \begin_layout Standard
9133 \begin_inset Formula $\downdownarrows$
9141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9144 \begin_layout Standard
9155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9158 \begin_layout Standard
9161 \begin_inset Formula $\upharpoonright$
9169 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9172 \begin_layout Standard
9185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9188 \begin_layout Standard
9191 \begin_inset Formula $\downharpoonright$
9199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9202 \begin_layout Standard
9213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9216 \begin_layout Standard
9219 \begin_inset Formula $\rightsquigarrow$
9227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9230 \begin_layout Standard
9241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9244 \begin_layout Standard
9250 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9253 \begin_layout Standard
9267 \begin_layout Caption
9277 \begin_layout Standard
9280 \begin_inset Float table
9286 \begin_layout Standard
9289 \begin_inset Tabular
9290 <lyxtabular version="3" rows="2" columns="6">
9292 <column alignment="right" valignment="top" width="0pt">
9293 <column alignment="left" valignment="top" width="0pt">
9294 <column alignment="right" valignment="top" width="0pt">
9295 <column alignment="left" valignment="top" width="0pt">
9296 <column alignment="right" valignment="top" width="0pt">
9297 <column alignment="left" valignment="top" width="0pt">
9299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9302 \begin_layout Standard
9305 \begin_inset Formula $\nleftarrow$
9313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9316 \begin_layout Standard
9327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9330 \begin_layout Standard
9333 \begin_inset Formula $\nrightarrow$
9341 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9344 \begin_layout Standard
9355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9358 \begin_layout Standard
9361 \begin_inset Formula $\nLeftarrow$
9369 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9372 \begin_layout Standard
9385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9388 \begin_layout Standard
9391 \begin_inset Formula $\nRightarrow$
9399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9402 \begin_layout Standard
9413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9416 \begin_layout Standard
9419 \begin_inset Formula $\nleftrightarrow$
9427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9430 \begin_layout Standard
9441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9444 \begin_layout Standard
9447 \begin_inset Formula $\nLeftrightarrow$
9455 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9458 \begin_layout Standard
9477 \begin_layout Caption
9487 \begin_layout Standard
9490 \begin_inset Float table
9496 \begin_layout Standard
9499 \begin_inset Tabular
9500 <lyxtabular version="3" rows="22" columns="6">
9502 <column alignment="right" valignment="top" width="0pt">
9503 <column alignment="left" valignment="top" width="0pt">
9504 <column alignment="right" valignment="top" width="0pt">
9505 <column alignment="left" valignment="top" width="0pt">
9506 <column alignment="right" valignment="top" width="0pt">
9507 <column alignment="left" valignment="top" width="0pt">
9509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9512 \begin_layout Standard
9515 \begin_inset Formula $\leqq$
9523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9526 \begin_layout Standard
9537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9540 \begin_layout Standard
9543 \begin_inset Formula $\leqslant$
9551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9554 \begin_layout Standard
9565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9568 \begin_layout Standard
9571 \begin_inset Formula $\eqslantless$
9579 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9582 \begin_layout Standard
9595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9598 \begin_layout Standard
9601 \begin_inset Formula $\lesssim$
9609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9612 \begin_layout Standard
9623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9626 \begin_layout Standard
9629 \begin_inset Formula $\lessapprox$
9637 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9640 \begin_layout Standard
9651 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9654 \begin_layout Standard
9657 \begin_inset Formula $\approxeq$
9665 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9668 \begin_layout Standard
9681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9684 \begin_layout Standard
9687 \begin_inset Formula $\lessdot$
9695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9698 \begin_layout Standard
9709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9712 \begin_layout Standard
9715 \begin_inset Formula $\lll$
9723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9726 \begin_layout Standard
9737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9740 \begin_layout Standard
9743 \begin_inset Formula $\lessgtr$
9751 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9754 \begin_layout Standard
9767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9770 \begin_layout Standard
9773 \begin_inset Formula $\lesseqgtr$
9781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9784 \begin_layout Standard
9795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9798 \begin_layout Standard
9801 \begin_inset Formula $\lesseqqgtr$
9809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9812 \begin_layout Standard
9823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9826 \begin_layout Standard
9829 \begin_inset Formula $\doteqdot$
9837 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9840 \begin_layout Standard
9853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9856 \begin_layout Standard
9859 \begin_inset Formula $\risingdotseq$
9867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9870 \begin_layout Standard
9881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9884 \begin_layout Standard
9887 \begin_inset Formula $\fallingdotseq$
9895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9898 \begin_layout Standard
9909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9912 \begin_layout Standard
9915 \begin_inset Formula $\backsim$
9923 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9926 \begin_layout Standard
9939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9942 \begin_layout Standard
9945 \begin_inset Formula $\backsimeq$
9953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9956 \begin_layout Standard
9967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9970 \begin_layout Standard
9973 \begin_inset Formula $\subseteqq$
9981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9984 \begin_layout Standard
9995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9998 \begin_layout Standard
10001 \begin_inset Formula $\Subset$
10009 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10012 \begin_layout Standard
10025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10028 \begin_layout Standard
10031 \begin_inset Formula $\sqsubset$
10039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10042 \begin_layout Standard
10053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10056 \begin_layout Standard
10059 \begin_inset Formula $\preccurlyeq$
10067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10070 \begin_layout Standard
10081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10084 \begin_layout Standard
10087 \begin_inset Formula $\curlyeqprec$
10095 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10098 \begin_layout Standard
10111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10114 \begin_layout Standard
10117 \begin_inset Formula $\precsim$
10125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10128 \begin_layout Standard
10139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10142 \begin_layout Standard
10145 \begin_inset Formula $\precapprox$
10153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10156 \begin_layout Standard
10167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10170 \begin_layout Standard
10173 \begin_inset Formula $\vartriangleleft$
10181 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10184 \begin_layout Standard
10197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10200 \begin_layout Standard
10203 \begin_inset Formula $\trianglelefteq$
10211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10214 \begin_layout Standard
10225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10228 \begin_layout Standard
10231 \begin_inset Formula $\vDash$
10239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10242 \begin_layout Standard
10253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10256 \begin_layout Standard
10259 \begin_inset Formula $\Vvdash$
10267 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10270 \begin_layout Standard
10283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10286 \begin_layout Standard
10289 \begin_inset Formula $\smallsmile$
10297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10300 \begin_layout Standard
10311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10314 \begin_layout Standard
10317 \begin_inset Formula $\smallfrown$
10325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10328 \begin_layout Standard
10339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10342 \begin_layout Standard
10345 \begin_inset Formula $\bumpeq$
10353 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10356 \begin_layout Standard
10369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10372 \begin_layout Standard
10375 \begin_inset Formula $\Bumpeq$
10383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10386 \begin_layout Standard
10397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10400 \begin_layout Standard
10403 \begin_inset Formula $\geqq$
10411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10414 \begin_layout Standard
10425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10428 \begin_layout Standard
10431 \begin_inset Formula $\geqslant$
10439 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10442 \begin_layout Standard
10455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10458 \begin_layout Standard
10461 \begin_inset Formula $\eqslantgtr$
10469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10472 \begin_layout Standard
10483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10486 \begin_layout Standard
10489 \begin_inset Formula $\gtrsim$
10497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10500 \begin_layout Standard
10511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10514 \begin_layout Standard
10517 \begin_inset Formula $\gtrapprox$
10525 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10528 \begin_layout Standard
10541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10544 \begin_layout Standard
10547 \begin_inset Formula $\gtrdot$
10555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10558 \begin_layout Standard
10569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10572 \begin_layout Standard
10575 \begin_inset Formula $\ggg$
10583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10586 \begin_layout Standard
10597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10600 \begin_layout Standard
10603 \begin_inset Formula $\gtrless$
10611 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10614 \begin_layout Standard
10627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10630 \begin_layout Standard
10633 \begin_inset Formula $\gtreqless$
10641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10644 \begin_layout Standard
10655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10658 \begin_layout Standard
10661 \begin_inset Formula $\gtreqqless$
10669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10672 \begin_layout Standard
10683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10686 \begin_layout Standard
10689 \begin_inset Formula $\eqcirc$
10697 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10700 \begin_layout Standard
10713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10716 \begin_layout Standard
10719 \begin_inset Formula $\circeq$
10727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10730 \begin_layout Standard
10741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10744 \begin_layout Standard
10747 \begin_inset Formula $\triangleq$
10755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10758 \begin_layout Standard
10769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10772 \begin_layout Standard
10775 \begin_inset Formula $\thicksim$
10783 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10786 \begin_layout Standard
10799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10802 \begin_layout Standard
10805 \begin_inset Formula $\thickapprox$
10813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10816 \begin_layout Standard
10827 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10830 \begin_layout Standard
10833 \begin_inset Formula $\supseteqq$
10841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10844 \begin_layout Standard
10855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10858 \begin_layout Standard
10861 \begin_inset Formula $\Supset$
10869 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10872 \begin_layout Standard
10885 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10888 \begin_layout Standard
10891 \begin_inset Formula $\sqsupset$
10899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10902 \begin_layout Standard
10913 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10916 \begin_layout Standard
10919 \begin_inset Formula $\succcurlyeq$
10927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10930 \begin_layout Standard
10941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10944 \begin_layout Standard
10947 \begin_inset Formula $\curlyeqsucc$
10955 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10958 \begin_layout Standard
10971 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10974 \begin_layout Standard
10977 \begin_inset Formula $\succsim$
10985 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10988 \begin_layout Standard
10999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11002 \begin_layout Standard
11005 \begin_inset Formula $\succapprox$
11013 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11016 \begin_layout Standard
11027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11030 \begin_layout Standard
11033 \begin_inset Formula $\vartriangleright$
11041 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11044 \begin_layout Standard
11057 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11060 \begin_layout Standard
11063 \begin_inset Formula $\trianglerighteq$
11071 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11074 \begin_layout Standard
11085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11088 \begin_layout Standard
11091 \begin_inset Formula $\Vdash$
11099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11102 \begin_layout Standard
11113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11116 \begin_layout Standard
11119 \begin_inset Formula $\shortmid$
11127 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11130 \begin_layout Standard
11143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11146 \begin_layout Standard
11149 \begin_inset Formula $\shortparallel$
11157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11160 \begin_layout Standard
11171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11174 \begin_layout Standard
11177 \begin_inset Formula $\between$
11185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11188 \begin_layout Standard
11199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11202 \begin_layout Standard
11205 \begin_inset Formula $\pitchfork$
11213 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11216 \begin_layout Standard
11229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11232 \begin_layout Standard
11235 \begin_inset Formula $\varpropto$
11243 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11246 \begin_layout Standard
11257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11260 \begin_layout Standard
11263 \begin_inset Formula $\blacktriangleleft$
11271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11274 \begin_layout Standard
11285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11288 \begin_layout Standard
11291 \begin_inset Formula $\therefore$
11299 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11302 \begin_layout Standard
11315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11318 \begin_layout Standard
11321 \begin_inset Formula $\backepsilon$
11329 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11332 \begin_layout Standard
11343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11346 \begin_layout Standard
11349 \begin_inset Formula $\blacktriangleright$
11357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11360 \begin_layout Standard
11371 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11374 \begin_layout Standard
11377 \begin_inset Formula $\because$
11385 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11388 \begin_layout Standard
11407 \begin_layout Caption
11409 AMS binary relations
11417 \begin_layout Standard
11420 \begin_inset Float table
11426 \begin_layout Standard
11429 \begin_inset Tabular
11430 <lyxtabular version="3" rows="17" columns="6">
11432 <column alignment="right" valignment="top" width="0pt">
11433 <column alignment="left" valignment="top" width="0pt">
11434 <column alignment="right" valignment="top" width="0pt">
11435 <column alignment="left" valignment="top" width="0pt">
11436 <column alignment="right" valignment="top" width="0pt">
11437 <column alignment="left" valignment="top" width="0pt">
11439 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11442 \begin_layout Standard
11445 \begin_inset Formula $\nless$
11453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11456 \begin_layout Standard
11467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11470 \begin_layout Standard
11473 \begin_inset Formula $\nleq$
11481 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11484 \begin_layout Standard
11495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11498 \begin_layout Standard
11501 \begin_inset Formula $\nleqslant$
11509 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11512 \begin_layout Standard
11525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11528 \begin_layout Standard
11531 \begin_inset Formula $\nleqq$
11539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11542 \begin_layout Standard
11553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11556 \begin_layout Standard
11559 \begin_inset Formula $\lneq$
11567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11570 \begin_layout Standard
11581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11584 \begin_layout Standard
11587 \begin_inset Formula $\lneqq$
11595 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11598 \begin_layout Standard
11611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11614 \begin_layout Standard
11617 \begin_inset Formula $\lvertneqq$
11625 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11628 \begin_layout Standard
11639 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11642 \begin_layout Standard
11645 \begin_inset Formula $\lnsim$
11653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11656 \begin_layout Standard
11667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11670 \begin_layout Standard
11673 \begin_inset Formula $\lnapprox$
11681 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11684 \begin_layout Standard
11697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11700 \begin_layout Standard
11703 \begin_inset Formula $\nprec$
11711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11714 \begin_layout Standard
11725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11728 \begin_layout Standard
11731 \begin_inset Formula $\npreceq$
11739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11742 \begin_layout Standard
11753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11756 \begin_layout Standard
11759 \begin_inset Formula $\precnsim$
11767 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11770 \begin_layout Standard
11783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11786 \begin_layout Standard
11789 \begin_inset Formula $\precnapprox$
11797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11800 \begin_layout Standard
11811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11814 \begin_layout Standard
11817 \begin_inset Formula $\nsim$
11825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11828 \begin_layout Standard
11839 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11842 \begin_layout Standard
11845 \begin_inset Formula $\nshortmid$
11853 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11856 \begin_layout Standard
11869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11872 \begin_layout Standard
11875 \begin_inset Formula $\nmid$
11883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11886 \begin_layout Standard
11897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11900 \begin_layout Standard
11903 \begin_inset Formula $\nvdash$
11911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11914 \begin_layout Standard
11925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11928 \begin_layout Standard
11931 \begin_inset Formula $\nvDash$
11939 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11942 \begin_layout Standard
11955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11958 \begin_layout Standard
11961 \begin_inset Formula $\ntriangleleft$
11969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11972 \begin_layout Standard
11983 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11986 \begin_layout Standard
11989 \begin_inset Formula $\ntrianglelefteq$
11997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12000 \begin_layout Standard
12011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12014 \begin_layout Standard
12017 \begin_inset Formula $\nsubseteq$
12025 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12028 \begin_layout Standard
12041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12044 \begin_layout Standard
12047 \begin_inset Formula $\subsetneq$
12055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12058 \begin_layout Standard
12069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12072 \begin_layout Standard
12075 \begin_inset Formula $\varsubsetneq$
12083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12086 \begin_layout Standard
12097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12100 \begin_layout Standard
12103 \begin_inset Formula $\subsetneqq$
12111 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12114 \begin_layout Standard
12127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12130 \begin_layout Standard
12133 \begin_inset Formula $\varsubsetneqq$
12141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12144 \begin_layout Standard
12155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12158 \begin_layout Standard
12161 \begin_inset Formula $\ngtr$
12169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12172 \begin_layout Standard
12183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12186 \begin_layout Standard
12189 \begin_inset Formula $\ngeq$
12197 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12200 \begin_layout Standard
12213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12216 \begin_layout Standard
12219 \begin_inset Formula $\ngeqslant$
12227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12230 \begin_layout Standard
12241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12244 \begin_layout Standard
12247 \begin_inset Formula $\ngeqq$
12255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12258 \begin_layout Standard
12269 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12272 \begin_layout Standard
12275 \begin_inset Formula $\gneq$
12283 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12286 \begin_layout Standard
12299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12302 \begin_layout Standard
12305 \begin_inset Formula $\gneqq$
12313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12316 \begin_layout Standard
12327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12330 \begin_layout Standard
12333 \begin_inset Formula $\gvertneqq$
12341 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12344 \begin_layout Standard
12355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12358 \begin_layout Standard
12361 \begin_inset Formula $\gnsim$
12369 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12372 \begin_layout Standard
12385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12388 \begin_layout Standard
12391 \begin_inset Formula $\gnapprox$
12399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12402 \begin_layout Standard
12413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12416 \begin_layout Standard
12419 \begin_inset Formula $\nsucc$
12427 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12430 \begin_layout Standard
12441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12444 \begin_layout Standard
12447 \begin_inset Formula $\nsucceq$
12455 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12458 \begin_layout Standard
12471 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12474 \begin_layout Standard
12477 \begin_inset Formula $\succnsim$
12485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12488 \begin_layout Standard
12499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12502 \begin_layout Standard
12505 \begin_inset Formula $\succnapprox$
12513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12516 \begin_layout Standard
12527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12530 \begin_layout Standard
12533 \begin_inset Formula $\ncong$
12541 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12544 \begin_layout Standard
12557 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12560 \begin_layout Standard
12563 \begin_inset Formula $\nshortparallel$
12571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12574 \begin_layout Standard
12585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12588 \begin_layout Standard
12591 \begin_inset Formula $\nparallel$
12599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12602 \begin_layout Standard
12613 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12616 \begin_layout Standard
12619 \begin_inset Formula $\nvDash$
12627 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12630 \begin_layout Standard
12643 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12646 \begin_layout Standard
12649 \begin_inset Formula $\nVDash$
12657 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12660 \begin_layout Standard
12671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12674 \begin_layout Standard
12677 \begin_inset Formula $\ntriangleright$
12685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12688 \begin_layout Standard
12699 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12702 \begin_layout Standard
12705 \begin_inset Formula $\ntrianglerighteq$
12713 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12716 \begin_layout Standard
12729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12732 \begin_layout Standard
12735 \begin_inset Formula $\nsupseteq$
12743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12746 \begin_layout Standard
12757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12760 \begin_layout Standard
12763 \begin_inset Formula $\nsupseteqq$
12771 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12774 \begin_layout Standard
12785 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12788 \begin_layout Standard
12791 \begin_inset Formula $\supsetneq$
12799 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12802 \begin_layout Standard
12815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12818 \begin_layout Standard
12821 \begin_inset Formula $\varsupsetneq$
12829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12832 \begin_layout Standard
12843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12846 \begin_layout Standard
12849 \begin_inset Formula $\supsetneqq$
12857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12860 \begin_layout Standard
12871 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12874 \begin_layout Standard
12877 \begin_inset Formula $\varsupsetneqq$
12885 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12888 \begin_layout Standard
12907 \begin_layout Caption
12909 AMS negated binary relations
12917 \begin_layout Standard
12920 \begin_inset Float table
12926 \begin_layout Standard
12929 \begin_inset Tabular
12930 <lyxtabular version="3" rows="8" columns="6">
12932 <column alignment="right" valignment="top" width="0pt">
12933 <column alignment="left" valignment="top" width="0pt">
12934 <column alignment="right" valignment="top" width="0pt">
12935 <column alignment="left" valignment="top" width="0pt">
12936 <column alignment="right" valignment="top" width="0pt">
12937 <column alignment="left" valignment="top" width="0pt">
12939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12942 \begin_layout Standard
12945 \begin_inset Formula $\dotplus$
12953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12956 \begin_layout Standard
12967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12970 \begin_layout Standard
12973 \begin_inset Formula $\smallsetminus$
12981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12984 \begin_layout Standard
12995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12998 \begin_layout Standard
13001 \begin_inset Formula $\Cap$
13009 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13012 \begin_layout Standard
13025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13028 \begin_layout Standard
13031 \begin_inset Formula $\Cup$
13039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13042 \begin_layout Standard
13053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13056 \begin_layout Standard
13059 \begin_inset Formula $\barwedge$
13067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13070 \begin_layout Standard
13081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13084 \begin_layout Standard
13087 \begin_inset Formula $\veebar$
13095 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13098 \begin_layout Standard
13111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13114 \begin_layout Standard
13117 \begin_inset Formula $\doublebarwedge$
13125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13128 \begin_layout Standard
13139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13142 \begin_layout Standard
13145 \begin_inset Formula $\boxminus$
13153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13156 \begin_layout Standard
13167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13170 \begin_layout Standard
13173 \begin_inset Formula $\boxtimes$
13181 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13184 \begin_layout Standard
13197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13200 \begin_layout Standard
13203 \begin_inset Formula $\boxdot$
13211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13214 \begin_layout Standard
13225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13228 \begin_layout Standard
13231 \begin_inset Formula $\boxplus$
13239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13242 \begin_layout Standard
13253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13256 \begin_layout Standard
13259 \begin_inset Formula $\divideontimes$
13267 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13270 \begin_layout Standard
13283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13286 \begin_layout Standard
13289 \begin_inset Formula $\ltimes$
13297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13300 \begin_layout Standard
13311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13314 \begin_layout Standard
13317 \begin_inset Formula $\rtimes$
13325 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13328 \begin_layout Standard
13339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13342 \begin_layout Standard
13345 \begin_inset Formula $\leftthreetimes$
13353 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13356 \begin_layout Standard
13369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13372 \begin_layout Standard
13375 \begin_inset Formula $\rightthreetimes$
13383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13386 \begin_layout Standard
13397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13400 \begin_layout Standard
13403 \begin_inset Formula $\curlywedge$
13411 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13414 \begin_layout Standard
13425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13428 \begin_layout Standard
13431 \begin_inset Formula $\curlyvee$
13439 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13442 \begin_layout Standard
13455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13458 \begin_layout Standard
13461 \begin_inset Formula $\circleddash$
13469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13472 \begin_layout Standard
13483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13486 \begin_layout Standard
13489 \begin_inset Formula $\circledast$
13497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13500 \begin_layout Standard
13511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13514 \begin_layout Standard
13517 \begin_inset Formula $\circledcirc$
13525 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13528 \begin_layout Standard
13541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13544 \begin_layout Standard
13547 \begin_inset Formula $\centerdot$
13555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13558 \begin_layout Standard
13569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13572 \begin_layout Standard
13575 \begin_inset Formula $\intercal$
13583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13586 \begin_layout Standard
13597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13600 \begin_layout Standard
13606 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13609 \begin_layout Standard
13623 \begin_layout Caption
13625 AMS binary operators
13633 \begin_layout Standard
13636 \begin_inset Float table
13642 \begin_layout Standard
13645 \begin_inset Tabular
13646 <lyxtabular version="3" rows="9" columns="6">
13648 <column alignment="right" valignment="top" width="0pt">
13649 <column alignment="left" valignment="top" width="0pt">
13650 <column alignment="right" valignment="top" width="0pt">
13651 <column alignment="left" valignment="top" width="0pt">
13652 <column alignment="right" valignment="top" width="0pt">
13653 <column alignment="left" valignment="top" width="0pt">
13655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13658 \begin_layout Standard
13661 \begin_inset Formula $\hbar$
13669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13672 \begin_layout Standard
13683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13686 \begin_layout Standard
13689 \begin_inset Formula $\hslash$
13697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13700 \begin_layout Standard
13711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13714 \begin_layout Standard
13717 \begin_inset Formula $\vartriangle$
13725 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13728 \begin_layout Standard
13741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13744 \begin_layout Standard
13747 \begin_inset Formula $\triangledown$
13755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13758 \begin_layout Standard
13769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13772 \begin_layout Standard
13775 \begin_inset Formula $\square$
13783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13786 \begin_layout Standard
13797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13800 \begin_layout Standard
13803 \begin_inset Formula $\lozenge$
13811 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13814 \begin_layout Standard
13827 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13830 \begin_layout Standard
13833 \begin_inset Formula $\circledS$
13841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13844 \begin_layout Standard
13855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13858 \begin_layout Standard
13861 \begin_inset Formula $\angle$
13869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13872 \begin_layout Standard
13883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13886 \begin_layout Standard
13889 \begin_inset Formula $\measuredangle$
13897 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13900 \begin_layout Standard
13913 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13916 \begin_layout Standard
13919 \begin_inset Formula $\nexists$
13927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13930 \begin_layout Standard
13941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13944 \begin_layout Standard
13947 \begin_inset Formula $\mho$
13955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13958 \begin_layout Standard
13969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
13972 \begin_layout Standard
13975 \begin_inset Formula $\Finv$
13983 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
13986 \begin_layout Standard
13999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14002 \begin_layout Standard
14005 \begin_inset Formula $\Game$
14013 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14016 \begin_layout Standard
14027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14030 \begin_layout Standard
14033 \begin_inset Formula $\Bbbk$
14041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14044 \begin_layout Standard
14055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14058 \begin_layout Standard
14061 \begin_inset Formula $\backprime$
14069 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14072 \begin_layout Standard
14085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14088 \begin_layout Standard
14091 \begin_inset Formula $\varnothing$
14099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14102 \begin_layout Standard
14113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14116 \begin_layout Standard
14119 \begin_inset Formula $\blacktriangle$
14127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14130 \begin_layout Standard
14141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14144 \begin_layout Standard
14147 \begin_inset Formula $\blacktriangledown$
14155 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14158 \begin_layout Standard
14171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14174 \begin_layout Standard
14177 \begin_inset Formula $\blacksquare$
14185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14188 \begin_layout Standard
14199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14202 \begin_layout Standard
14205 \begin_inset Formula $\blacklozenge$
14213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14216 \begin_layout Standard
14227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14230 \begin_layout Standard
14233 \begin_inset Formula $\bigstar$
14241 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14244 \begin_layout Standard
14257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14260 \begin_layout Standard
14263 \begin_inset Formula $\sphericalangle$
14271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14274 \begin_layout Standard
14285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14288 \begin_layout Standard
14291 \begin_inset Formula $\complement$
14299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14302 \begin_layout Standard
14313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14316 \begin_layout Standard
14319 \begin_inset Formula $\eth$
14327 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14330 \begin_layout Standard
14343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14346 \begin_layout Standard
14349 \begin_inset Formula $\diagup$
14357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14360 \begin_layout Standard
14371 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14374 \begin_layout Standard
14377 \begin_inset Formula $\diagdown$
14385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14388 \begin_layout Standard
14399 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
14402 \begin_layout Standard
14408 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
14411 \begin_layout Standard
14425 \begin_layout Caption