1 #LyX 1.2 created this file. For more info see http://www.lyx.org/
12 \paperpackage widemarginsa4
16 \use_numerical_citations 0
17 \paperorientation portrait
20 \paragraph_separation indent
22 \quotes_language english
26 \paperpagestyle default
30 Converting to and from mathed
33 Math can be typed in the body of the document and converted to mathed-mode
34 by highlighting it and typing
40 The text can be bounded with delimiters or not.
41 That is, highlighting any of the formulae below:
46 <lyxtabular version="3" rows="5" columns="1">
48 <column alignment="left" valignment="top" width="0pt">
50 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
66 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
82 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
94 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
110 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
136 \begin_inset Formula \begin{equation}
137 \frac{abc}{xyz}\end{equation}
144 At present, no formal way exists to convert the contents of a math inset
145 back into plain text.
146 It can be done using a
147 \begin_inset Quotes eld
151 \begin_inset Quotes erd
155 Highlight the contents of a math inset (not the math inset itself, just
156 the contents), but do
160 copy it into LyX's buffer.
161 It is now stored in the X system buffer and can be pasted back into the
162 document using the middle mouse button.
165 Displaying LaTeX symbols
168 Historically, LyX has provided visual support for a relatively small subset
169 of the math symbols available in LaTeX.
170 That changes with version 1.2; we now have visual support for most of the
171 symbols defined in basic LaTeX and
175 the extra ones defined by the AMS.
176 For completeness, the tables of symbols in Lamport's and in Goosen's books
180 In order to display these extra symbols, however, the extra fonts that LyX
181 requires must be made available to it.
182 After installing LyX, type
185 xset +fp LYXDIR/xfonts
188 at the console (where LYXDIR is the directory that contains the LyX files),
189 start LyX, load up this document and enjoy!
192 For making the fonts available permanently, you need to edit one of the
193 following files (depending on your setup): /etc/X11/XF86Config-4, /etc/X11/XF86
194 Config, or /etc/X11/fs/config.
197 Some example math tables
200 If you've followed the instructions above successfully, then the following
201 tables from Goossen et al.'s
202 \begin_inset Quotes eld
206 \begin_inset Quotes erd
209 should appear on the screen in all their glory.
210 Otherwise you'll have a
239 \begin_inset Float table
248 <lyxtabular version="3" rows="2" columns="10">
250 <column alignment="right" valignment="top" width="0pt">
251 <column alignment="left" valignment="top" width="0pt">
252 <column alignment="right" valignment="top" width="0pt">
253 <column alignment="left" valignment="top" width="0pt">
254 <column alignment="right" valignment="top" width="0pt">
255 <column alignment="left" valignment="top" width="0pt">
256 <column alignment="right" valignment="top" width="0pt">
257 <column alignment="left" valignment="top" width="0pt">
258 <column alignment="right" valignment="top" width="0pt">
259 <column alignment="left" valignment="top" width="0pt">
261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
269 \begin_inset Formula $\hat{a}$
275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
295 \begin_inset Formula $\acute{a}$
301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
321 \begin_inset Formula $\bar{a}$
327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
347 \begin_inset Formula $\dot{a}$
353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
373 \begin_inset Formula $\breve{a}$
379 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
401 \begin_inset Formula $\check{a}$
407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
427 \begin_inset Formula $\grave{a}$
433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
453 \begin_inset Formula $\vec{a}$
459 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
471 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
479 \begin_inset Formula $\ddot{a}$
485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
505 \begin_inset Formula $\tilde{a}$
511 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
538 \begin_inset Float table
547 <lyxtabular version="3" rows="11" columns="8">
549 <column alignment="right" valignment="top" width="0pt">
550 <column alignment="left" valignment="top" width="0pt">
551 <column alignment="right" valignment="top" width="0pt">
552 <column alignment="left" valignment="top" width="0pt">
553 <column alignment="right" valignment="top" width="0pt">
554 <column alignment="left" valignment="top" width="0pt">
555 <column alignment="right" valignment="top" width="0pt">
556 <column alignment="left" valignment="top" width="0pt">
558 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
564 \begin_inset Formula $\alpha $
570 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
582 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
588 \begin_inset Formula $\beta $
594 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
606 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
612 \begin_inset Formula $\gamma $
618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
636 \begin_inset Formula $\delta $
642 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
662 \begin_inset Formula $\epsilon $
668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
686 \begin_inset Formula $\varepsilon $
692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
710 \begin_inset Formula $\zeta $
716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
734 \begin_inset Formula $\eta $
740 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
760 \begin_inset Formula $\theta $
766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
784 \begin_inset Formula $\vartheta $
790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
808 \begin_inset Formula $\iota $
814 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
826 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
832 \begin_inset Formula $\kappa $
838 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
858 \begin_inset Formula $\lambda $
864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
882 \begin_inset Formula $\mu $
888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
906 \begin_inset Formula $\nu $
912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
930 \begin_inset Formula $\xi $
936 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
956 \begin_inset Formula $o$
962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
976 \begin_inset Formula $\pi $
982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
994 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1000 \begin_inset Formula $\varpi $
1006 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1018 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1024 \begin_inset Formula $\rho $
1030 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1044 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1050 \begin_inset Formula $\varrho $
1056 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1068 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1074 \begin_inset Formula $\sigma $
1080 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1092 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1098 \begin_inset Formula $\varsigma $
1104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1116 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1122 \begin_inset Formula $\tau $
1128 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1148 \begin_inset Formula $\upsilon $
1154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1166 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1172 \begin_inset Formula $\phi $
1178 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1190 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1196 \begin_inset Formula $\varphi $
1202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1220 \begin_inset Formula $\chi $
1226 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1240 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1246 \begin_inset Formula $\psi $
1252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1264 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1270 \begin_inset Formula $\omega $
1276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1302 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1309 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1324 \begin_inset Formula $\Gamma $
1330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1348 \begin_inset Formula $\Delta $
1354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1372 \begin_inset Formula $\Theta $
1378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1396 \begin_inset Formula $\Lambda $
1402 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1422 \begin_inset Formula $\Xi $
1428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1446 \begin_inset Formula $\Pi $
1452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1470 \begin_inset Formula $\Sigma $
1476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1494 \begin_inset Formula $\Upsilon $
1500 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1520 \begin_inset Formula $\Phi $
1526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1544 \begin_inset Formula $\Psi $
1550 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1562 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1568 \begin_inset Formula $\Omega $
1574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1586 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1593 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1615 \begin_inset Float table
1623 \begin_inset Tabular
1624 <lyxtabular version="3" rows="9" columns="8">
1626 <column alignment="right" valignment="top" width="0pt">
1627 <column alignment="left" valignment="top" width="0pt">
1628 <column alignment="right" valignment="top" width="0pt">
1629 <column alignment="left" valignment="top" width="0pt">
1630 <column alignment="right" valignment="top" width="0pt">
1631 <column alignment="left" valignment="top" width="0pt">
1632 <column alignment="right" valignment="top" width="0pt">
1633 <column alignment="left" valignment="top" width="0pt">
1635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1641 \begin_inset Formula $\pm $
1647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1665 \begin_inset Formula $\cap $
1671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1689 \begin_inset Formula $\diamond $
1695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1713 \begin_inset Formula $\oplus $
1719 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1739 \begin_inset Formula $\mp $
1745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1763 \begin_inset Formula $\cup $
1769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1787 \begin_inset Formula $\bigtriangleup $
1793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1811 \begin_inset Formula $\ominus $
1817 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1837 \begin_inset Formula $\times $
1843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1861 \begin_inset Formula $\uplus $
1867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1885 \begin_inset Formula $\bigtriangledown $
1891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1909 \begin_inset Formula $\otimes $
1915 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1935 \begin_inset Formula $\div $
1941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1959 \begin_inset Formula $\sqcap $
1965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1983 \begin_inset Formula $\triangleleft $
1989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2007 \begin_inset Formula $\oslash $
2013 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2033 \begin_inset Formula $\ast $
2039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2057 \begin_inset Formula $\sqcup $
2063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2081 \begin_inset Formula $\triangleright $
2087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2105 \begin_inset Formula $\odot $
2111 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2131 \begin_inset Formula $\star $
2137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2155 \begin_inset Formula $\vee $
2161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2179 \begin_inset Formula $\lhd $
2185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2203 \begin_inset Formula $\bigcirc $
2209 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2229 \begin_inset Formula $\circ $
2235 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2253 \begin_inset Formula $\wedge $
2259 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2277 \begin_inset Formula $\rhd $
2283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2301 \begin_inset Formula $\dagger $
2307 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2321 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2327 \begin_inset Formula $\bullet $
2333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2351 \begin_inset Formula $\setminus $
2357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2375 \begin_inset Formula $\unlhd $
2381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2399 \begin_inset Formula $\ddagger $
2405 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2425 \begin_inset Formula $\cdot $
2431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2449 \begin_inset Formula $\wr $
2455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2473 \begin_inset Formula $\unrhd $
2479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2497 \begin_inset Formula $\amalg $
2503 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2523 Binary operation symbols
2530 \begin_inset Float table
2538 \begin_inset Tabular
2539 <lyxtabular version="3" rows="8" columns="10">
2541 <column alignment="right" valignment="top" width="0pt">
2542 <column alignment="left" valignment="top" width="0pt">
2543 <column alignment="right" valignment="top" width="0pt">
2544 <column alignment="left" valignment="top" width="0pt">
2545 <column alignment="right" valignment="top" width="0pt">
2546 <column alignment="left" valignment="top" width="0pt">
2547 <column alignment="right" valignment="top" width="0pt">
2548 <column alignment="left" valignment="top" width="0pt">
2549 <column alignment="right" valignment="top" width="0pt">
2550 <column alignment="left" valignment="top" width="0pt">
2552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2558 \begin_inset Formula $\leq $
2564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2584 \begin_inset Formula $\geq $
2590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2608 \begin_inset Formula $\equiv $
2614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2632 \begin_inset Formula $\models $
2638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2656 \begin_inset Formula $\prec $
2662 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2682 \begin_inset Formula $\succ $
2688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2706 \begin_inset Formula $\sim $
2712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2730 \begin_inset Formula $\perp $
2736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2754 \begin_inset Formula $\preceq $
2760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2778 \begin_inset Formula $\succeq $
2784 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2804 \begin_inset Formula $\simeq $
2810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2828 \begin_inset Formula $\mid $
2834 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2852 \begin_inset Formula $\ll $
2858 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2876 \begin_inset Formula $\gg $
2882 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2894 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2900 \begin_inset Formula $\asymp $
2906 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2926 \begin_inset Formula $\parallel $
2932 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2944 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2950 \begin_inset Formula $\subset $
2956 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2968 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2974 \begin_inset Formula $\supset $
2980 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2992 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2998 \begin_inset Formula $\approx $
3004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3022 \begin_inset Formula $\bowtie $
3028 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3048 \begin_inset Formula $\subseteq $
3054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3072 \begin_inset Formula $\supseteq $
3078 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3090 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3096 \begin_inset Formula $\cong $
3102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3120 \begin_inset Formula $\Join $
3126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3138 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3144 \begin_inset Formula $\sqsubset $
3150 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3164 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3170 \begin_inset Formula $\sqsupset $
3176 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3188 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3194 \begin_inset Formula $\neq $
3200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3218 \begin_inset Formula $\smile $
3224 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3236 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3242 \begin_inset Formula $\sqsubseteq $
3248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3266 \begin_inset Formula $\sqsupseteq $
3272 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3292 \begin_inset Formula $\doteq $
3298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3310 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3316 \begin_inset Formula $\frown $
3322 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3334 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3340 \begin_inset Formula $\in $
3346 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3364 \begin_inset Formula $\ni $
3370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3388 \begin_inset Formula $\propto $
3394 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3414 \begin_inset Formula $=$
3420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3436 \begin_inset Formula $\vdash $
3442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3460 \begin_inset Formula $\dashv $
3466 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3478 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3484 \begin_inset Formula $<$
3490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3506 \begin_inset Formula $>$
3512 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3537 \begin_inset Float table
3545 \begin_inset Tabular
3546 <lyxtabular version="3" rows="10" columns="6">
3548 <column alignment="right" valignment="top" width="0pt">
3549 <column alignment="left" valignment="top" width="0pt">
3550 <column alignment="right" valignment="top" width="0pt">
3551 <column alignment="left" valignment="top" width="0pt">
3552 <column alignment="right" valignment="top" width="0pt">
3553 <column alignment="left" valignment="top" width="0pt">
3555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3561 \begin_inset Formula $\leftarrow $
3567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3585 \begin_inset Formula $\longleftarrow $
3591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3609 \begin_inset Formula $\uparrow $
3615 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3635 \begin_inset Formula $\Leftarrow $
3641 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3659 \begin_inset Formula $\Longleftarrow $
3665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3683 \begin_inset Formula $\Uparrow $
3689 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3709 \begin_inset Formula $\rightarrow $
3715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3733 \begin_inset Formula $\longrightarrow $
3739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3757 \begin_inset Formula $\downarrow $
3763 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3783 \begin_inset Formula $\Rightarrow $
3789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3807 \begin_inset Formula $\Longrightarrow $
3813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3831 \begin_inset Formula $\Downarrow $
3837 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3857 \begin_inset Formula $\leftrightarrow $
3863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3881 \begin_inset Formula $\longleftrightarrow $
3887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3905 \begin_inset Formula $\updownarrow $
3911 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3931 \begin_inset Formula $\Leftrightarrow $
3937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3955 \begin_inset Formula $\Longleftrightarrow $
3961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3979 \begin_inset Formula $\Updownarrow $
3985 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4005 \begin_inset Formula $\mapsto $
4011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4029 \begin_inset Formula $\longmapsto $
4035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4053 \begin_inset Formula $\nearrow $
4059 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4073 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4079 \begin_inset Formula $\hookleftarrow $
4085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4103 \begin_inset Formula $\hookrightarrow $
4109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4121 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4127 \begin_inset Formula $\searrow $
4133 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4147 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4153 \begin_inset Formula $\leftharpoonup $
4159 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4171 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4177 \begin_inset Formula $\rightharpoonup $
4183 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4195 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4201 \begin_inset Formula $\swarrow $
4207 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4221 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4227 \begin_inset Formula $\leftharpoondown $
4233 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4245 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4251 \begin_inset Formula $\rightharpoondown $
4257 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4269 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4275 \begin_inset Formula $\nwarrow $
4281 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4308 \begin_inset Float table
4316 \begin_inset Tabular
4317 <lyxtabular version="3" rows="7" columns="10">
4319 <column alignment="right" valignment="top" width="0pt">
4320 <column alignment="left" valignment="top" width="0pt">
4321 <column alignment="right" valignment="top" width="0pt">
4322 <column alignment="left" valignment="top" width="0pt">
4323 <column alignment="right" valignment="top" width="0pt">
4324 <column alignment="left" valignment="top" width="0pt">
4325 <column alignment="right" valignment="top" width="0pt">
4326 <column alignment="left" valignment="top" width="0pt">
4327 <column alignment="right" valignment="top" width="0pt">
4328 <column alignment="left" valignment="top" width="0pt">
4330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4336 \begin_inset Formula $\ldots $
4342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4360 \begin_inset Formula $\cdots $
4366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4384 \begin_inset Formula $\vdots $
4390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4408 \begin_inset Formula $\ddots $
4414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4432 \begin_inset Formula $\aleph $
4438 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4458 \begin_inset Formula $\prime $
4464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4482 \begin_inset Formula $\forall $
4488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4506 \begin_inset Formula $\infty $
4512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4524 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4530 \begin_inset Formula $\hbar $
4536 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4548 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4554 \begin_inset Formula $\emptyset $
4560 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4580 \begin_inset Formula $\exists $
4586 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4598 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4604 \begin_inset Formula $\nabla $
4610 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4622 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4628 \begin_inset Formula $\surd $
4634 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4646 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4652 \begin_inset Formula $\Box $
4658 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4670 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4676 \begin_inset Formula $\triangle $
4682 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4696 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4702 \begin_inset Formula $\Diamond $
4708 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4720 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4726 \begin_inset Formula $\imath $
4732 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4744 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4750 \begin_inset Formula $\jmath $
4756 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4768 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4774 \begin_inset Formula $\ell $
4780 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4792 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4798 \begin_inset Formula $\neg $
4804 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4818 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4824 \begin_inset Formula $\top $
4830 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4842 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4848 \begin_inset Formula $\flat $
4854 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4866 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4872 \begin_inset Formula $\natural $
4878 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4890 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4896 \begin_inset Formula $\sharp $
4902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4920 \begin_inset Formula $\wp $
4926 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4940 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4946 \begin_inset Formula $\bot $
4952 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4964 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4970 \begin_inset Formula $\clubsuit $
4976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4994 \begin_inset Formula $\diamondsuit $
5000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5018 \begin_inset Formula $\heartsuit $
5024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5036 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5042 \begin_inset Formula $\spadesuit $
5048 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5068 \begin_inset Formula $\mho $
5074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5092 \begin_inset Formula $\Re $
5098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5116 \begin_inset Formula $\Im $
5122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5140 \begin_inset Formula $\angle $
5146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5164 \begin_inset Formula $\partial $
5170 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5190 Miscellaneous symbols
5197 \begin_inset Float table
5205 \begin_inset Tabular
5206 <lyxtabular version="3" rows="3" columns="10">
5208 <column alignment="right" valignment="top" width="0pt">
5209 <column alignment="left" valignment="top" width="0pt">
5210 <column alignment="right" valignment="top" width="0pt">
5211 <column alignment="left" valignment="top" width="0pt">
5212 <column alignment="right" valignment="top" width="0pt">
5213 <column alignment="left" valignment="top" width="0pt">
5214 <column alignment="right" valignment="top" width="0pt">
5215 <column alignment="left" valignment="top" width="0pt">
5216 <column alignment="right" valignment="top" width="0pt">
5217 <column alignment="left" valignment="top" width="0pt">
5219 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5225 \begin_inset Formula $\sum $
5231 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5243 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5249 \begin_inset Formula $\prod $
5255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5273 \begin_inset Formula $\coprod $
5279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5297 \begin_inset Formula $\int $
5303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5321 \begin_inset Formula $\oint $
5327 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5341 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5347 \begin_inset Formula $\bigcap $
5353 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5365 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5371 \begin_inset Formula $\bigcup $
5377 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5395 \begin_inset Formula $\bigsqcup $
5401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5419 \begin_inset Formula $\bigvee $
5425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5443 \begin_inset Formula $\bigwedge $
5449 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5469 \begin_inset Formula $\bigodot $
5475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5493 \begin_inset Formula $\bigotimes $
5499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5517 \begin_inset Formula $\bigoplus $
5523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5541 \begin_inset Formula $\biguplus $
5547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5566 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5581 Variable-sized symbols
5588 \begin_inset Float table
5596 \begin_inset Tabular
5597 <lyxtabular version="3" rows="4" columns="8">
5599 <column alignment="left" valignment="top" width="0pt">
5600 <column alignment="left" valignment="top" width="0pt">
5601 <column alignment="left" valignment="top" width="0pt">
5602 <column alignment="left" valignment="top" width="0pt">
5603 <column alignment="left" valignment="top" width="0pt">
5604 <column alignment="left" valignment="top" width="0pt">
5605 <column alignment="left" valignment="top" width="0pt">
5606 <column alignment="left" valignment="top" width="0pt">
5608 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5614 \begin_inset Formula $\arccos $
5620 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5626 \begin_inset Formula $\cos $
5632 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5638 \begin_inset Formula $\csc $
5644 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5650 \begin_inset Formula $\exp $
5656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5662 \begin_inset Formula $\ker $
5668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5674 \begin_inset Formula $\limsup $
5680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5686 \begin_inset Formula $\min $
5692 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5698 \begin_inset Formula $\sinh $
5706 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5712 \begin_inset Formula $\arcsin $
5718 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5724 \begin_inset Formula $\cosh $
5730 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5736 \begin_inset Formula $\deg $
5742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5748 \begin_inset Formula $\gcd $
5754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5760 \begin_inset Formula $\lg $
5766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5772 \begin_inset Formula $\ln $
5778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5784 \begin_inset Formula $\Pr $
5790 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5796 \begin_inset Formula $\sup $
5804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5810 \begin_inset Formula $\arctan $
5816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5822 \begin_inset Formula $\cot $
5828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5834 \begin_inset Formula $\det $
5840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5846 \begin_inset Formula $\hom $
5852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5858 \begin_inset Formula $\lim $
5864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5870 \begin_inset Formula $\log $
5876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5882 \begin_inset Formula $\sec $
5888 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5894 \begin_inset Formula $\tan $
5902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5908 \begin_inset Formula $\arg $
5914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5920 \begin_inset Formula $\coth $
5926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5932 \begin_inset Formula $\dim $
5938 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5944 \begin_inset Formula $\inf $
5950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5956 \begin_inset Formula $\liminf $
5962 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5968 \begin_inset Formula $\max $
5974 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5980 \begin_inset Formula $\sin $
5986 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5992 \begin_inset Formula $\tanh $
6013 \begin_inset Float table
6021 \begin_inset Tabular
6022 <lyxtabular version="3" rows="5" columns="8">
6024 <column alignment="right" valignment="top" width="0pt">
6025 <column alignment="left" valignment="top" width="0pt">
6026 <column alignment="right" valignment="top" width="0pt">
6027 <column alignment="left" valignment="top" width="0pt">
6028 <column alignment="right" valignment="top" width="0pt">
6029 <column alignment="left" valignment="top" width="0pt">
6030 <column alignment="right" valignment="top" width="0pt">
6031 <column alignment="left" valignment="top" width="0pt">
6033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6039 \begin_inset Formula $\uparrow $
6045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6057 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6063 \begin_inset Formula $\Uparrow $
6069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6087 \begin_inset Formula $\downarrow $
6093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6111 \begin_inset Formula $\Downarrow $
6117 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6137 \begin_inset Formula $\{ $
6143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6161 \begin_inset Formula $\} $
6167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6185 \begin_inset Formula $\updownarrow $
6191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6209 \begin_inset Formula $\Updownarrow $
6215 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6235 \begin_inset Formula $\lfloor $
6241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6259 \begin_inset Formula $\rfloor $
6265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6283 \begin_inset Formula $\lceil $
6289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6307 \begin_inset Formula $\rceil $
6313 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6333 \begin_inset Formula $\langle $
6339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6357 \begin_inset Formula $\rangle $
6363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6381 \begin_inset Formula $/$
6387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6403 \begin_inset Formula $\backslash $
6409 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6423 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6429 \begin_inset Formula $|$
6435 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6451 \begin_inset Formula $\| $
6457 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6469 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6490 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6512 \begin_inset Float table
6520 \begin_inset Tabular
6521 <lyxtabular version="3" rows="2" columns="8">
6523 <column alignment="right" valignment="top" width="0pt">
6524 <column alignment="left" valignment="top" width="0pt">
6525 <column alignment="right" valignment="top" width="0pt">
6526 <column alignment="left" valignment="top" width="0pt">
6527 <column alignment="right" valignment="top" width="0pt">
6528 <column alignment="left" valignment="top" width="0pt">
6529 <column alignment="right" valignment="top" width="0pt">
6530 <column alignment="left" valignment="top" width="0pt">
6532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6538 \begin_inset Formula $\rmoustache $
6544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6562 \begin_inset Formula $\lmoustache $
6568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6586 \begin_inset Formula $\rgroup $
6592 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6610 \begin_inset Formula $\lgroup $
6616 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6636 \begin_inset Formula $\arrowvert $
6642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6660 \begin_inset Formula $\Arrowvert $
6666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6678 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6684 \begin_inset Formula $\bracevert $
6690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6709 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6731 \begin_inset Float table
6739 \begin_inset Tabular
6740 <lyxtabular version="3" rows="6" columns="4">
6742 <column alignment="right" valignment="top" width="0pt">
6743 <column alignment="left" valignment="top" width="0pt">
6744 <column alignment="right" valignment="top" width="0pt">
6745 <column alignment="left" valignment="top" width="0pt">
6747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6753 \begin_inset Formula $\widetilde{abc}$
6759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6771 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6777 \begin_inset Formula $\widehat{abc}$
6783 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6803 \begin_inset Formula $\overleftarrow{abc}$
6809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6827 \begin_inset Formula $\overrightarrow{abc}$
6833 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6853 \begin_inset Formula $\overline{abc}$
6859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6871 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6877 \begin_inset Formula $\underline{abc}$
6883 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6903 \begin_inset Formula $\overbrace{abc}$
6909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6927 \begin_inset Formula $\underbrace{abc}$
6933 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6953 \begin_inset Formula $\sqrt{abc}$
6959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6971 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6977 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
6983 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7005 \begin_inset Formula $f'$
7011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7027 \begin_inset Formula $\frac{abc}{xyz}$
7033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7053 LaTeX math constructs
7060 \begin_inset Float table
7068 \begin_inset Tabular
7069 <lyxtabular version="3" rows="1" columns="10">
7071 <column alignment="right" valignment="top" width="0pt">
7072 <column alignment="left" valignment="top" width="0pt">
7073 <column alignment="right" valignment="top" width="0pt">
7074 <column alignment="left" valignment="top" width="0pt">
7075 <column alignment="right" valignment="top" width="0pt">
7076 <column alignment="left" valignment="top" width="0pt">
7077 <column alignment="right" valignment="top" width="0pt">
7078 <column alignment="left" valignment="top" width="0pt">
7079 <column alignment="right" valignment="top" width="0pt">
7080 <column alignment="left" valignment="top" width="0pt">
7082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7088 \begin_inset Formula $\digamma $
7094 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7106 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7112 \begin_inset Formula $\varkappa $
7118 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7130 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7136 \begin_inset Formula $\beth $
7142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7160 \begin_inset Formula $\daleth $
7166 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7178 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7184 \begin_inset Formula $\gimel $
7190 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7210 AMS Greek and Hebrew
7217 \begin_inset Float table
7225 \begin_inset Tabular
7226 <lyxtabular version="3" rows="1" columns="8">
7228 <column alignment="right" valignment="top" width="0pt">
7229 <column alignment="left" valignment="top" width="0pt">
7230 <column alignment="right" valignment="top" width="0pt">
7231 <column alignment="left" valignment="top" width="0pt">
7232 <column alignment="right" valignment="top" width="0pt">
7233 <column alignment="left" valignment="top" width="0pt">
7234 <column alignment="right" valignment="top" width="0pt">
7235 <column alignment="left" valignment="top" width="0pt">
7237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7243 \begin_inset Formula $\ulcorner $
7249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7267 \begin_inset Formula $\urcorner $
7273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7291 \begin_inset Formula $\llcorner $
7297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7315 \begin_inset Formula $\lrcorner $
7321 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7348 \begin_inset Float table
7356 \begin_inset Tabular
7357 <lyxtabular version="3" rows="11" columns="6">
7359 <column alignment="right" valignment="top" width="0pt">
7360 <column alignment="left" valignment="top" width="0pt">
7361 <column alignment="right" valignment="top" width="0pt">
7362 <column alignment="left" valignment="top" width="0pt">
7363 <column alignment="right" valignment="top" width="0pt">
7364 <column alignment="left" valignment="top" width="0pt">
7366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7372 \begin_inset Formula $\dashrightarrow $
7378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7396 \begin_inset Formula $\dashleftarrow $
7402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7420 \begin_inset Formula $\leftleftarrows $
7426 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7446 \begin_inset Formula $\leftrightarrows $
7452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7470 \begin_inset Formula $\Lleftarrow $
7476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7494 \begin_inset Formula $\twoheadleftarrow $
7500 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7520 \begin_inset Formula $\leftarrowtail $
7526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7544 \begin_inset Formula $\looparrowleft $
7550 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7562 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7568 \begin_inset Formula $\leftrightharpoons $
7574 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7594 \begin_inset Formula $\curvearrowleft $
7600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7618 \begin_inset Formula $\circlearrowleft $
7624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7636 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7642 \begin_inset Formula $\Lsh $
7648 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7668 \begin_inset Formula $\upuparrows $
7674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7686 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7692 \begin_inset Formula $\upharpoonleft $
7698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7710 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7716 \begin_inset Formula $\downharpoonleft $
7722 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7742 \begin_inset Formula $\multimap $
7748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7766 \begin_inset Formula $\leftrightsquigarrow $
7772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7790 \begin_inset Formula $\rightrightarrows $
7796 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7816 \begin_inset Formula $\rightleftarrows $
7822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7834 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7840 \begin_inset Formula $\rightrightarrows $
7846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7858 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7864 \begin_inset Formula $\rightleftarrows $
7870 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7890 \begin_inset Formula $\twoheadrightarrow $
7896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7914 \begin_inset Formula $\rightarrowtail $
7920 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7932 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7938 \begin_inset Formula $\looparrowright $
7944 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7958 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7964 \begin_inset Formula $\rightleftharpoons $
7970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7988 \begin_inset Formula $\curvearrowright $
7994 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8006 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8012 \begin_inset Formula $\circlearrowright $
8018 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8032 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8038 \begin_inset Formula $\Rsh $
8044 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8056 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8062 \begin_inset Formula $\downdownarrows $
8068 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8080 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8086 \begin_inset Formula $\upharpoonright $
8092 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8106 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8112 \begin_inset Formula $\downharpoonright $
8118 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8130 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8136 \begin_inset Formula $\rightsquigarrow $
8142 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8154 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8161 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8183 \begin_inset Float table
8191 \begin_inset Tabular
8192 <lyxtabular version="3" rows="2" columns="6">
8194 <column alignment="right" valignment="top" width="0pt">
8195 <column alignment="left" valignment="top" width="0pt">
8196 <column alignment="right" valignment="top" width="0pt">
8197 <column alignment="left" valignment="top" width="0pt">
8198 <column alignment="right" valignment="top" width="0pt">
8199 <column alignment="left" valignment="top" width="0pt">
8201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8207 \begin_inset Formula $\nleftarrow $
8213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8231 \begin_inset Formula $\nrightarrow $
8237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8255 \begin_inset Formula $\nLeftarrow $
8261 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8281 \begin_inset Formula $\nRightarrow $
8287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8305 \begin_inset Formula $\nleftrightarrow $
8311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8329 \begin_inset Formula $\nLeftrightarrow $
8335 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8362 \begin_inset Float table
8370 \begin_inset Tabular
8371 <lyxtabular version="3" rows="22" columns="6">
8373 <column alignment="right" valignment="top" width="0pt">
8374 <column alignment="left" valignment="top" width="0pt">
8375 <column alignment="right" valignment="top" width="0pt">
8376 <column alignment="left" valignment="top" width="0pt">
8377 <column alignment="right" valignment="top" width="0pt">
8378 <column alignment="left" valignment="top" width="0pt">
8380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8386 \begin_inset Formula $\leqq $
8392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8410 \begin_inset Formula $\leqslant $
8416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8434 \begin_inset Formula $\eqslantless $
8440 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8460 \begin_inset Formula $\lesssim $
8466 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8478 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8484 \begin_inset Formula $\lessapprox $
8490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8508 \begin_inset Formula $\approxeq $
8514 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8534 \begin_inset Formula $\lessdot $
8540 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8558 \begin_inset Formula $\lll $
8564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8582 \begin_inset Formula $\lessgtr $
8588 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8608 \begin_inset Formula $\lesseqgtr $
8614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8626 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8632 \begin_inset Formula $\lesseqqgtr $
8638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8656 \begin_inset Formula $\doteqdot $
8662 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8682 \begin_inset Formula $\risingdotseq $
8688 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8706 \begin_inset Formula $\fallingdotseq $
8712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8730 \begin_inset Formula $\backsim $
8736 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8750 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8756 \begin_inset Formula $\backsimeq $
8762 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8780 \begin_inset Formula $\subseteqq $
8786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8804 \begin_inset Formula $\Subset $
8810 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8824 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8830 \begin_inset Formula $\sqsubset $
8836 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8854 \begin_inset Formula $\preccurlyeq $
8860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8878 \begin_inset Formula $\curlyeqprec $
8884 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8904 \begin_inset Formula $\precsim $
8910 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8922 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8928 \begin_inset Formula $\precapprox $
8934 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8946 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8952 \begin_inset Formula $\vartriangleleft $
8958 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8972 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8978 \begin_inset Formula $\trianglelefteq $
8984 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9002 \begin_inset Formula $\vDash $
9008 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9020 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9026 \begin_inset Formula $\Vvdash $
9032 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9052 \begin_inset Formula $\smallsmile $
9058 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9076 \begin_inset Formula $\smallfrown $
9082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9094 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9100 \begin_inset Formula $\bumpeq $
9106 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9126 \begin_inset Formula $\Bumpeq $
9132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9150 \begin_inset Formula $\geqq $
9156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9174 \begin_inset Formula $\geqslant $
9180 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9194 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9200 \begin_inset Formula $\eqslantgtr $
9206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9224 \begin_inset Formula $\gtrsim $
9230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9248 \begin_inset Formula $\gtrapprox $
9254 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9274 \begin_inset Formula $\gtrdot $
9280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9292 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9298 \begin_inset Formula $\ggg $
9304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9322 \begin_inset Formula $\gtrless $
9328 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9348 \begin_inset Formula $\gtreqless $
9354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9372 \begin_inset Formula $\gtreqqless $
9378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9396 \begin_inset Formula $\eqcirc $
9402 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9422 \begin_inset Formula $\circeq $
9428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9446 \begin_inset Formula $\triangleq $
9452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9470 \begin_inset Formula $\thicksim $
9476 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9496 \begin_inset Formula $\thickapprox $
9502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9520 \begin_inset Formula $\supseteqq $
9526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9544 \begin_inset Formula $\Supset $
9550 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9570 \begin_inset Formula $\sqsupset $
9576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9594 \begin_inset Formula $\succcurlyeq $
9600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9618 \begin_inset Formula $\curlyeqsucc $
9624 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9638 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9644 \begin_inset Formula $\succsim $
9650 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9662 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9668 \begin_inset Formula $\succapprox $
9674 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9686 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9692 \begin_inset Formula $\vartriangleright $
9698 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9718 \begin_inset Formula $\trianglerighteq $
9724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9742 \begin_inset Formula $\Vdash $
9748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9760 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9766 \begin_inset Formula $\shortmid $
9772 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9792 \begin_inset Formula $\shortparallel $
9798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9816 \begin_inset Formula $\between $
9822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9834 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9840 \begin_inset Formula $\pitchfork $
9846 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9866 \begin_inset Formula $\varpropto $
9872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9890 \begin_inset Formula $\blacktriangleleft $
9896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9908 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9914 \begin_inset Formula $\therefore $
9920 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9934 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9940 \begin_inset Formula $\backepsilon $
9946 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9958 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9964 \begin_inset Formula $\blacktriangleright $
9970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9982 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9988 \begin_inset Formula $\because $
9994 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10014 AMS binary relations
10021 \begin_inset Float table
10029 \begin_inset Tabular
10030 <lyxtabular version="3" rows="17" columns="6">
10032 <column alignment="right" valignment="top" width="0pt">
10033 <column alignment="left" valignment="top" width="0pt">
10034 <column alignment="right" valignment="top" width="0pt">
10035 <column alignment="left" valignment="top" width="0pt">
10036 <column alignment="right" valignment="top" width="0pt">
10037 <column alignment="left" valignment="top" width="0pt">
10039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10045 \begin_inset Formula $\nless $
10051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10069 \begin_inset Formula $\nleq $
10075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10093 \begin_inset Formula $\nleqslant $
10099 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10119 \begin_inset Formula $\nleqq $
10125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10143 \begin_inset Formula $\lneq $
10149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10167 \begin_inset Formula $\lneqq $
10173 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10193 \begin_inset Formula $\lvertneqq $
10199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10217 \begin_inset Formula $\lnsim $
10223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10235 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10241 \begin_inset Formula $\lnapprox $
10247 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10267 \begin_inset Formula $\nprec $
10273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10291 \begin_inset Formula $\npreceq $
10297 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10315 \begin_inset Formula $\precnsim $
10321 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10341 \begin_inset Formula $\precnapprox $
10347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10365 \begin_inset Formula $\nsim $
10371 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10383 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10389 \begin_inset Formula $\nshortmid $
10395 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10415 \begin_inset Formula $\nmid $
10421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10439 \begin_inset Formula $\nvdash $
10445 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10457 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10463 \begin_inset Formula $\nvDash $
10469 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10489 \begin_inset Formula $\ntriangleleft $
10495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10507 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10513 \begin_inset Formula $\ntrianglelefteq $
10519 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10531 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10537 \begin_inset Formula $\nsubseteq $
10543 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10557 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10563 \begin_inset Formula $\subsetneq $
10569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10587 \begin_inset Formula $\varsubsetneq $
10593 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10611 \begin_inset Formula $\subsetneqq $
10617 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10631 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10637 \begin_inset Formula $\varsubsetneqq $
10643 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10661 \begin_inset Formula $\ngtr $
10667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10679 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10685 \begin_inset Formula $\ngeq $
10691 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10711 \begin_inset Formula $\ngeqslant $
10717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10735 \begin_inset Formula $\ngeqq $
10741 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10759 \begin_inset Formula $\gneq $
10765 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10785 \begin_inset Formula $\gneqq $
10791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10809 \begin_inset Formula $\gvertneqq $
10815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10827 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10833 \begin_inset Formula $\gnsim $
10839 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10859 \begin_inset Formula $\gnapprox $
10865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10883 \begin_inset Formula $\nsucc $
10889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10901 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10907 \begin_inset Formula $\nsucceq $
10913 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10933 \begin_inset Formula $\succnsim $
10939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10957 \begin_inset Formula $\succnapprox $
10963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10975 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10981 \begin_inset Formula $\ncong $
10987 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11007 \begin_inset Formula $\nshortparallel $
11013 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11025 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11031 \begin_inset Formula $\nparallel $
11037 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11049 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11055 \begin_inset Formula $\nvDash $
11061 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11081 \begin_inset Formula $\nVDash $
11087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11105 \begin_inset Formula $\ntriangleright $
11111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11129 \begin_inset Formula $\ntrianglerighteq $
11135 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11155 \begin_inset Formula $\nsupseteq $
11161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11173 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11179 \begin_inset Formula $\nsupseteqq $
11185 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11197 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11203 \begin_inset Formula $\supsetneq $
11209 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11229 \begin_inset Formula $\varsupsetneq $
11235 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11253 \begin_inset Formula $\supsetneqq $
11259 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11277 \begin_inset Formula $\varsupsetneqq $
11283 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11303 AMS negated binary relations
11310 \begin_inset Float table
11318 \begin_inset Tabular
11319 <lyxtabular version="3" rows="8" columns="6">
11321 <column alignment="right" valignment="top" width="0pt">
11322 <column alignment="left" valignment="top" width="0pt">
11323 <column alignment="right" valignment="top" width="0pt">
11324 <column alignment="left" valignment="top" width="0pt">
11325 <column alignment="right" valignment="top" width="0pt">
11326 <column alignment="left" valignment="top" width="0pt">
11328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11334 \begin_inset Formula $\dotplus $
11340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11352 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11358 \begin_inset Formula $\smallsetminus $
11364 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11376 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11382 \begin_inset Formula $\Cap $
11388 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11408 \begin_inset Formula $\Cup $
11414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11426 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11432 \begin_inset Formula $\barwedge $
11438 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11450 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11456 \begin_inset Formula $\veebar $
11462 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11482 \begin_inset Formula $\doublebarwedge $
11488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11506 \begin_inset Formula $\boxminus $
11512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11524 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11530 \begin_inset Formula $\boxtimes $
11536 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11550 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11556 \begin_inset Formula $\boxdot $
11562 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11574 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11580 \begin_inset Formula $\boxplus $
11586 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11598 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11604 \begin_inset Formula $\divideontimes $
11610 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11630 \begin_inset Formula $\ltimes $
11636 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11648 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11654 \begin_inset Formula $\rtimes $
11660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11672 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11678 \begin_inset Formula $\leftthreetimes $
11684 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11698 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11704 \begin_inset Formula $\rightthreetimes $
11710 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11722 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11728 \begin_inset Formula $\curlywedge $
11734 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11752 \begin_inset Formula $\curlyvee $
11758 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11772 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11778 \begin_inset Formula $\circleddash $
11784 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11796 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11802 \begin_inset Formula $\circledast $
11808 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11820 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11826 \begin_inset Formula $\circledcirc $
11832 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11846 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11852 \begin_inset Formula $\centerdot $
11858 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11870 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11876 \begin_inset Formula $\intercal $
11882 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11894 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11901 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11916 AMS binary operators
11923 \begin_inset Float table
11931 \begin_inset Tabular
11932 <lyxtabular version="3" rows="9" columns="6">
11934 <column alignment="right" valignment="top" width="0pt">
11935 <column alignment="left" valignment="top" width="0pt">
11936 <column alignment="right" valignment="top" width="0pt">
11937 <column alignment="left" valignment="top" width="0pt">
11938 <column alignment="right" valignment="top" width="0pt">
11939 <column alignment="left" valignment="top" width="0pt">
11941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11947 \begin_inset Formula $\hbar $
11953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11971 \begin_inset Formula $\hslash $
11977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11995 \begin_inset Formula $\vartriangle $
12001 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12021 \begin_inset Formula $\triangledown $
12027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12045 \begin_inset Formula $\square $
12051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12069 \begin_inset Formula $\lozenge $
12075 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12095 \begin_inset Formula $\circledS $
12101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12119 \begin_inset Formula $\angle $
12125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12143 \begin_inset Formula $\measuredangle $
12149 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12169 \begin_inset Formula $\nexists $
12175 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12193 \begin_inset Formula $\mho $
12199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12217 \begin_inset Formula $\Finv $
12223 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12243 \begin_inset Formula $\Game $
12249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12267 \begin_inset Formula $\Bbbk $
12273 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12285 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12291 \begin_inset Formula $\backprime $
12297 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12317 \begin_inset Formula $\varnothing $
12323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12341 \begin_inset Formula $\blacktriangle $
12347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12365 \begin_inset Formula $\blacktriangledown $
12371 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12391 \begin_inset Formula $\blacksquare $
12397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12415 \begin_inset Formula $\blacklozenge $
12421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12439 \begin_inset Formula $\bigstar $
12445 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12459 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12465 \begin_inset Formula $\sphericalangle $
12471 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12483 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12489 \begin_inset Formula $\complement $
12495 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12507 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12513 \begin_inset Formula $\eth $
12519 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12533 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12539 \begin_inset Formula $\diagup $
12545 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12557 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12563 \begin_inset Formula $\diagdown $
12569 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12581 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12588 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">