1 #LyX 1.2 created this file. For more info see http://www.lyx.org/
12 \paperpackage widemarginsa4
16 \use_numerical_citations 0
17 \paperorientation portrait
20 \paragraph_separation indent
22 \quotes_language english
26 \paperpagestyle default
30 Converting to and from mathed
33 Math can be typed in the body of the document and converted to mathed-mode
34 by highlighting it and typing
40 The text can be bounded with delimiters or not.
41 That is, highlighting any of the formulae below:
46 <lyxtabular version="3" rows="5" columns="1">
48 <column alignment="left" valignment="top" width="0pt">
50 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
66 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
82 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
94 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
110 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
136 \begin_inset Formula \[
144 At present, no formal way exists to convert the contents of a math inset
145 back into plain text.
146 It can be done using a
147 \begin_inset Quotes eld
151 \begin_inset Quotes erd
155 Highlight the contents of a math inset (not the math inset itself, just
156 the contents), but do
160 copy it into LyX's buffer.
161 It is now stored in the X system buffer and can be pasted back into the
162 document using the middle mouse button.
165 Displaying LaTeX symbols
168 Historically, LyX has provided visual support for a relatively small subset
169 of the math symbols available in LaTeX.
170 That changes with version 1.2; we now have visual support for most of the
171 symbols defined in basic LaTeX and
175 the extra ones defined by the AMS.
176 For completeness, the tables of symbols in Lamport's and in Goosen's books
180 In order to display these extra symbols, however, the extra fonts that LyX
181 requires must be made available to it.
182 That can be done by creating a directory containing symbolic links to the
183 fonts that LyX requires using the following script
194 LYX_XFONTS=$LYXDIR/xfonts
199 if [ ! -d $LYX_XFONTS ]; then
202 mkdir $LYX_XFONTS || exit
210 rm -f $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
215 for file in `sed -e 's/^
223 1/' < fonts-xlfd`; do
226 filepath=`kpsewhich $file`
229 if [ $? -eq 0 ]; then
232 if [ ! -e $LYX_XFONTS/$file ]; then
235 ln -s $filepath $LYX_XFONTS/$file
241 echo `grep -e $file fonts-xlfd` >> $LYX_XFONTS/fonts.scale
262 END { print nlines }" < $LYX_XFONTS/fonts.scale > $LYX_XFONTS/fonts.dir
267 cat $LYX_XFONTS/fonts.scale >> $LYX_XFONTS/fonts.dir
270 cp $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale
280 cmr10.pfb -bluesky-cmr-medium-r-normal--0-0-0-0-m-0-adobe-fontspecific
283 cmmi10.pfb -bluesky-cmmi-medium-i-normal--0-0-0-0-m-0-adobe-fontspecific
284 cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
287 cmex10.pfb -bluesky-cmex-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
290 eufr10.pfb -bluesky-eufrak--medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
293 eufb10.pfb -bluesky-eufrak-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
296 eusr10.pfb -bluesky-eus-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
299 eusb10.pfb -bluesky-eus-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
302 msam10.pfb -bluesky-msam-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
305 msbm10.pfb -bluesky-msbm-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
308 marvosym.pfb -marvo-marvosym-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
311 wasy10.pfb -hoekwater-wasy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
314 wasyb10.pfb -hoekwater-wasy-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
317 logo10.pfb -hoekwater-logo-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
320 logobf10.pfb -hoekwater-logo-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific
323 plcrm.pfa -adobe-lcrm-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific
326 plcry.pfa -adobe-lcry-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
329 plcrv.pfa -adobe-lcrv-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific
332 Thereafter, you must tell X where to find this directory and the fonts therein.
336 xset +fp LYX_XFONTS; xset fp rehash
339 at the console, start LyX, load up this document and enjoy!
342 Some example math tables
345 If you've followed the instructions above successfully, then the following
346 tables from Goossen et al.'s
347 \begin_inset Quotes eld
351 \begin_inset Quotes erd
354 should appear on the screen in all their glory.
355 Otherwise you'll have a
384 \begin_inset Float table
393 <lyxtabular version="3" rows="2" columns="10">
395 <column alignment="right" valignment="top" width="0pt">
396 <column alignment="left" valignment="top" width="0pt">
397 <column alignment="right" valignment="top" width="0pt">
398 <column alignment="left" valignment="top" width="0pt">
399 <column alignment="right" valignment="top" width="0pt">
400 <column alignment="left" valignment="top" width="0pt">
401 <column alignment="right" valignment="top" width="0pt">
402 <column alignment="left" valignment="top" width="0pt">
403 <column alignment="right" valignment="top" width="0pt">
404 <column alignment="left" valignment="top" width="0pt">
406 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
414 \begin_inset Formula $\hat{a}$
420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
440 \begin_inset Formula $\acute{a}$
446 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
458 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
466 \begin_inset Formula $\bar{a}$
472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
484 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
492 \begin_inset Formula $\dot{a}$
498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
510 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
518 \begin_inset Formula $\breve{a}$
524 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
546 \begin_inset Formula $\check{a}$
552 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
572 \begin_inset Formula $\grave{a}$
578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
598 \begin_inset Formula $\vec{a}$
604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
624 \begin_inset Formula $\ddot{a}$
630 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
642 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
650 \begin_inset Formula $\tilde{a}$
656 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
683 \begin_inset Float table
692 <lyxtabular version="3" rows="11" columns="8">
694 <column alignment="right" valignment="top" width="0pt">
695 <column alignment="left" valignment="top" width="0pt">
696 <column alignment="right" valignment="top" width="0pt">
697 <column alignment="left" valignment="top" width="0pt">
698 <column alignment="right" valignment="top" width="0pt">
699 <column alignment="left" valignment="top" width="0pt">
700 <column alignment="right" valignment="top" width="0pt">
701 <column alignment="left" valignment="top" width="0pt">
703 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
709 \begin_inset Formula $\alpha $
715 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
727 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
733 \begin_inset Formula $\beta $
739 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
751 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
757 \begin_inset Formula $\gamma $
763 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
781 \begin_inset Formula $\delta $
787 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
807 \begin_inset Formula $\epsilon $
813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
831 \begin_inset Formula $\varepsilon $
837 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
849 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
855 \begin_inset Formula $\zeta $
861 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
873 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
879 \begin_inset Formula $\eta $
885 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
905 \begin_inset Formula $\theta $
911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
929 \begin_inset Formula $\vartheta $
935 <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 $\iota $
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 $\kappa $
983 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1003 \begin_inset Formula $\lambda $
1009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1027 \begin_inset Formula $\mu $
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 $\nu $
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 $\xi $
1081 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1101 \begin_inset Formula $o$
1107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1121 \begin_inset Formula $\pi $
1127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1145 \begin_inset Formula $\varpi $
1151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1163 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1169 \begin_inset Formula $\rho $
1175 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1195 \begin_inset Formula $\varrho $
1201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1219 \begin_inset Formula $\sigma $
1225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1237 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1243 \begin_inset Formula $\varsigma $
1249 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1261 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1267 \begin_inset Formula $\tau $
1273 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1293 \begin_inset Formula $\upsilon $
1299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1317 \begin_inset Formula $\phi $
1323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1335 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1341 \begin_inset Formula $\varphi $
1347 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1359 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1365 \begin_inset Formula $\chi $
1371 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1385 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1391 \begin_inset Formula $\psi $
1397 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1409 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1415 \begin_inset Formula $\omega $
1421 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1433 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1447 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1454 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1463 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1469 \begin_inset Formula $\Gamma $
1475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1493 \begin_inset Formula $\Delta $
1499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1517 \begin_inset Formula $\Theta $
1523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1541 \begin_inset Formula $\Lambda $
1547 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1567 \begin_inset Formula $\Xi $
1573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1591 \begin_inset Formula $\Pi $
1597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1615 \begin_inset Formula $\Sigma $
1621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1639 \begin_inset Formula $\Upsilon $
1645 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1665 \begin_inset Formula $\Phi $
1671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1689 \begin_inset Formula $\Psi $
1695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1713 \begin_inset Formula $\Omega $
1719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1738 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1760 \begin_inset Float table
1768 \begin_inset Tabular
1769 <lyxtabular version="3" rows="9" columns="8">
1771 <column alignment="right" valignment="top" width="0pt">
1772 <column alignment="left" valignment="top" width="0pt">
1773 <column alignment="right" valignment="top" width="0pt">
1774 <column alignment="left" valignment="top" width="0pt">
1775 <column alignment="right" valignment="top" width="0pt">
1776 <column alignment="left" valignment="top" width="0pt">
1777 <column alignment="right" valignment="top" width="0pt">
1778 <column alignment="left" valignment="top" width="0pt">
1780 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1786 \begin_inset Formula $\pm $
1792 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1804 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1810 \begin_inset Formula $\cap $
1816 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1828 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1834 \begin_inset Formula $\diamond $
1840 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1852 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1858 \begin_inset Formula $\oplus $
1864 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1878 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1884 \begin_inset Formula $\mp $
1890 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1902 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1908 \begin_inset Formula $\cup $
1914 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1926 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1932 \begin_inset Formula $\bigtriangleup $
1938 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1950 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1956 \begin_inset Formula $\ominus $
1962 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
1976 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
1982 \begin_inset Formula $\times $
1988 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2000 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2006 \begin_inset Formula $\uplus $
2012 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2024 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2030 \begin_inset Formula $\bigtriangledown $
2036 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2048 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2054 \begin_inset Formula $\otimes $
2060 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2074 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2080 \begin_inset Formula $\div $
2086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2104 \begin_inset Formula $\sqcap $
2110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2128 \begin_inset Formula $\triangleleft $
2134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2152 \begin_inset Formula $\oslash $
2158 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2178 \begin_inset Formula $\ast $
2184 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2202 \begin_inset Formula $\sqcup $
2208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2226 \begin_inset Formula $\triangleright $
2232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2250 \begin_inset Formula $\odot $
2256 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2276 \begin_inset Formula $\star $
2282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2300 \begin_inset Formula $\vee $
2306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2324 \begin_inset Formula $\lhd $
2330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2348 \begin_inset Formula $\bigcirc $
2354 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2374 \begin_inset Formula $\circ $
2380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2398 \begin_inset Formula $\wedge $
2404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2422 \begin_inset Formula $\rhd $
2428 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2440 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2446 \begin_inset Formula $\dagger $
2452 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2466 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2472 \begin_inset Formula $\bullet $
2478 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2490 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2496 \begin_inset Formula $\setminus $
2502 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2514 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2520 \begin_inset Formula $\unlhd $
2526 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2538 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2544 \begin_inset Formula $\ddagger $
2550 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2564 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2570 \begin_inset Formula $\cdot $
2576 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2588 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2594 \begin_inset Formula $\wr $
2600 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2612 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2618 \begin_inset Formula $\unrhd $
2624 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2636 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2642 \begin_inset Formula $\amalg $
2648 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2668 Binary operation symbols
2675 \begin_inset Float table
2683 \begin_inset Tabular
2684 <lyxtabular version="3" rows="8" columns="10">
2686 <column alignment="right" valignment="top" width="0pt">
2687 <column alignment="left" valignment="top" width="0pt">
2688 <column alignment="right" valignment="top" width="0pt">
2689 <column alignment="left" valignment="top" width="0pt">
2690 <column alignment="right" valignment="top" width="0pt">
2691 <column alignment="left" valignment="top" width="0pt">
2692 <column alignment="right" valignment="top" width="0pt">
2693 <column alignment="left" valignment="top" width="0pt">
2694 <column alignment="right" valignment="top" width="0pt">
2695 <column alignment="left" valignment="top" width="0pt">
2697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2703 \begin_inset Formula $\leq $
2709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2723 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2729 \begin_inset Formula $\geq $
2735 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2753 \begin_inset Formula $\equiv $
2759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2771 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2777 \begin_inset Formula $\models $
2783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2801 \begin_inset Formula $\prec $
2807 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2827 \begin_inset Formula $\succ $
2833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2851 \begin_inset Formula $\sim $
2857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2875 \begin_inset Formula $\perp $
2881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2899 \begin_inset Formula $\preceq $
2905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2923 \begin_inset Formula $\succeq $
2929 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
2943 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2949 \begin_inset Formula $\simeq $
2955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2973 \begin_inset Formula $\mid $
2979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
2997 \begin_inset Formula $\ll $
3003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3021 \begin_inset Formula $\gg $
3027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3045 \begin_inset Formula $\asymp $
3051 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3071 \begin_inset Formula $\parallel $
3077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3089 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3095 \begin_inset Formula $\subset $
3101 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3113 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3119 \begin_inset Formula $\supset $
3125 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3137 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3143 \begin_inset Formula $\approx $
3149 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3161 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3167 \begin_inset Formula $\bowtie $
3173 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3187 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3193 \begin_inset Formula $\subseteq $
3199 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3211 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3217 \begin_inset Formula $\supseteq $
3223 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3235 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3241 \begin_inset Formula $\cong $
3247 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3259 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3265 \begin_inset Formula $\Join $
3271 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3283 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3289 \begin_inset Formula $\sqsubset $
3295 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3309 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3315 \begin_inset Formula $\sqsupset $
3321 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3333 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3339 \begin_inset Formula $\neq $
3345 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3357 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3363 \begin_inset Formula $\smile $
3369 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3381 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3387 \begin_inset Formula $\sqsubseteq $
3393 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3405 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3411 \begin_inset Formula $\sqsupseteq $
3417 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3431 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3437 \begin_inset Formula $\doteq $
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 $\frown $
3467 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3479 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3485 \begin_inset Formula $\in $
3491 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3503 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3509 \begin_inset Formula $\ni $
3515 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3527 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3533 \begin_inset Formula $\propto $
3539 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3553 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3559 \begin_inset Formula $=$
3565 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3575 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3581 \begin_inset Formula $\vdash $
3587 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3605 \begin_inset Formula $\dashv $
3611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3629 \begin_inset Formula $<$
3635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3651 \begin_inset Formula $>$
3657 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3682 \begin_inset Float table
3690 \begin_inset Tabular
3691 <lyxtabular version="3" rows="10" columns="6">
3693 <column alignment="right" valignment="top" width="0pt">
3694 <column alignment="left" valignment="top" width="0pt">
3695 <column alignment="right" valignment="top" width="0pt">
3696 <column alignment="left" valignment="top" width="0pt">
3697 <column alignment="right" valignment="top" width="0pt">
3698 <column alignment="left" valignment="top" width="0pt">
3700 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3706 \begin_inset Formula $\leftarrow $
3712 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3724 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3730 \begin_inset Formula $\longleftarrow $
3736 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3748 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3754 \begin_inset Formula $\uparrow $
3760 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3774 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3780 \begin_inset Formula $\Leftarrow $
3786 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3798 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3804 \begin_inset Formula $\Longleftarrow $
3810 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3822 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3828 \begin_inset Formula $\Uparrow $
3834 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3848 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3854 \begin_inset Formula $\rightarrow $
3860 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3872 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3878 \begin_inset Formula $\longrightarrow $
3884 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3896 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3902 \begin_inset Formula $\downarrow $
3908 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3922 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3928 \begin_inset Formula $\Rightarrow $
3934 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3946 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3952 \begin_inset Formula $\Longrightarrow $
3958 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3970 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
3976 \begin_inset Formula $\Downarrow $
3982 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
3996 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4002 \begin_inset Formula $\leftrightarrow $
4008 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4020 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4026 \begin_inset Formula $\longleftrightarrow $
4032 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4044 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4050 \begin_inset Formula $\updownarrow $
4056 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4070 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4076 \begin_inset Formula $\Leftrightarrow $
4082 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4094 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4100 \begin_inset Formula $\Longleftrightarrow $
4106 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4118 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4124 \begin_inset Formula $\Updownarrow $
4130 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4150 \begin_inset Formula $\mapsto $
4156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4168 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4174 \begin_inset Formula $\longmapsto $
4180 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4192 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4198 \begin_inset Formula $\nearrow $
4204 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4218 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4224 \begin_inset Formula $\hookleftarrow $
4230 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4242 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4248 \begin_inset Formula $\hookrightarrow $
4254 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4266 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4272 \begin_inset Formula $\searrow $
4278 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4292 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4298 \begin_inset Formula $\leftharpoonup $
4304 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4316 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4322 \begin_inset Formula $\rightharpoonup $
4328 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4340 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4346 \begin_inset Formula $\swarrow $
4352 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4366 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4372 \begin_inset Formula $\leftharpoondown $
4378 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4390 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4396 \begin_inset Formula $\rightharpoondown $
4402 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4414 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4420 \begin_inset Formula $\nwarrow $
4426 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4453 \begin_inset Float table
4461 \begin_inset Tabular
4462 <lyxtabular version="3" rows="7" columns="10">
4464 <column alignment="right" valignment="top" width="0pt">
4465 <column alignment="left" valignment="top" width="0pt">
4466 <column alignment="right" valignment="top" width="0pt">
4467 <column alignment="left" valignment="top" width="0pt">
4468 <column alignment="right" valignment="top" width="0pt">
4469 <column alignment="left" valignment="top" width="0pt">
4470 <column alignment="right" valignment="top" width="0pt">
4471 <column alignment="left" valignment="top" width="0pt">
4472 <column alignment="right" valignment="top" width="0pt">
4473 <column alignment="left" valignment="top" width="0pt">
4475 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4481 \begin_inset Formula $\ldots $
4487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4505 \begin_inset Formula $\cdots $
4511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4529 \begin_inset Formula $\vdots $
4535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4553 \begin_inset Formula $\ddots $
4559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4577 \begin_inset Formula $\aleph $
4583 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4603 \begin_inset Formula $\prime $
4609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4627 \begin_inset Formula $\forall $
4633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4651 \begin_inset Formula $\infty $
4657 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4675 \begin_inset Formula $\hbar $
4681 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4693 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4699 \begin_inset Formula $\emptyset $
4705 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4725 \begin_inset Formula $\exists $
4731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4749 \begin_inset Formula $\nabla $
4755 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4767 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4773 \begin_inset Formula $\surd $
4779 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4791 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4797 \begin_inset Formula $\Box $
4803 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4815 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4821 \begin_inset Formula $\triangle $
4827 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4841 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4847 \begin_inset Formula $\Diamond $
4853 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4865 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4871 \begin_inset Formula $\imath $
4877 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4889 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4895 \begin_inset Formula $\jmath $
4901 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4913 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4919 \begin_inset Formula $\ell $
4925 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4937 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4943 \begin_inset Formula $\neg $
4949 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
4963 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4969 \begin_inset Formula $\top $
4975 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4987 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
4993 \begin_inset Formula $\flat $
4999 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5011 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5017 \begin_inset Formula $\natural $
5023 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5035 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5041 \begin_inset Formula $\sharp $
5047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5065 \begin_inset Formula $\wp $
5071 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5085 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5091 \begin_inset Formula $\bot $
5097 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5109 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5115 \begin_inset Formula $\clubsuit $
5121 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5133 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5139 \begin_inset Formula $\diamondsuit $
5145 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5157 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5163 \begin_inset Formula $\heartsuit $
5169 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5181 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5187 \begin_inset Formula $\spadesuit $
5193 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5207 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5213 \begin_inset Formula $\mho $
5219 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5231 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5237 \begin_inset Formula $\Re $
5243 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5255 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5261 \begin_inset Formula $\Im $
5267 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5279 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5285 \begin_inset Formula $\angle $
5291 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5303 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5309 \begin_inset Formula $\partial $
5315 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5335 Miscellaneous symbols
5342 \begin_inset Float table
5350 \begin_inset Tabular
5351 <lyxtabular version="3" rows="3" columns="10">
5353 <column alignment="right" valignment="top" width="0pt">
5354 <column alignment="left" valignment="top" width="0pt">
5355 <column alignment="right" valignment="top" width="0pt">
5356 <column alignment="left" valignment="top" width="0pt">
5357 <column alignment="right" valignment="top" width="0pt">
5358 <column alignment="left" valignment="top" width="0pt">
5359 <column alignment="right" valignment="top" width="0pt">
5360 <column alignment="left" valignment="top" width="0pt">
5361 <column alignment="right" valignment="top" width="0pt">
5362 <column alignment="left" valignment="top" width="0pt">
5364 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5370 \begin_inset Formula $\sum $
5376 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5388 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5394 \begin_inset Formula $\prod $
5400 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5412 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5418 \begin_inset Formula $\coprod $
5424 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5436 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5442 \begin_inset Formula $\int $
5448 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5460 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5466 \begin_inset Formula $\oint $
5472 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5486 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5492 \begin_inset Formula $\bigcap $
5498 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5510 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5516 \begin_inset Formula $\bigcup $
5522 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5534 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5540 \begin_inset Formula $\bigsqcup $
5546 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5558 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5564 \begin_inset Formula $\bigvee $
5570 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5582 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5588 \begin_inset Formula $\bigwedge $
5594 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5608 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5614 \begin_inset Formula $\bigodot $
5620 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5632 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5638 \begin_inset Formula $\bigotimes $
5644 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5656 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5662 \begin_inset Formula $\bigoplus $
5668 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5680 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5686 \begin_inset Formula $\biguplus $
5692 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5704 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5711 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5726 Variable-sized symbols
5733 \begin_inset Float table
5741 \begin_inset Tabular
5742 <lyxtabular version="3" rows="4" columns="8">
5744 <column alignment="left" valignment="top" width="0pt">
5745 <column alignment="left" valignment="top" width="0pt">
5746 <column alignment="left" valignment="top" width="0pt">
5747 <column alignment="left" valignment="top" width="0pt">
5748 <column alignment="left" valignment="top" width="0pt">
5749 <column alignment="left" valignment="top" width="0pt">
5750 <column alignment="left" valignment="top" width="0pt">
5751 <column alignment="left" valignment="top" width="0pt">
5753 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5759 \begin_inset Formula $\arccos $
5765 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5771 \begin_inset Formula $\cos $
5777 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5783 \begin_inset Formula $\csc $
5789 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5795 \begin_inset Formula $\exp $
5801 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5807 \begin_inset Formula $\ker $
5813 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5819 \begin_inset Formula $\limsup $
5825 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5831 \begin_inset Formula $\min $
5837 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5843 \begin_inset Formula $\sinh $
5851 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5857 \begin_inset Formula $\arcsin $
5863 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5869 \begin_inset Formula $\cosh $
5875 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5881 \begin_inset Formula $\deg $
5887 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5893 \begin_inset Formula $\gcd $
5899 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5905 \begin_inset Formula $\lg $
5911 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5917 \begin_inset Formula $\ln $
5923 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5929 \begin_inset Formula $\Pr $
5935 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
5941 \begin_inset Formula $\sup $
5949 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5955 \begin_inset Formula $\arctan $
5961 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5967 \begin_inset Formula $\cot $
5973 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5979 \begin_inset Formula $\det $
5985 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
5991 \begin_inset Formula $\hom $
5997 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6003 \begin_inset Formula $\lim $
6009 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6015 \begin_inset Formula $\log $
6021 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6027 \begin_inset Formula $\sec $
6033 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6039 \begin_inset Formula $\tan $
6047 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6053 \begin_inset Formula $\arg $
6059 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6065 \begin_inset Formula $\coth $
6071 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6077 \begin_inset Formula $\dim $
6083 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6089 \begin_inset Formula $\inf $
6095 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6101 \begin_inset Formula $\liminf $
6107 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6113 \begin_inset Formula $\max $
6119 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6125 \begin_inset Formula $\sin $
6131 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6137 \begin_inset Formula $\tanh $
6158 \begin_inset Float table
6166 \begin_inset Tabular
6167 <lyxtabular version="3" rows="5" columns="8">
6169 <column alignment="right" valignment="top" width="0pt">
6170 <column alignment="left" valignment="top" width="0pt">
6171 <column alignment="right" valignment="top" width="0pt">
6172 <column alignment="left" valignment="top" width="0pt">
6173 <column alignment="right" valignment="top" width="0pt">
6174 <column alignment="left" valignment="top" width="0pt">
6175 <column alignment="right" valignment="top" width="0pt">
6176 <column alignment="left" valignment="top" width="0pt">
6178 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6184 \begin_inset Formula $\uparrow $
6190 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6202 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6208 \begin_inset Formula $\Uparrow $
6214 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6226 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6232 \begin_inset Formula $\downarrow $
6238 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6250 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6256 \begin_inset Formula $\Downarrow $
6262 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6276 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6282 \begin_inset Formula $\{$
6288 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6300 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6306 \begin_inset Formula $\}$
6312 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6324 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6330 \begin_inset Formula $\updownarrow $
6336 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6348 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6354 \begin_inset Formula $\Updownarrow $
6360 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6374 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6380 \begin_inset Formula $\lfloor $
6386 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6398 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6404 \begin_inset Formula $\rfloor $
6410 <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 $\lceil $
6434 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6446 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6452 \begin_inset Formula $\rceil $
6458 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6472 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6478 \begin_inset Formula $\langle $
6484 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6496 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6502 \begin_inset Formula $\rangle $
6508 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6520 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6526 \begin_inset Formula $/$
6532 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6548 \begin_inset Formula $\backslash $
6554 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6568 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6574 \begin_inset Formula $|$
6580 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6596 \begin_inset Formula $\| $
6602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6614 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6635 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6657 \begin_inset Float table
6665 \begin_inset Tabular
6666 <lyxtabular version="3" rows="2" columns="8">
6668 <column alignment="right" valignment="top" width="0pt">
6669 <column alignment="left" valignment="top" width="0pt">
6670 <column alignment="right" valignment="top" width="0pt">
6671 <column alignment="left" valignment="top" width="0pt">
6672 <column alignment="right" valignment="top" width="0pt">
6673 <column alignment="left" valignment="top" width="0pt">
6674 <column alignment="right" valignment="top" width="0pt">
6675 <column alignment="left" valignment="top" width="0pt">
6677 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6683 \begin_inset Formula $\rmoustache $
6689 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6701 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6707 \begin_inset Formula $\lmoustache $
6713 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6725 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6731 \begin_inset Formula $\rgroup $
6737 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6749 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6755 \begin_inset Formula $\lgroup $
6761 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6775 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6781 \begin_inset Formula $\arrowvert $
6787 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6799 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6805 \begin_inset Formula $\Arrowvert $
6811 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6823 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6829 \begin_inset Formula $\bracevert $
6835 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6847 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6854 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6876 \begin_inset Float table
6884 \begin_inset Tabular
6885 <lyxtabular version="3" rows="6" columns="4">
6887 <column alignment="right" valignment="top" width="0pt">
6888 <column alignment="left" valignment="top" width="0pt">
6889 <column alignment="right" valignment="top" width="0pt">
6890 <column alignment="left" valignment="top" width="0pt">
6892 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6898 \begin_inset Formula $\widetilde{abc}$
6904 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6916 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6922 \begin_inset Formula $\widehat{abc}$
6928 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6942 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6948 \begin_inset Formula $\overleftarrow{abc}$
6954 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6966 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6972 \begin_inset Formula $\overrightarrow{abc}$
6978 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
6992 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
6998 \begin_inset Formula $\overline{abc}$
7004 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7016 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7022 \begin_inset Formula $\underline{abc}$
7028 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7042 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7048 \begin_inset Formula $\overbrace{abc}$
7054 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7066 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7072 \begin_inset Formula $\underbrace{abc}$
7078 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7092 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7098 \begin_inset Formula $\sqrt{abc}$
7104 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7116 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7122 \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$
7128 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7144 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7150 \begin_inset Formula $f'$
7156 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7166 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7172 \begin_inset Formula $\frac{abc}{xyz}$
7178 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7198 LaTeX math constructs
7205 \begin_inset Float table
7213 \begin_inset Tabular
7214 <lyxtabular version="3" rows="1" columns="10">
7216 <column alignment="right" valignment="top" width="0pt">
7217 <column alignment="left" valignment="top" width="0pt">
7218 <column alignment="right" valignment="top" width="0pt">
7219 <column alignment="left" valignment="top" width="0pt">
7220 <column alignment="right" valignment="top" width="0pt">
7221 <column alignment="left" valignment="top" width="0pt">
7222 <column alignment="right" valignment="top" width="0pt">
7223 <column alignment="left" valignment="top" width="0pt">
7224 <column alignment="right" valignment="top" width="0pt">
7225 <column alignment="left" valignment="top" width="0pt">
7227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7233 \begin_inset Formula $\digamma $
7239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7257 \begin_inset Formula $\varkappa $
7263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7281 \begin_inset Formula $\beth $
7287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7305 \begin_inset Formula $\daleth $
7311 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7323 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7329 \begin_inset Formula $\gimel $
7335 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7355 AMS Greek and Hebrew
7362 \begin_inset Float table
7370 \begin_inset Tabular
7371 <lyxtabular version="3" rows="1" columns="8">
7373 <column alignment="right" valignment="top" width="0pt">
7374 <column alignment="left" valignment="top" width="0pt">
7375 <column alignment="right" valignment="top" width="0pt">
7376 <column alignment="left" valignment="top" width="0pt">
7377 <column alignment="right" valignment="top" width="0pt">
7378 <column alignment="left" valignment="top" width="0pt">
7379 <column alignment="right" valignment="top" width="0pt">
7380 <column alignment="left" valignment="top" width="0pt">
7382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7388 \begin_inset Formula $\ulcorner $
7394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7406 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7412 \begin_inset Formula $\urcorner $
7418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7436 \begin_inset Formula $\llcorner $
7442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7460 \begin_inset Formula $\lrcorner $
7466 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7493 \begin_inset Float table
7501 \begin_inset Tabular
7502 <lyxtabular version="3" rows="11" columns="6">
7504 <column alignment="right" valignment="top" width="0pt">
7505 <column alignment="left" valignment="top" width="0pt">
7506 <column alignment="right" valignment="top" width="0pt">
7507 <column alignment="left" valignment="top" width="0pt">
7508 <column alignment="right" valignment="top" width="0pt">
7509 <column alignment="left" valignment="top" width="0pt">
7511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7517 \begin_inset Formula $\dashrightarrow $
7523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7541 \begin_inset Formula $\dashleftarrow $
7547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7565 \begin_inset Formula $\leftleftarrows $
7571 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7591 \begin_inset Formula $\leftrightarrows $
7597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7615 \begin_inset Formula $\Lleftarrow $
7621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7639 \begin_inset Formula $\twoheadleftarrow $
7645 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7665 \begin_inset Formula $\leftarrowtail $
7671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7689 \begin_inset Formula $\looparrowleft $
7695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7713 \begin_inset Formula $\leftrightharpoons $
7719 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7739 \begin_inset Formula $\curvearrowleft $
7745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7763 \begin_inset Formula $\circlearrowleft $
7769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7787 \begin_inset Formula $\Lsh $
7793 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7813 \begin_inset Formula $\upuparrows $
7819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7837 \begin_inset Formula $\upharpoonleft $
7843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7861 \begin_inset Formula $\downharpoonleft $
7867 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7887 \begin_inset Formula $\multimap $
7893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7911 \begin_inset Formula $\leftrightsquigarrow $
7917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7935 \begin_inset Formula $\rightrightarrows $
7941 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
7955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7961 \begin_inset Formula $\rightleftarrows $
7967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
7985 \begin_inset Formula $\rightrightarrows $
7991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8009 \begin_inset Formula $\rightleftarrows $
8015 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8029 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8035 \begin_inset Formula $\twoheadrightarrow $
8041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8059 \begin_inset Formula $\rightarrowtail $
8065 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8077 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8083 \begin_inset Formula $\looparrowright $
8089 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8109 \begin_inset Formula $\rightleftharpoons $
8115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8133 \begin_inset Formula $\curvearrowright $
8139 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8151 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8157 \begin_inset Formula $\circlearrowright $
8163 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8177 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8183 \begin_inset Formula $\Rsh $
8189 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8201 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8207 \begin_inset Formula $\downdownarrows $
8213 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8225 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8231 \begin_inset Formula $\upharpoonright $
8237 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8251 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8257 \begin_inset Formula $\downharpoonright $
8263 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8275 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8281 \begin_inset Formula $\rightsquigarrow $
8287 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8299 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8306 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8328 \begin_inset Float table
8336 \begin_inset Tabular
8337 <lyxtabular version="3" rows="2" columns="6">
8339 <column alignment="right" valignment="top" width="0pt">
8340 <column alignment="left" valignment="top" width="0pt">
8341 <column alignment="right" valignment="top" width="0pt">
8342 <column alignment="left" valignment="top" width="0pt">
8343 <column alignment="right" valignment="top" width="0pt">
8344 <column alignment="left" valignment="top" width="0pt">
8346 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8352 \begin_inset Formula $\nleftarrow $
8358 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8370 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8376 \begin_inset Formula $\nrightarrow $
8382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8400 \begin_inset Formula $\nLeftarrow $
8406 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8420 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8426 \begin_inset Formula $\nRightarrow $
8432 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8444 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8450 \begin_inset Formula $\nleftrightarrow $
8456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8474 \begin_inset Formula $\nLeftrightarrow $
8480 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8507 \begin_inset Float table
8515 \begin_inset Tabular
8516 <lyxtabular version="3" rows="22" columns="6">
8518 <column alignment="right" valignment="top" width="0pt">
8519 <column alignment="left" valignment="top" width="0pt">
8520 <column alignment="right" valignment="top" width="0pt">
8521 <column alignment="left" valignment="top" width="0pt">
8522 <column alignment="right" valignment="top" width="0pt">
8523 <column alignment="left" valignment="top" width="0pt">
8525 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8531 \begin_inset Formula $\leqq $
8537 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8549 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8555 \begin_inset Formula $\leqslant $
8561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8579 \begin_inset Formula $\eqslantless $
8585 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8599 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8605 \begin_inset Formula $\lesssim $
8611 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8623 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8629 \begin_inset Formula $\lessapprox $
8635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8653 \begin_inset Formula $\approxeq $
8659 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8673 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8679 \begin_inset Formula $\lessdot $
8685 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8697 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8703 \begin_inset Formula $\lll $
8709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8727 \begin_inset Formula $\lessgtr $
8733 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8747 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8753 \begin_inset Formula $\lesseqgtr $
8759 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8771 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8777 \begin_inset Formula $\lesseqqgtr $
8783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8801 \begin_inset Formula $\doteqdot $
8807 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8821 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8827 \begin_inset Formula $\risingdotseq $
8833 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8845 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8851 \begin_inset Formula $\fallingdotseq $
8857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8875 \begin_inset Formula $\backsim $
8881 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8895 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8901 \begin_inset Formula $\backsimeq $
8907 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8919 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8925 \begin_inset Formula $\subseteqq $
8931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8943 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8949 \begin_inset Formula $\Subset $
8955 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
8969 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8975 \begin_inset Formula $\sqsubset $
8981 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8993 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
8999 \begin_inset Formula $\preccurlyeq $
9005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9023 \begin_inset Formula $\curlyeqprec $
9029 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9043 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9049 \begin_inset Formula $\precsim $
9055 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9067 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9073 \begin_inset Formula $\precapprox $
9079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9097 \begin_inset Formula $\vartriangleleft $
9103 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9117 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9123 \begin_inset Formula $\trianglelefteq $
9129 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9141 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9147 \begin_inset Formula $\vDash $
9153 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9165 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9171 \begin_inset Formula $\Vvdash $
9177 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9191 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9197 \begin_inset Formula $\smallsmile $
9203 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9215 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9221 \begin_inset Formula $\smallfrown $
9227 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9239 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9245 \begin_inset Formula $\bumpeq $
9251 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9265 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9271 \begin_inset Formula $\Bumpeq $
9277 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9289 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9295 \begin_inset Formula $\geqq $
9301 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9313 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9319 \begin_inset Formula $\geqslant $
9325 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9339 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9345 \begin_inset Formula $\eqslantgtr $
9351 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9363 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9369 \begin_inset Formula $\gtrsim $
9375 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9387 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9393 \begin_inset Formula $\gtrapprox $
9399 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9413 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9419 \begin_inset Formula $\gtrdot $
9425 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9437 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9443 \begin_inset Formula $\ggg $
9449 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9461 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9467 \begin_inset Formula $\gtrless $
9473 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9487 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9493 \begin_inset Formula $\gtreqless $
9499 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9511 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9517 \begin_inset Formula $\gtreqqless $
9523 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9535 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9541 \begin_inset Formula $\eqcirc $
9547 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9561 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9567 \begin_inset Formula $\circeq $
9573 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9585 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9591 \begin_inset Formula $\triangleq $
9597 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9609 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9615 \begin_inset Formula $\thicksim $
9621 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9635 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9641 \begin_inset Formula $\thickapprox $
9647 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9659 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9665 \begin_inset Formula $\supseteqq $
9671 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9683 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9689 \begin_inset Formula $\Supset $
9695 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9709 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9715 \begin_inset Formula $\sqsupset $
9721 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9733 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9739 \begin_inset Formula $\succcurlyeq $
9745 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9757 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9763 \begin_inset Formula $\curlyeqsucc $
9769 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9783 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9789 \begin_inset Formula $\succsim $
9795 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9807 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9813 \begin_inset Formula $\succapprox $
9819 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9831 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9837 \begin_inset Formula $\vartriangleright $
9843 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9857 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9863 \begin_inset Formula $\trianglerighteq $
9869 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9881 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9887 \begin_inset Formula $\Vdash $
9893 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9905 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9911 \begin_inset Formula $\shortmid $
9917 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
9931 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9937 \begin_inset Formula $\shortparallel $
9943 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9955 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9961 \begin_inset Formula $\between $
9967 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9979 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
9985 \begin_inset Formula $\pitchfork $
9991 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10005 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10011 \begin_inset Formula $\varpropto $
10017 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10029 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10035 \begin_inset Formula $\blacktriangleleft $
10041 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10053 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10059 \begin_inset Formula $\therefore $
10065 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10079 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10085 \begin_inset Formula $\backepsilon $
10091 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10103 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10109 \begin_inset Formula $\blacktriangleright $
10115 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10127 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10133 \begin_inset Formula $\because $
10139 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10159 AMS binary relations
10166 \begin_inset Float table
10174 \begin_inset Tabular
10175 <lyxtabular version="3" rows="17" columns="6">
10177 <column alignment="right" valignment="top" width="0pt">
10178 <column alignment="left" valignment="top" width="0pt">
10179 <column alignment="right" valignment="top" width="0pt">
10180 <column alignment="left" valignment="top" width="0pt">
10181 <column alignment="right" valignment="top" width="0pt">
10182 <column alignment="left" valignment="top" width="0pt">
10184 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10190 \begin_inset Formula $\nless $
10196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10214 \begin_inset Formula $\nleq $
10220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10238 \begin_inset Formula $\nleqslant $
10244 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10264 \begin_inset Formula $\nleqq $
10270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10288 \begin_inset Formula $\lneq $
10294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10312 \begin_inset Formula $\lneqq $
10318 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10332 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10338 \begin_inset Formula $\lvertneqq $
10344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10356 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10362 \begin_inset Formula $\lnsim $
10368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10386 \begin_inset Formula $\lnapprox $
10392 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10406 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10412 \begin_inset Formula $\nprec $
10418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10436 \begin_inset Formula $\npreceq $
10442 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10454 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10460 \begin_inset Formula $\precnsim $
10466 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10480 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10486 \begin_inset Formula $\precnapprox $
10492 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10504 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10510 \begin_inset Formula $\nsim $
10516 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10528 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10534 \begin_inset Formula $\nshortmid $
10540 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10560 \begin_inset Formula $\nmid $
10566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10584 \begin_inset Formula $\nvdash $
10590 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10602 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10608 \begin_inset Formula $\nvDash $
10614 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10634 \begin_inset Formula $\ntriangleleft $
10640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10658 \begin_inset Formula $\ntrianglelefteq $
10664 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10676 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10682 \begin_inset Formula $\nsubseteq $
10688 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10708 \begin_inset Formula $\subsetneq $
10714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10732 \begin_inset Formula $\varsubsetneq $
10738 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10750 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10756 \begin_inset Formula $\subsetneqq $
10762 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10776 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10782 \begin_inset Formula $\varsubsetneqq $
10788 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10800 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10806 \begin_inset Formula $\ngtr $
10812 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10824 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10830 \begin_inset Formula $\ngeq $
10836 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10850 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10856 \begin_inset Formula $\ngeqslant $
10862 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10874 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10880 \begin_inset Formula $\ngeqq $
10886 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10898 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10904 \begin_inset Formula $\gneq $
10910 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10924 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10930 \begin_inset Formula $\gneqq $
10936 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10948 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10954 \begin_inset Formula $\gvertneqq $
10960 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10972 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
10978 \begin_inset Formula $\gnsim $
10984 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
10998 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11004 \begin_inset Formula $\gnapprox $
11010 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11022 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11028 \begin_inset Formula $\nsucc $
11034 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11046 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11052 \begin_inset Formula $\nsucceq $
11058 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11072 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11078 \begin_inset Formula $\succnsim $
11084 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11096 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11102 \begin_inset Formula $\succnapprox $
11108 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11120 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11126 \begin_inset Formula $\ncong $
11132 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11146 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11152 \begin_inset Formula $\nshortparallel $
11158 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11170 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11176 \begin_inset Formula $\nparallel $
11182 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11194 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11200 \begin_inset Formula $\nvDash $
11206 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11220 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11226 \begin_inset Formula $\nVDash $
11232 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11244 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11250 \begin_inset Formula $\ntriangleright $
11256 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11268 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11274 \begin_inset Formula $\ntrianglerighteq $
11280 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11294 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11300 \begin_inset Formula $\nsupseteq $
11306 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11318 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11324 \begin_inset Formula $\nsupseteqq $
11330 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11342 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11348 \begin_inset Formula $\supsetneq $
11354 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11368 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11374 \begin_inset Formula $\varsupsetneq $
11380 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11392 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11398 \begin_inset Formula $\supsetneqq $
11404 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11416 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11422 \begin_inset Formula $\varsupsetneqq $
11428 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11448 AMS negated binary relations
11455 \begin_inset Float table
11463 \begin_inset Tabular
11464 <lyxtabular version="3" rows="8" columns="6">
11466 <column alignment="right" valignment="top" width="0pt">
11467 <column alignment="left" valignment="top" width="0pt">
11468 <column alignment="right" valignment="top" width="0pt">
11469 <column alignment="left" valignment="top" width="0pt">
11470 <column alignment="right" valignment="top" width="0pt">
11471 <column alignment="left" valignment="top" width="0pt">
11473 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11479 \begin_inset Formula $\dotplus $
11485 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11497 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11503 \begin_inset Formula $\smallsetminus $
11509 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11521 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11527 \begin_inset Formula $\Cap $
11533 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11547 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11553 \begin_inset Formula $\Cup $
11559 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11571 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11577 \begin_inset Formula $\barwedge $
11583 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11595 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11601 \begin_inset Formula $\veebar $
11607 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11621 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11627 \begin_inset Formula $\doublebarwedge $
11633 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11645 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11651 \begin_inset Formula $\boxminus $
11657 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11669 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11675 \begin_inset Formula $\boxtimes $
11681 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11695 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11701 \begin_inset Formula $\boxdot $
11707 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11719 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11725 \begin_inset Formula $\boxplus $
11731 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11743 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11749 \begin_inset Formula $\divideontimes $
11755 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11769 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11775 \begin_inset Formula $\ltimes $
11781 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11793 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11799 \begin_inset Formula $\rtimes $
11805 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11817 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11823 \begin_inset Formula $\leftthreetimes $
11829 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11843 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11849 \begin_inset Formula $\rightthreetimes $
11855 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11867 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11873 \begin_inset Formula $\curlywedge $
11879 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11891 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11897 \begin_inset Formula $\curlyvee $
11903 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11917 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11923 \begin_inset Formula $\circleddash $
11929 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11941 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11947 \begin_inset Formula $\circledast $
11953 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11965 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11971 \begin_inset Formula $\circledcirc $
11977 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
11991 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
11997 \begin_inset Formula $\centerdot $
12003 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12015 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12021 \begin_inset Formula $\intercal $
12027 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12039 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12046 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12061 AMS binary operators
12068 \begin_inset Float table
12076 \begin_inset Tabular
12077 <lyxtabular version="3" rows="9" columns="6">
12079 <column alignment="right" valignment="top" width="0pt">
12080 <column alignment="left" valignment="top" width="0pt">
12081 <column alignment="right" valignment="top" width="0pt">
12082 <column alignment="left" valignment="top" width="0pt">
12083 <column alignment="right" valignment="top" width="0pt">
12084 <column alignment="left" valignment="top" width="0pt">
12086 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12092 \begin_inset Formula $\hbar $
12098 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12110 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12116 \begin_inset Formula $\hslash $
12122 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12134 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12140 \begin_inset Formula $\vartriangle $
12146 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12160 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12166 \begin_inset Formula $\triangledown $
12172 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12184 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12190 \begin_inset Formula $\square $
12196 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12208 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12214 \begin_inset Formula $\lozenge $
12220 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12234 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12240 \begin_inset Formula $\circledS $
12246 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12258 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12264 \begin_inset Formula $\angle $
12270 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12282 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12288 \begin_inset Formula $\measuredangle $
12294 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12308 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12314 \begin_inset Formula $\nexists $
12320 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12332 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12338 \begin_inset Formula $\mho $
12344 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12356 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12362 \begin_inset Formula $\Finv $
12368 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12382 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12388 \begin_inset Formula $\Game $
12394 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12406 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12412 \begin_inset Formula $\Bbbk $
12418 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12430 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12436 \begin_inset Formula $\backprime $
12442 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12456 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12462 \begin_inset Formula $\varnothing $
12468 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12480 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12486 \begin_inset Formula $\blacktriangle $
12492 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12504 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12510 \begin_inset Formula $\blacktriangledown $
12516 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12530 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12536 \begin_inset Formula $\blacksquare $
12542 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12554 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12560 \begin_inset Formula $\blacklozenge $
12566 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12578 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12584 \begin_inset Formula $\bigstar $
12590 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12604 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12610 \begin_inset Formula $\sphericalangle $
12616 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12628 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12634 \begin_inset Formula $\complement $
12640 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12652 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12658 \begin_inset Formula $\eth $
12664 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">
12678 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12684 \begin_inset Formula $\diagup $
12690 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12702 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12708 \begin_inset Formula $\diagdown $
12714 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12726 <cell alignment="center" valignment="top" topline="true" leftline="true" usebox="none">
12733 <cell alignment="center" valignment="top" topline="true" leftline="true" rightline="true" usebox="none">