1 #LyX 1.3 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 Some example math tables
183 The following tables from Goossen et al.'s
184 \begin_inset Quotes eld
188 \begin_inset Quotes erd
191 should appear on the screen in all their glory.
216 \begin_inset Float table
225 <lyxtabular version="3" rows="2" columns="10">
227 <column alignment="right" valignment="top" width="0pt">
228 <column alignment="left" valignment="top" width="0pt">
229 <column alignment="right" valignment="top" width="0pt">
230 <column alignment="left" valignment="top" width="0pt">
231 <column alignment="right" valignment="top" width="0pt">
232 <column alignment="left" valignment="top" width="0pt">
233 <column alignment="right" valignment="top" width="0pt">
234 <column alignment="left" valignment="top" width="0pt">
235 <column alignment="right" valignment="top" width="0pt">
236 <column alignment="left" valignment="top" width="0pt">
238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
246 \begin_inset Formula $\hat{a}$
252 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
264 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
272 \begin_inset Formula $\acute{a}$
278 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
290 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
298 \begin_inset Formula $\bar{a}$
304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
324 \begin_inset Formula $\dot{a}$
330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
350 \begin_inset Formula $\breve{a}$
356 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
378 \begin_inset Formula $\check{a}$
384 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
396 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
404 \begin_inset Formula $\grave{a}$
410 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
422 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
430 \begin_inset Formula $\vec{a}$
436 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
448 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
456 \begin_inset Formula $\ddot{a}$
462 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
474 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
482 \begin_inset Formula $\tilde{a}$
488 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
515 \begin_inset Float table
524 <lyxtabular version="3" rows="11" columns="8">
526 <column alignment="right" valignment="top" width="0pt">
527 <column alignment="left" valignment="top" width="0pt">
528 <column alignment="right" valignment="top" width="0pt">
529 <column alignment="left" valignment="top" width="0pt">
530 <column alignment="right" valignment="top" width="0pt">
531 <column alignment="left" valignment="top" width="0pt">
532 <column alignment="right" valignment="top" width="0pt">
533 <column alignment="left" valignment="top" width="0pt">
535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
541 \begin_inset Formula $\alpha$
547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
565 \begin_inset Formula $\beta$
571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
589 \begin_inset Formula $\gamma$
595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
607 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
613 \begin_inset Formula $\delta$
619 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
639 \begin_inset Formula $\epsilon$
645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
657 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
663 \begin_inset Formula $\varepsilon$
669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
687 \begin_inset Formula $\zeta$
693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
711 \begin_inset Formula $\eta$
717 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
737 \begin_inset Formula $\theta$
743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
761 \begin_inset Formula $\vartheta$
767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
785 \begin_inset Formula $\iota$
791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
809 \begin_inset Formula $\kappa$
815 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
835 \begin_inset Formula $\lambda$
841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
859 \begin_inset Formula $\mu$
865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
883 \begin_inset Formula $\nu$
889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
901 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
907 \begin_inset Formula $\xi$
913 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
933 \begin_inset Formula $o$
939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
947 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
953 \begin_inset Formula $\pi$
959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
971 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
977 \begin_inset Formula $\varpi$
983 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1001 \begin_inset Formula $\rho$
1007 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1027 \begin_inset Formula $\varrho$
1033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1051 \begin_inset Formula $\sigma$
1057 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1075 \begin_inset Formula $\varsigma$
1081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1099 \begin_inset Formula $\tau$
1105 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1125 \begin_inset Formula $\upsilon$
1131 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1149 \begin_inset Formula $\phi$
1155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1173 \begin_inset Formula $\varphi$
1179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1197 \begin_inset Formula $\chi$
1203 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1223 \begin_inset Formula $\psi$
1229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1247 \begin_inset Formula $\omega$
1253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1286 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1295 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1301 \begin_inset Formula $\Gamma$
1307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1325 \begin_inset Formula $\Delta$
1331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1349 \begin_inset Formula $\Theta$
1355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1373 \begin_inset Formula $\Lambda$
1379 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1399 \begin_inset Formula $\Xi$
1405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1417 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1423 \begin_inset Formula $\Pi$
1429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1447 \begin_inset Formula $\Sigma$
1453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1465 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1471 \begin_inset Formula $\Upsilon$
1477 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1497 \begin_inset Formula $\Phi$
1503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1521 \begin_inset Formula $\Psi$
1527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1539 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1545 \begin_inset Formula $\Omega$
1551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1570 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1592 \begin_inset Float table
1600 \begin_inset Tabular
1601 <lyxtabular version="3" rows="9" columns="8">
1603 <column alignment="right" valignment="top" width="0pt">
1604 <column alignment="left" valignment="top" width="0pt">
1605 <column alignment="right" valignment="top" width="0pt">
1606 <column alignment="left" valignment="top" width="0pt">
1607 <column alignment="right" valignment="top" width="0pt">
1608 <column alignment="left" valignment="top" width="0pt">
1609 <column alignment="right" valignment="top" width="0pt">
1610 <column alignment="left" valignment="top" width="0pt">
1612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1618 \begin_inset Formula $\pm$
1624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1636 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1642 \begin_inset Formula $\cap$
1648 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1660 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1666 \begin_inset Formula $\diamond$
1672 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1684 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1690 \begin_inset Formula $\oplus$
1696 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1710 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1716 \begin_inset Formula $\mp$
1722 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1734 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1740 \begin_inset Formula $\cup$
1746 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1758 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1764 \begin_inset Formula $\bigtriangleup$
1770 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1782 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1788 \begin_inset Formula $\ominus$
1794 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1808 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1814 \begin_inset Formula $\times$
1820 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1832 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1838 \begin_inset Formula $\uplus$
1844 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1856 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1862 \begin_inset Formula $\bigtriangledown$
1868 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1880 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1886 \begin_inset Formula $\otimes$
1892 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1906 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1912 \begin_inset Formula $\div$
1918 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1930 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1936 \begin_inset Formula $\sqcap$
1942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1960 \begin_inset Formula $\triangleleft$
1966 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1978 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1984 \begin_inset Formula $\oslash$
1990 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2010 \begin_inset Formula $\ast$
2016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2028 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2034 \begin_inset Formula $\sqcup$
2040 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2052 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2058 \begin_inset Formula $\triangleright$
2064 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2076 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2082 \begin_inset Formula $\odot$
2088 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2102 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2108 \begin_inset Formula $\star$
2114 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2126 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2132 \begin_inset Formula $\vee$
2138 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2150 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2156 \begin_inset Formula $\lhd$
2162 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2180 \begin_inset Formula $\bigcirc$
2186 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2200 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2206 \begin_inset Formula $\circ$
2212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2224 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2230 \begin_inset Formula $\wedge$
2236 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2254 \begin_inset Formula $\rhd$
2260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2278 \begin_inset Formula $\dagger$
2284 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2304 \begin_inset Formula $\bullet$
2310 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2322 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2328 \begin_inset Formula $\setminus$
2334 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2346 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2352 \begin_inset Formula $\unlhd$
2358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2376 \begin_inset Formula $\ddagger$
2382 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2396 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2402 \begin_inset Formula $\cdot$
2408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2426 \begin_inset Formula $\wr$
2432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2450 \begin_inset Formula $\unrhd$
2456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2474 \begin_inset Formula $\amalg$
2480 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2500 Binary operation symbols
2507 \begin_inset Float table
2515 \begin_inset Tabular
2516 <lyxtabular version="3" rows="8" columns="10">
2518 <column alignment="right" valignment="top" width="0pt">
2519 <column alignment="left" valignment="top" width="0pt">
2520 <column alignment="right" valignment="top" width="0pt">
2521 <column alignment="left" valignment="top" width="0pt">
2522 <column alignment="right" valignment="top" width="0pt">
2523 <column alignment="left" valignment="top" width="0pt">
2524 <column alignment="right" valignment="top" width="0pt">
2525 <column alignment="left" valignment="top" width="0pt">
2526 <column alignment="right" valignment="top" width="0pt">
2527 <column alignment="left" valignment="top" width="0pt">
2529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2535 \begin_inset Formula $\leq$
2541 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2561 \begin_inset Formula $\geq$
2567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2585 \begin_inset Formula $\equiv$
2591 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2603 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2609 \begin_inset Formula $\models$
2615 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2627 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2633 \begin_inset Formula $\prec$
2639 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2653 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2659 \begin_inset Formula $\succ$
2665 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2683 \begin_inset Formula $\sim$
2689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2707 \begin_inset Formula $\perp$
2713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2731 \begin_inset Formula $\preceq$
2737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2755 \begin_inset Formula $\succeq$
2761 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2781 \begin_inset Formula $\simeq$
2787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2805 \begin_inset Formula $\mid$
2811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2829 \begin_inset Formula $\ll$
2835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2853 \begin_inset Formula $\gg$
2859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2871 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2877 \begin_inset Formula $\asymp$
2883 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2897 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2903 \begin_inset Formula $\parallel$
2909 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2927 \begin_inset Formula $\subset$
2933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2951 \begin_inset Formula $\supset$
2957 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2975 \begin_inset Formula $\approx$
2981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2999 \begin_inset Formula $\bowtie$
3005 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3025 \begin_inset Formula $\subseteq$
3031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3049 \begin_inset Formula $\supseteq$
3055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3073 \begin_inset Formula $\cong$
3079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3097 \begin_inset Formula $\Join$
3103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3121 \begin_inset Formula $\sqsubset$
3127 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3147 \begin_inset Formula $\sqsupset$
3153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3171 \begin_inset Formula $\neq$
3177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3195 \begin_inset Formula $\smile$
3201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3219 \begin_inset Formula $\sqsubseteq$
3225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3243 \begin_inset Formula $\sqsupseteq$
3249 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3269 \begin_inset Formula $\doteq$
3275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3293 \begin_inset Formula $\frown$
3299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3317 \begin_inset Formula $\in$
3323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3341 \begin_inset Formula $\ni$
3347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3365 \begin_inset Formula $\propto$
3371 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3391 \begin_inset Formula $=$
3397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3407 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3413 \begin_inset Formula $\vdash$
3419 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3437 \begin_inset Formula $\dashv$
3443 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3455 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3461 \begin_inset Formula $<$
3467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3477 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3483 \begin_inset Formula $>$
3489 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3514 \begin_inset Float table
3522 \begin_inset Tabular
3523 <lyxtabular version="3" rows="10" columns="6">
3525 <column alignment="right" valignment="top" width="0pt">
3526 <column alignment="left" valignment="top" width="0pt">
3527 <column alignment="right" valignment="top" width="0pt">
3528 <column alignment="left" valignment="top" width="0pt">
3529 <column alignment="right" valignment="top" width="0pt">
3530 <column alignment="left" valignment="top" width="0pt">
3532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3538 \begin_inset Formula $\leftarrow$
3544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3562 \begin_inset Formula $\longleftarrow$
3568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3586 \begin_inset Formula $\uparrow$
3592 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3606 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3612 \begin_inset Formula $\Leftarrow$
3618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3636 \begin_inset Formula $\Longleftarrow$
3642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3660 \begin_inset Formula $\Uparrow$
3666 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3686 \begin_inset Formula $\rightarrow$
3692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3710 \begin_inset Formula $\longrightarrow$
3716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3734 \begin_inset Formula $\downarrow$
3740 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3760 \begin_inset Formula $\Rightarrow$
3766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3784 \begin_inset Formula $\Longrightarrow$
3790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3808 \begin_inset Formula $\Downarrow$
3814 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3834 \begin_inset Formula $\leftrightarrow$
3840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3858 \begin_inset Formula $\longleftrightarrow$
3864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3882 \begin_inset Formula $\updownarrow$
3888 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3908 \begin_inset Formula $\Leftrightarrow$
3914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3932 \begin_inset Formula $\Longleftrightarrow$
3938 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3956 \begin_inset Formula $\Updownarrow$
3962 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3982 \begin_inset Formula $\mapsto$
3988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4006 \begin_inset Formula $\longmapsto$
4012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4030 \begin_inset Formula $\nearrow$
4036 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4050 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4056 \begin_inset Formula $\hookleftarrow$
4062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4080 \begin_inset Formula $\hookrightarrow$
4086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4104 \begin_inset Formula $\searrow$
4110 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4124 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4130 \begin_inset Formula $\leftharpoonup$
4136 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4148 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4154 \begin_inset Formula $\rightharpoonup$
4160 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4178 \begin_inset Formula $\swarrow$
4184 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4204 \begin_inset Formula $\leftharpoondown$
4210 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4222 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4228 \begin_inset Formula $\rightharpoondown$
4234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4252 \begin_inset Formula $\nwarrow$
4258 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4285 \begin_inset Float table
4293 \begin_inset Tabular
4294 <lyxtabular version="3" rows="7" columns="10">
4296 <column alignment="right" valignment="top" width="0pt">
4297 <column alignment="left" valignment="top" width="0pt">
4298 <column alignment="right" valignment="top" width="0pt">
4299 <column alignment="left" valignment="top" width="0pt">
4300 <column alignment="right" valignment="top" width="0pt">
4301 <column alignment="left" valignment="top" width="0pt">
4302 <column alignment="right" valignment="top" width="0pt">
4303 <column alignment="left" valignment="top" width="0pt">
4304 <column alignment="right" valignment="top" width="0pt">
4305 <column alignment="left" valignment="top" width="0pt">
4307 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4313 \begin_inset Formula $\ldots$
4319 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4331 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4337 \begin_inset Formula $\cdots$
4343 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4355 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4361 \begin_inset Formula $\vdots$
4367 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4379 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4385 \begin_inset Formula $\ddots$
4391 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4403 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4409 \begin_inset Formula $\aleph$
4415 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4429 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4435 \begin_inset Formula $\prime$
4441 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4459 \begin_inset Formula $\forall$
4465 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4477 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4483 \begin_inset Formula $\infty$
4489 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4501 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4507 \begin_inset Formula $\hbar$
4513 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4531 \begin_inset Formula $\emptyset$
4537 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4551 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4557 \begin_inset Formula $\exists$
4563 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4581 \begin_inset Formula $\nabla$
4587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4605 \begin_inset Formula $\surd$
4611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4629 \begin_inset Formula $\Box$
4635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4653 \begin_inset Formula $\triangle$
4659 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4679 \begin_inset Formula $\Diamond$
4685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4703 \begin_inset Formula $\imath$
4709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4727 \begin_inset Formula $\jmath$
4733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4751 \begin_inset Formula $\ell$
4757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4775 \begin_inset Formula $\neg$
4781 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4801 \begin_inset Formula $\top$
4807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4825 \begin_inset Formula $\flat$
4831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4849 \begin_inset Formula $\natural$
4855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4873 \begin_inset Formula $\sharp$
4879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4897 \begin_inset Formula $\wp$
4903 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4923 \begin_inset Formula $\bot$
4929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4947 \begin_inset Formula $\clubsuit$
4953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4971 \begin_inset Formula $\diamondsuit$
4977 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4989 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4995 \begin_inset Formula $\heartsuit$
5001 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5013 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5019 \begin_inset Formula $\spadesuit$
5025 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5045 \begin_inset Formula $\mho$
5051 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5063 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5069 \begin_inset Formula $\Re$
5075 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5087 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5093 \begin_inset Formula $\Im$
5099 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5111 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5117 \begin_inset Formula $\angle$
5123 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5135 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5141 \begin_inset Formula $\partial$
5147 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5167 Miscellaneous symbols
5174 \begin_inset Float table
5182 \begin_inset Tabular
5183 <lyxtabular version="3" rows="3" columns="10">
5185 <column alignment="right" valignment="top" width="0pt">
5186 <column alignment="left" valignment="top" width="0pt">
5187 <column alignment="right" valignment="top" width="0pt">
5188 <column alignment="left" valignment="top" width="0pt">
5189 <column alignment="right" valignment="top" width="0pt">
5190 <column alignment="left" valignment="top" width="0pt">
5191 <column alignment="right" valignment="top" width="0pt">
5192 <column alignment="left" valignment="top" width="0pt">
5193 <column alignment="right" valignment="top" width="0pt">
5194 <column alignment="left" valignment="top" width="0pt">
5196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5202 \begin_inset Formula $\sum$
5208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5226 \begin_inset Formula $\prod$
5232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5250 \begin_inset Formula $\coprod$
5256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5274 \begin_inset Formula $\int$
5280 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5292 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5298 \begin_inset Formula $\oint$
5304 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5324 \begin_inset Formula $\bigcap$
5330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5348 \begin_inset Formula $\bigcup$
5354 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5372 \begin_inset Formula $\bigsqcup$
5378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5396 \begin_inset Formula $\bigvee$
5402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5420 \begin_inset Formula $\bigwedge$
5426 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5446 \begin_inset Formula $\bigodot$
5452 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5464 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5470 \begin_inset Formula $\bigotimes$
5476 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5488 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5494 \begin_inset Formula $\bigoplus$
5500 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5512 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5518 \begin_inset Formula $\biguplus$
5524 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5536 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5543 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5558 Variable-sized symbols
5565 \begin_inset Float table
5573 \begin_inset Tabular
5574 <lyxtabular version="3" rows="4" columns="8">
5576 <column alignment="left" valignment="top" width="0pt">
5577 <column alignment="left" valignment="top" width="0pt">
5578 <column alignment="left" valignment="top" width="0pt">
5579 <column alignment="left" valignment="top" width="0pt">
5580 <column alignment="left" valignment="top" width="0pt">
5581 <column alignment="left" valignment="top" width="0pt">
5582 <column alignment="left" valignment="top" width="0pt">
5583 <column alignment="left" valignment="top" width="0pt">
5585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5591 \begin_inset Formula $\arccos$
5597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5603 \begin_inset Formula $\cos$
5609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5615 \begin_inset Formula $\csc$
5621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5627 \begin_inset Formula $\exp$
5633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5639 \begin_inset Formula $\ker$
5645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5651 \begin_inset Formula $\limsup$
5657 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5663 \begin_inset Formula $\min$
5669 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5675 \begin_inset Formula $\sinh$
5683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5689 \begin_inset Formula $\arcsin$
5695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5701 \begin_inset Formula $\cosh$
5707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5713 \begin_inset Formula $\deg$
5719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5725 \begin_inset Formula $\gcd$
5731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5737 \begin_inset Formula $\lg$
5743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5749 \begin_inset Formula $\ln$
5755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5761 \begin_inset Formula $\Pr$
5767 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5773 \begin_inset Formula $\sup$
5781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5787 \begin_inset Formula $\arctan$
5793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5799 \begin_inset Formula $\cot$
5805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5811 \begin_inset Formula $\det$
5817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5823 \begin_inset Formula $\hom$
5829 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5835 \begin_inset Formula $\lim$
5841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5847 \begin_inset Formula $\log$
5853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5859 \begin_inset Formula $\sec$
5865 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5871 \begin_inset Formula $\tan$
5879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5885 \begin_inset Formula $\arg$
5891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5897 \begin_inset Formula $\coth$
5903 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5909 \begin_inset Formula $\dim$
5915 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5921 \begin_inset Formula $\inf$
5927 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5933 \begin_inset Formula $\liminf$
5939 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5945 \begin_inset Formula $\max$
5951 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5957 \begin_inset Formula $\sin$
5963 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5969 \begin_inset Formula $\tanh$
5990 \begin_inset Float table
5998 \begin_inset Tabular
5999 <lyxtabular version="3" rows="5" columns="8">
6001 <column alignment="right" valignment="top" width="0pt">
6002 <column alignment="left" valignment="top" width="0pt">
6003 <column alignment="right" valignment="top" width="0pt">
6004 <column alignment="left" valignment="top" width="0pt">
6005 <column alignment="right" valignment="top" width="0pt">
6006 <column alignment="left" valignment="top" width="0pt">
6007 <column alignment="right" valignment="top" width="0pt">
6008 <column alignment="left" valignment="top" width="0pt">
6010 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6016 \begin_inset Formula $\uparrow$
6022 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6040 \begin_inset Formula $\Uparrow$
6046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6058 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6064 \begin_inset Formula $\downarrow$
6070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6088 \begin_inset Formula $\Downarrow$
6094 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6108 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6114 \begin_inset Formula $\{$
6120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6132 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6138 \begin_inset Formula $\}$
6144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6162 \begin_inset Formula $\updownarrow$
6168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6180 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6186 \begin_inset Formula $\Updownarrow$
6192 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6206 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6212 \begin_inset Formula $\lfloor$
6218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6236 \begin_inset Formula $\rfloor$
6242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6260 \begin_inset Formula $\lceil$
6266 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6278 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6284 \begin_inset Formula $\rceil$
6290 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6310 \begin_inset Formula $\langle$
6316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6334 \begin_inset Formula $\rangle$
6340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6352 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6358 \begin_inset Formula $/$
6364 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6374 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6380 \begin_inset Formula $\backslash$
6386 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6406 \begin_inset Formula $|$
6412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6422 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6428 \begin_inset Formula $\|$
6434 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6446 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6453 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6460 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6467 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6489 \begin_inset Float table
6497 \begin_inset Tabular
6498 <lyxtabular version="3" rows="6" columns="4">
6500 <column alignment="right" valignment="top" width="0pt">
6501 <column alignment="left" valignment="top" width="0pt">
6502 <column alignment="right" valignment="top" width="0pt">
6503 <column alignment="left" valignment="top" width="0pt">
6505 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6511 \begin_inset Formula $\widetilde{abc}$
6517 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6529 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6535 \begin_inset Formula $\widehat{abc}$
6541 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6555 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6561 \begin_inset Formula $\overleftarrow{abc}$
6567 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6579 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6585 \begin_inset Formula $\overrightarrow{abc}$
6591 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6605 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6611 \begin_inset Formula $\overline{abc}$
6617 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6629 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6635 \begin_inset Formula $\underline{abc}$
6641 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6655 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6661 \begin_inset Formula $\overbrace{abc}$
6667 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6679 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6685 \begin_inset Formula $\underbrace{abc}$
6691 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6705 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6711 \begin_inset Formula $\sqrt{abc}$
6717 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6729 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6735 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
6741 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6763 \begin_inset Formula $f'$
6769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6785 \begin_inset Formula $\frac{abc}{xyz}$
6791 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6811 LaTeX math constructs
6818 \begin_inset Float table
6826 \begin_inset Tabular
6827 <lyxtabular version="3" rows="1" columns="10">
6829 <column alignment="right" valignment="top" width="0pt">
6830 <column alignment="left" valignment="top" width="0pt">
6831 <column alignment="right" valignment="top" width="0pt">
6832 <column alignment="left" valignment="top" width="0pt">
6833 <column alignment="right" valignment="top" width="0pt">
6834 <column alignment="left" valignment="top" width="0pt">
6835 <column alignment="right" valignment="top" width="0pt">
6836 <column alignment="left" valignment="top" width="0pt">
6837 <column alignment="right" valignment="top" width="0pt">
6838 <column alignment="left" valignment="top" width="0pt">
6840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6846 \begin_inset Formula $\digamma$
6852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6870 \begin_inset Formula $\varkappa$
6876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6894 \begin_inset Formula $\beth$
6900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6918 \begin_inset Formula $\daleth$
6924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6936 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6942 \begin_inset Formula $\gimel$
6948 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6968 AMS Greek and Hebrew
6975 \begin_inset Float table
6983 \begin_inset Tabular
6984 <lyxtabular version="3" rows="1" columns="8">
6986 <column alignment="right" valignment="top" width="0pt">
6987 <column alignment="left" valignment="top" width="0pt">
6988 <column alignment="right" valignment="top" width="0pt">
6989 <column alignment="left" valignment="top" width="0pt">
6990 <column alignment="right" valignment="top" width="0pt">
6991 <column alignment="left" valignment="top" width="0pt">
6992 <column alignment="right" valignment="top" width="0pt">
6993 <column alignment="left" valignment="top" width="0pt">
6995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7001 \begin_inset Formula $\ulcorner$
7007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7025 \begin_inset Formula $\urcorner$
7031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7049 \begin_inset Formula $\llcorner$
7055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7073 \begin_inset Formula $\lrcorner$
7079 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7106 \begin_inset Float table
7114 \begin_inset Tabular
7115 <lyxtabular version="3" rows="11" columns="6">
7117 <column alignment="right" valignment="top" width="0pt">
7118 <column alignment="left" valignment="top" width="0pt">
7119 <column alignment="right" valignment="top" width="0pt">
7120 <column alignment="left" valignment="top" width="0pt">
7121 <column alignment="right" valignment="top" width="0pt">
7122 <column alignment="left" valignment="top" width="0pt">
7124 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7130 \begin_inset Formula $\dashrightarrow$
7136 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7148 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7154 \begin_inset Formula $\dashleftarrow$
7160 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7178 \begin_inset Formula $\leftleftarrows$
7184 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7204 \begin_inset Formula $\leftrightarrows$
7210 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7222 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7228 \begin_inset Formula $\Lleftarrow$
7234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7252 \begin_inset Formula $\twoheadleftarrow$
7258 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7278 \begin_inset Formula $\leftarrowtail$
7284 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7296 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7302 \begin_inset Formula $\looparrowleft$
7308 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7320 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7326 \begin_inset Formula $\leftrightharpoons$
7332 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7346 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7352 \begin_inset Formula $\curvearrowleft$
7358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7376 \begin_inset Formula $\circlearrowleft$
7382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7400 \begin_inset Formula $\Lsh$
7406 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7426 \begin_inset Formula $\upuparrows$
7432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7450 \begin_inset Formula $\upharpoonleft$
7456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7474 \begin_inset Formula $\downharpoonleft$
7480 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7494 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7500 \begin_inset Formula $\multimap$
7506 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7524 \begin_inset Formula $\leftrightsquigarrow$
7530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7548 \begin_inset Formula $\rightrightarrows$
7554 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7574 \begin_inset Formula $\rightleftarrows$
7580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7592 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7598 \begin_inset Formula $\rightrightarrows$
7604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7622 \begin_inset Formula $\rightleftarrows$
7628 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7648 \begin_inset Formula $\twoheadrightarrow$
7654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7672 \begin_inset Formula $\rightarrowtail$
7678 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7696 \begin_inset Formula $\looparrowright$
7702 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7722 \begin_inset Formula $\rightleftharpoons$
7728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7740 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7746 \begin_inset Formula $\curvearrowright$
7752 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7764 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7770 \begin_inset Formula $\circlearrowright$
7776 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7790 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7796 \begin_inset Formula $\Rsh$
7802 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7814 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7820 \begin_inset Formula $\downdownarrows$
7826 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7838 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7844 \begin_inset Formula $\upharpoonright$
7850 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7864 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7870 \begin_inset Formula $\downharpoonright$
7876 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7888 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7894 \begin_inset Formula $\rightsquigarrow$
7900 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7912 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7919 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7941 \begin_inset Float table
7949 \begin_inset Tabular
7950 <lyxtabular version="3" rows="2" columns="6">
7952 <column alignment="right" valignment="top" width="0pt">
7953 <column alignment="left" valignment="top" width="0pt">
7954 <column alignment="right" valignment="top" width="0pt">
7955 <column alignment="left" valignment="top" width="0pt">
7956 <column alignment="right" valignment="top" width="0pt">
7957 <column alignment="left" valignment="top" width="0pt">
7959 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7965 \begin_inset Formula $\nleftarrow$
7971 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7983 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7989 \begin_inset Formula $\nrightarrow$
7995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8013 \begin_inset Formula $\nLeftarrow$
8019 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8033 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8039 \begin_inset Formula $\nRightarrow$
8045 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8057 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8063 \begin_inset Formula $\nleftrightarrow$
8069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8087 \begin_inset Formula $\nLeftrightarrow$
8093 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8120 \begin_inset Float table
8128 \begin_inset Tabular
8129 <lyxtabular version="3" rows="22" columns="6">
8131 <column alignment="right" valignment="top" width="0pt">
8132 <column alignment="left" valignment="top" width="0pt">
8133 <column alignment="right" valignment="top" width="0pt">
8134 <column alignment="left" valignment="top" width="0pt">
8135 <column alignment="right" valignment="top" width="0pt">
8136 <column alignment="left" valignment="top" width="0pt">
8138 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8144 \begin_inset Formula $\leqq$
8150 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8162 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8168 \begin_inset Formula $\leqslant$
8174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8192 \begin_inset Formula $\eqslantless$
8198 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8212 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8218 \begin_inset Formula $\lesssim$
8224 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8236 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8242 \begin_inset Formula $\lessapprox$
8248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8266 \begin_inset Formula $\approxeq$
8272 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8286 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8292 \begin_inset Formula $\lessdot$
8298 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8310 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8316 \begin_inset Formula $\lll$
8322 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8334 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8340 \begin_inset Formula $\lessgtr$
8346 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8360 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8366 \begin_inset Formula $\lesseqgtr$
8372 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8384 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8390 \begin_inset Formula $\lesseqqgtr$
8396 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8414 \begin_inset Formula $\doteqdot$
8420 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8434 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8440 \begin_inset Formula $\risingdotseq$
8446 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8458 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8464 \begin_inset Formula $\fallingdotseq$
8470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8488 \begin_inset Formula $\backsim$
8494 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8508 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8514 \begin_inset Formula $\backsimeq$
8520 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8538 \begin_inset Formula $\subseteqq$
8544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8562 \begin_inset Formula $\Subset$
8568 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8582 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8588 \begin_inset Formula $\sqsubset$
8594 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8606 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8612 \begin_inset Formula $\preccurlyeq$
8618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8636 \begin_inset Formula $\curlyeqprec$
8642 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8662 \begin_inset Formula $\precsim$
8668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8686 \begin_inset Formula $\precapprox$
8692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8710 \begin_inset Formula $\vartriangleleft$
8716 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8730 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8736 \begin_inset Formula $\trianglelefteq$
8742 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8754 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8760 \begin_inset Formula $\vDash$
8766 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8778 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8784 \begin_inset Formula $\Vvdash$
8790 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8810 \begin_inset Formula $\smallsmile$
8816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8834 \begin_inset Formula $\smallfrown$
8840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8858 \begin_inset Formula $\bumpeq$
8864 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8878 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8884 \begin_inset Formula $\Bumpeq$
8890 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8908 \begin_inset Formula $\geqq$
8914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8932 \begin_inset Formula $\geqslant$
8938 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8952 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8958 \begin_inset Formula $\eqslantgtr$
8964 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8982 \begin_inset Formula $\gtrsim$
8988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9006 \begin_inset Formula $\gtrapprox$
9012 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9026 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9032 \begin_inset Formula $\gtrdot$
9038 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9050 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9056 \begin_inset Formula $\ggg$
9062 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9080 \begin_inset Formula $\gtrless$
9086 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9100 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9106 \begin_inset Formula $\gtreqless$
9112 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9124 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9130 \begin_inset Formula $\gtreqqless$
9136 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9148 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9154 \begin_inset Formula $\eqcirc$
9160 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9174 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9180 \begin_inset Formula $\circeq$
9186 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9198 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9204 \begin_inset Formula $\triangleq$
9210 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9222 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9228 \begin_inset Formula $\thicksim$
9234 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9248 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9254 \begin_inset Formula $\thickapprox$
9260 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9272 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9278 \begin_inset Formula $\supseteqq$
9284 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9296 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9302 \begin_inset Formula $\Supset$
9308 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9322 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9328 \begin_inset Formula $\sqsupset$
9334 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9346 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9352 \begin_inset Formula $\succcurlyeq$
9358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9376 \begin_inset Formula $\curlyeqsucc$
9382 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9396 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9402 \begin_inset Formula $\succsim$
9408 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9426 \begin_inset Formula $\succapprox$
9432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9450 \begin_inset Formula $\vartriangleright$
9456 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9470 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9476 \begin_inset Formula $\trianglerighteq$
9482 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9494 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9500 \begin_inset Formula $\Vdash$
9506 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9518 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9524 \begin_inset Formula $\shortmid$
9530 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9544 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9550 \begin_inset Formula $\shortparallel$
9556 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9574 \begin_inset Formula $\between$
9580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9592 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9598 \begin_inset Formula $\pitchfork$
9604 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9618 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9624 \begin_inset Formula $\varpropto$
9630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9648 \begin_inset Formula $\blacktriangleleft$
9654 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9666 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9672 \begin_inset Formula $\therefore$
9678 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9698 \begin_inset Formula $\backepsilon$
9704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9716 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9722 \begin_inset Formula $\blacktriangleright$
9728 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9740 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9746 \begin_inset Formula $\because$
9752 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9772 AMS binary relations
9779 \begin_inset Float table
9787 \begin_inset Tabular
9788 <lyxtabular version="3" rows="17" columns="6">
9790 <column alignment="right" valignment="top" width="0pt">
9791 <column alignment="left" valignment="top" width="0pt">
9792 <column alignment="right" valignment="top" width="0pt">
9793 <column alignment="left" valignment="top" width="0pt">
9794 <column alignment="right" valignment="top" width="0pt">
9795 <column alignment="left" valignment="top" width="0pt">
9797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9803 \begin_inset Formula $\nless$
9809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9827 \begin_inset Formula $\nleq$
9833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9851 \begin_inset Formula $\nleqslant$
9857 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9871 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9877 \begin_inset Formula $\nleqq$
9883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9901 \begin_inset Formula $\lneq$
9907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9925 \begin_inset Formula $\lneqq$
9931 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9951 \begin_inset Formula $\lvertneqq$
9957 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9975 \begin_inset Formula $\lnsim$
9981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9999 \begin_inset Formula $\lnapprox$
10005 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10025 \begin_inset Formula $\nprec$
10031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10049 \begin_inset Formula $\npreceq$
10055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10073 \begin_inset Formula $\precnsim$
10079 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10099 \begin_inset Formula $\precnapprox$
10105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10123 \begin_inset Formula $\nsim$
10129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10147 \begin_inset Formula $\nshortmid$
10153 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10173 \begin_inset Formula $\nmid$
10179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10197 \begin_inset Formula $\nvdash$
10203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10221 \begin_inset Formula $\nvDash$
10227 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10247 \begin_inset Formula $\ntriangleleft$
10253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10271 \begin_inset Formula $\ntrianglelefteq$
10277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10295 \begin_inset Formula $\nsubseteq$
10301 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10321 \begin_inset Formula $\subsetneq$
10327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10345 \begin_inset Formula $\varsubsetneq$
10351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10369 \begin_inset Formula $\subsetneqq$
10375 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10389 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10395 \begin_inset Formula $\varsubsetneqq$
10401 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10419 \begin_inset Formula $\ngtr$
10425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10443 \begin_inset Formula $\ngeq$
10449 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10469 \begin_inset Formula $\ngeqslant$
10475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10493 \begin_inset Formula $\ngeqq$
10499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10517 \begin_inset Formula $\gneq$
10523 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10543 \begin_inset Formula $\gneqq$
10549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10567 \begin_inset Formula $\gvertneqq$
10573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10591 \begin_inset Formula $\gnsim$
10597 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10617 \begin_inset Formula $\gnapprox$
10623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10641 \begin_inset Formula $\nsucc$
10647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10665 \begin_inset Formula $\nsucceq$
10671 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10691 \begin_inset Formula $\succnsim$
10697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10715 \begin_inset Formula $\succnapprox$
10721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10739 \begin_inset Formula $\ncong$
10745 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10765 \begin_inset Formula $\nshortparallel$
10771 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10789 \begin_inset Formula $\nparallel$
10795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10813 \begin_inset Formula $\nvDash$
10819 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10839 \begin_inset Formula $\nVDash$
10845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10863 \begin_inset Formula $\ntriangleright$
10869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10887 \begin_inset Formula $\ntrianglerighteq$
10893 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10913 \begin_inset Formula $\nsupseteq$
10919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10937 \begin_inset Formula $\nsupseteqq$
10943 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10961 \begin_inset Formula $\supsetneq$
10967 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10987 \begin_inset Formula $\varsupsetneq$
10993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11011 \begin_inset Formula $\supsetneqq$
11017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11029 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11035 \begin_inset Formula $\varsupsetneqq$
11041 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11061 AMS negated binary relations
11068 \begin_inset Float table
11076 \begin_inset Tabular
11077 <lyxtabular version="3" rows="8" columns="6">
11079 <column alignment="right" valignment="top" width="0pt">
11080 <column alignment="left" valignment="top" width="0pt">
11081 <column alignment="right" valignment="top" width="0pt">
11082 <column alignment="left" valignment="top" width="0pt">
11083 <column alignment="right" valignment="top" width="0pt">
11084 <column alignment="left" valignment="top" width="0pt">
11086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11092 \begin_inset Formula $\dotplus$
11098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11116 \begin_inset Formula $\smallsetminus$
11122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11140 \begin_inset Formula $\Cap$
11146 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11160 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11166 \begin_inset Formula $\Cup$
11172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11184 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11190 \begin_inset Formula $\barwedge$
11196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11214 \begin_inset Formula $\veebar$
11220 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11240 \begin_inset Formula $\doublebarwedge$
11246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11264 \begin_inset Formula $\boxminus$
11270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11288 \begin_inset Formula $\boxtimes$
11294 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11308 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11314 \begin_inset Formula $\boxdot$
11320 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11332 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11338 \begin_inset Formula $\boxplus$
11344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11356 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11362 \begin_inset Formula $\divideontimes$
11368 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11388 \begin_inset Formula $\ltimes$
11394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11406 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11412 \begin_inset Formula $\rtimes$
11418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11436 \begin_inset Formula $\leftthreetimes$
11442 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11462 \begin_inset Formula $\rightthreetimes$
11468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11480 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11486 \begin_inset Formula $\curlywedge$
11492 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11504 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11510 \begin_inset Formula $\curlyvee$
11516 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11536 \begin_inset Formula $\circleddash$
11542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11560 \begin_inset Formula $\circledast$
11566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11584 \begin_inset Formula $\circledcirc$
11590 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11610 \begin_inset Formula $\centerdot$
11616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11634 \begin_inset Formula $\intercal$
11640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11659 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11674 AMS binary operators
11681 \begin_inset Float table
11689 \begin_inset Tabular
11690 <lyxtabular version="3" rows="9" columns="6">
11692 <column alignment="right" valignment="top" width="0pt">
11693 <column alignment="left" valignment="top" width="0pt">
11694 <column alignment="right" valignment="top" width="0pt">
11695 <column alignment="left" valignment="top" width="0pt">
11696 <column alignment="right" valignment="top" width="0pt">
11697 <column alignment="left" valignment="top" width="0pt">
11699 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11705 \begin_inset Formula $\hbar$
11711 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11729 \begin_inset Formula $\hslash$
11735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11753 \begin_inset Formula $\vartriangle$
11759 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11773 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11779 \begin_inset Formula $\triangledown$
11785 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11797 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11803 \begin_inset Formula $\square$
11809 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11827 \begin_inset Formula $\lozenge$
11833 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11853 \begin_inset Formula $\circledS$
11859 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11871 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11877 \begin_inset Formula $\angle$
11883 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11901 \begin_inset Formula $\measuredangle$
11907 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11921 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11927 \begin_inset Formula $\nexists$
11933 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11945 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11951 \begin_inset Formula $\mho$
11957 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11975 \begin_inset Formula $\Finv$
11981 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11995 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12001 \begin_inset Formula $\Game$
12007 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12019 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12025 \begin_inset Formula $\Bbbk$
12031 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12049 \begin_inset Formula $\backprime$
12055 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12069 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12075 \begin_inset Formula $\varnothing$
12081 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12093 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12099 \begin_inset Formula $\blacktriangle$
12105 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12123 \begin_inset Formula $\blacktriangledown$
12129 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12143 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12149 \begin_inset Formula $\blacksquare$
12155 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12167 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12173 \begin_inset Formula $\blacklozenge$
12179 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12197 \begin_inset Formula $\bigstar$
12203 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12217 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12223 \begin_inset Formula $\sphericalangle$
12229 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12241 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12247 \begin_inset Formula $\complement$
12253 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12271 \begin_inset Formula $\eth$
12277 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12297 \begin_inset Formula $\diagup$
12303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12315 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12321 \begin_inset Formula $\diagdown$
12327 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12346 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">