X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fexamples%2Fmathed.lyx;h=53f441cef7d3b00f66539e689c40292f0e935e5c;hb=e9d9f2e27bf7d8174022a8c9fffc94c981ab7c0f;hp=f32f538c30309cb2b380ca55ac0db32c3f03400a;hpb=e95c44f5428e8306d8d8eca6433a51ad4ffe9299;p=lyx.git diff --git a/lib/examples/mathed.lyx b/lib/examples/mathed.lyx index f32f538c30..53f441cef7 100644 --- a/lib/examples/mathed.lyx +++ b/lib/examples/mathed.lyx @@ -1,18498 +1,14436 @@ -#LyX 1.2 created this file. For more info see http://www.lyx.org/ -\lyxformat 220 +#LyX 1.5.0svn created this file. For more info see http://www.lyx.org/ +\lyxformat 245 +\begin_document +\begin_header \textclass article +\begin_preamble +\usepackage{a4wide} +\end_preamble \language english \inputencoding auto \fontscheme default \graphics default \float_placement H \paperfontsize default -\spacing single -\papersize Default -\paperpackage widemarginsa4 -\use_geometry 0 +\spacing single +\papersize default +\use_geometry false \use_amsmath 1 -\use_natbib 0 -\use_numerical_citations 0 +\cite_engine basic +\use_bibtopic false \paperorientation portrait \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \defskip medskip \quotes_language english -\quotes_times 2 \papercolumns 1 \papersides 1 \paperpagestyle default +\tracking_changes false +\output_changes true +\end_header -\layout Section +\begin_body -Converting to and from mathed -\layout Standard - -Math can be typed in the body of the document and converted to mathed-mode - by highlighting it and typing -\family sans -M-c\SpecialChar ~ -m -\family default -. - The text can be bounded with delimiters or not. - That is, highlighting any of the formulae below: -\layout Standard -\align center - -\begin_inset Tabular - - - - - -\begin_inset Text - -\layout Standard - - -\backslash -begin{math} -\backslash -frac{abc}{xyz} -\backslash -end{math} -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\backslash -( -\backslash -frac{abc}{xyz} -\backslash -) -\end_inset - - - - -\begin_inset Text - -\layout Standard - -$ -\backslash -frac{abc}{xyz} $ -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\backslash -begin{displaymath} -\backslash -frac{abc}{xyz} -\backslash -end{displaymath} -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\backslash -[ -\backslash -frac{abc}{xyz} -\backslash -] -\end_inset - - - - -\end_inset - - -\layout Standard - -will convert it to: -\layout Standard - - -\begin_inset Formula \[ -\frac{abc}{xyz}\] - -\end_inset - - -\layout Standard - -At present, no formal way exists to convert the contents of a math inset - back into plain text. - It can be done using a -\begin_inset Quotes eld -\end_inset - -fudge -\begin_inset Quotes erd -\end_inset - - however. - Highlight the contents of a math inset (not the math inset itself, just - the contents), but do -\emph on -not -\emph default - copy it into LyX's buffer. - It is now stored in the X system buffer and can be pasted back into the - document using the middle mouse button. -\layout Section - -Displaying LaTeX symbols -\layout Standard - -Historically, LyX has provided visual support for a relatively small subset - of the math symbols available in LaTeX. - That changes with version 1.2; we now have visual support for most of the - symbols defined in basic LaTeX and -\emph on -all -\emph default - the extra ones defined by the AMS. - For completeness, the tables of symbols in Lamport's and in Goosen's books - are presented below. -\layout Standard - -In order to display these extra symbols, however, the extra fonts that LyX - requires must be made available to it. - That can be done by creating a directory containing symbolic links to the - fonts that LyX requires using the following script -\layout LyX-Code - -#!/bin/sh -\layout LyX-Code - -\layout LyX-Code - -LYXDIR=`pwd` -\layout LyX-Code - -LYX_XFONTS=$LYXDIR/xfonts -\layout LyX-Code - -\layout LyX-Code - -if [ ! -d $LYX_XFONTS ]; then -\layout LyX-Code - - mkdir $LYX_XFONTS || exit -\layout LyX-Code - -fi -\layout LyX-Code - -\layout LyX-Code - -rm -f $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale -\layout LyX-Code - -\layout LyX-Code - -for file in `sed -e 's/^ -\backslash -(.* -\backslash -.pf[ab] -\backslash -) .*$/ -\backslash -1/' < fonts-xlfd`; do -\layout LyX-Code - - filepath=`kpsewhich $file` -\layout LyX-Code - - if [ $? -eq 0 ]; then -\layout LyX-Code - - if [ ! -e $LYX_XFONTS/$file ]; then -\layout LyX-Code - - ln -s $filepath $LYX_XFONTS/$file -\layout LyX-Code - - fi -\layout LyX-Code - - echo `grep -e $file fonts-xlfd` >> $LYX_XFONTS/fonts.scale -\layout LyX-Code - - echo "$file found." -\layout LyX-Code - - fi -\layout LyX-Code - -done -\layout LyX-Code - -\layout LyX-Code - -awk "/ -\backslash -.pf/ { nlines++ } -\backslash - -\layout LyX-Code - -END { print nlines }" < $LYX_XFONTS/fonts.scale > $LYX_XFONTS/fonts.dir -\layout LyX-Code - -\layout LyX-Code - -cat $LYX_XFONTS/fonts.scale >> $LYX_XFONTS/fonts.dir -\layout LyX-Code - -cp $LYX_XFONTS/fonts.dir $LYX_XFONTS/fonts.scale -\layout Standard - -where the file -\family typewriter -fonts-xlfd -\family default - contains -\layout LyX-Code - -cmmi10.pfb -bluesky-cmr-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -cmsy10.pfb -bluesky-cmsy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -cmex10.pfb -bluesky-cmex-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -eufr10.pfb -bluesky-eufrak--medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -eufb10.pfb -bluesky-eufrak-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -eusr10.pfb -bluesky-eus-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -eusb10.pfb -bluesky-eus-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -msam10.pfb -bluesky-msam-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -msbm10.pfb -bluesky-msbm-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -marvosym.pfb -marvo-marvosym-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -wasy10.pfb -hoekwater-wasy-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -wasyb10.pfb -hoekwater-wasy-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -logo10.pfb -hoekwater-logo-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -logobf10.pfb -hoekwater-logo-bold-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -plcrm.pfa -adobe-lcrm-medium-i-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -plcry.pfa -adobe-lcry-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout LyX-Code - -plcrv.pfa -adobe-lcrv-medium-r-normal--0-0-0-0-p-0-adobe-fontspecific -\layout Standard - -Thereafter, you must tell X where to find this directory and the fonts therein. - Type -\newline - -\family typewriter -xset +fp LYX_XFONTS; xset fp rehash -\newline - -\family default -at the console, start LyX, load up this document and enjoy! -\layout Subsection - -Math tables from Lamport's -\begin_inset Quotes eld -\end_inset - -LaTeX A document preparation system -\begin_inset Quotes erd -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Greek letters -\layout Standard - - -\begin_inset Tabular - - - - - -\begin_inset Text - -\layout Standard - -Lowercase -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\alpha $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -alpha -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\theta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -theta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $o$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -o -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\tau $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -tau -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\beta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -beta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\vartheta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -vartheta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\pi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -pi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\upsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -upsilon -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\gamma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -gamma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\iota $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -iota -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varpi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varpi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\phi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -phi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\delta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -delta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\kappa $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -kappa -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rho $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rho -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varphi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varphi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\epsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -epsilon -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lambda $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lambda -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varrho $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varrho -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\chi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -chi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varepsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varepsilon -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mu $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mu -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sigma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sigma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\psi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -psi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\zeta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -zeta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nu $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nu -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\varsigma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -varsigma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\omega $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -omega -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\eta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -eta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\xi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -xi -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - - - -\begin_inset Text - -\layout Standard - -Uppercase -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Gamma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Gamma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Lambda $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Lambda -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Sigma $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Sigma -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Psi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Psi -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Delta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Delta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Xi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Xi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Upsilon $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Upsilon -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Omega $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Omega -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Theta $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Theta -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Pi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Pi -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Phi $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Phi -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Binary operation symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\pm $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -pm -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cap $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cap -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\diamond $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -diamond -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\oplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -oplus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigtriangleup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigtriangleup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ominus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ominus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\times $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -times -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\uplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -uplus -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigtriangledown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigtriangledown -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\otimes $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -otimes -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\div $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -div -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqcap $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqcap -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\triangleleft $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -triangleleft -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\oslash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -oslash -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ast $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ast -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqcup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqcup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\triangleright $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -triangleright -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\odot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -odot -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\star $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -star -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\vee $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -vee -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigcirc $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigcirc -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\circ $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -circ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\wedge $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -wedge -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\dagger $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -dagger -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bullet $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bullet -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\setminus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -setminus -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\unlhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -unlhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ddagger $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ddagger -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cdot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cdot -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\wr $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -wr -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\unrhd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -unrhd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\amalg $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -amalg -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Relation symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\geq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -geq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\equiv $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -equiv -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\models $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -models -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\prec $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -prec -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\succ $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -succ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sim $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sim -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\perp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -perp -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\preceq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -preceq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\succeq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -succeq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\simeq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -simeq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mid $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mid -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ll $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ll -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\gg $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -gg -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\asymp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -asymp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\parallel $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -parallel -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\subset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -subset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\supset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -supset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\approx $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -approx -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bowtie $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bowtie -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\subseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -subseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\supseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -supseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\cong $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -cong -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Join $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Join -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsubset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsubset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsupset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsupset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\neq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -neq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\smile $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -smile -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsubseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsubseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sqsupseteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sqsupseteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\doteq $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -doteq -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\frown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -frown -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\in $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -in -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ni $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ni -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\propto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -propto -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\vdash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -vdash -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\dashv $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -dashv -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Arrow symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longleftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longleftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Leftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Leftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Longleftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Longleftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Rightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Rightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Longrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Longrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longleftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longleftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Leftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Leftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Longleftrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Longleftrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mapsto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mapsto -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\longmapsto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -longmapsto -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nearrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nearrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\hookleftarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -hookleftarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\hookrightarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -hookrightarrow -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\searrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -searrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftharpoonup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftharpoonup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightharpoonup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightharpoonup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\swarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -swarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leftharpoondown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leftharpoondown -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightharpoondown $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightharpoondown -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nwarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nwarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rightleftharpoons $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rightleftharpoons -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\leadsto $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -leadsto -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Miscellaneous symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\aleph $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -aleph -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\prime $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -prime -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\forall $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -forall -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\infty $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -infty -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\hbar $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -hbar -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\emptyset $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -emptyset -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\exists $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -exists -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Box $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Box -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\imath $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -imath -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\nabla $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -nabla -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\neg $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -neg -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Diamond $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Diamond -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\jmath $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -jmath -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\surd $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -surd -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\flat $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -flat -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\triangle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -triangle -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\ell $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -ell -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\top $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -top -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\natural $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -natural -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\clubsuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -clubsuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\wp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -wp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bot -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sharp $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sharp -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\diamondsuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -diamondsuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Re $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Re -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\| $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -| -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\backslash $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -backslash -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\heartsuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -heartsuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Im $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Im -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\angle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -angle -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\partial $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -partial -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\spadesuit $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -spadesuit -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\mho $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -mho -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Variable-sized symbols -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\sum $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -sum -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigcap $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigcap -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigodot $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigodot -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\prod $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -prod -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigcup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigcup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigotimes $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigotimes -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\coprod $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -coprod -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigsqcup $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigsqcup -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigoplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigoplus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\int $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -int -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigvee $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigvee -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\biguplus $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -biguplus -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\oint $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -oint -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\bigwedge $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -bigwedge -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - -\begin_inset Text - -\layout Standard - -\end_inset - - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Delimiters -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $($ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -( -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $)$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -) -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $[$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -[ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $]$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter -] -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\{$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -{ -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\}$ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -} -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\updownarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -updownarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lfloor $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lfloor -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rfloor $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rfloor -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Uparrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -Uparrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\lceil $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -lceil -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\rceil $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rceil -\end_inset - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\Downarrow $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard +\begin_layout Section +Converting to and from mathed +\end_layout -\family typewriter - -\backslash -Downarrow -\end_inset - - - - -\begin_inset Text - -\layout Standard - - -\begin_inset Formula $\langle $ -\end_inset - - -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -langle -\end_inset - - -\begin_inset Text - -\layout Standard - +\begin_layout Standard -\begin_inset Formula $\rangle $ -\end_inset +Math can be typed in the body of the document and converted to mathed-mode + by highlighting it and typing +\family sans +M-c\InsetSpace ~ +m +\family default +. + The text can be bounded with delimiters or not. + That is, highlighting any of the formulae below: +\end_layout +\begin_layout Standard +\align center -\end_inset - - +\begin_inset Tabular + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\backslash +begin{math} +\backslash +frac{abc}{xyz} +\backslash +end{math} +\end_layout -\backslash -rangle -\end_inset +\end_inset - + + + \begin_inset Text -\layout Standard - +\begin_layout Standard -\begin_inset Formula $\updownarrow $ -\end_inset +\backslash +( +\backslash +frac{abc}{xyz} +\backslash +) +\end_layout -\end_inset +\end_inset - + + + \begin_inset Text -\layout Standard +\begin_layout Standard +$ +\backslash +frac{abc}{xyz} $ +\end_layout -\family typewriter - -\backslash -Updownarrow -\end_inset +\end_inset - - + + \begin_inset Text -\layout Standard - - -\begin_inset Formula $/$ -\end_inset - +\begin_layout Standard -\end_inset - - -\begin_inset Text - -\layout Standard +\backslash +begin{displaymath} +\backslash +frac{abc}{xyz} +\backslash +end{displaymath} +\end_layout -\family typewriter -/ -\end_inset +\end_inset - + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\backslash $ -\end_inset - +\backslash +[ +\backslash +frac{abc}{xyz} +\backslash +] +\end_layout -\end_inset +\end_inset - -\begin_inset Text + + -\layout Standard +\end_inset -\family typewriter +\end_layout -\backslash -backslash -\end_inset - - -\begin_inset Text +\begin_layout Standard -\layout Standard +will convert it to: +\end_layout -\end_inset - - -\begin_inset Text +\begin_layout Standard -\layout Standard -\end_inset - - - - -\begin_inset Text +\begin_inset Formula \begin{equation} +\frac{abc}{xyz}\end{equation} -\layout Standard +\end_inset -\begin_inset Formula $|$ -\end_inset +\end_layout +\begin_layout Standard -\end_inset - - -\begin_inset Text +At present, no formal way exists to convert the contents of a math inset + back into plain text. + It can be done using a +\begin_inset Quotes eld +\end_inset -\layout Standard +fudge +\begin_inset Quotes erd +\end_inset + however. + Highlight the contents of a math inset (not the math inset itself, just + the contents), but do +\emph on +not +\emph default + copy it into LyX's buffer. + It is now stored in the X system buffer and can be pasted back into the + document using the middle mouse button. +\end_layout -\family typewriter -| -\end_inset - - -\begin_inset Text +\begin_layout Section -\layout Standard +Displaying LaTeX symbols +\end_layout +\begin_layout Standard -\begin_inset Formula $\| $ -\end_inset +Historically, LyX has provided visual support for a relatively small subset + of the math symbols available in LaTeX. + That changes with version 1.2; we now have visual support for most of the + symbols defined in basic LaTeX and +\emph on +all +\emph default + the extra ones defined by the AMS. + For completeness, the tables of symbols in Lamport's and in Goosen's books + are presented below. +\end_layout +\begin_layout Section -\end_inset - - -\begin_inset Text +Some example math tables +\end_layout -\layout Standard +\begin_layout Standard +The following tables from Goossen et al.'s +\begin_inset Quotes eld +\end_inset -\family typewriter +The LaTeX companion +\begin_inset Quotes erd +\end_inset -\backslash -| -\end_inset - - -\begin_inset Text + should appear on the screen in all their glory. +\end_layout -\layout Standard +\begin_layout Standard -\end_inset - - -\begin_inset Text -\layout Standard +\begin_inset ERT +status collapsed -\end_inset - - - +\begin_layout Standard -\end_inset +\backslash +setcounter{table}{1} +\end_layout +\begin_layout Standard -\end_inset +\end_layout +\begin_layout Standard -\layout Subsection +\backslash +renewcommand{ +\backslash +thetable}{8. +\backslash +arabic{table}} +\end_layout -Math tables from Goossen et al.'s -\begin_inset Quotes eld -\end_inset +\end_inset -The LaTeX companion -\begin_inset Quotes erd -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -Math mode accents -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - - - + + + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\hat{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hat{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\acute{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash acute{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\bar{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bar{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\dot{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dot{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\breve{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash breve{a} -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\check{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash check{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\grave{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash grave{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\vec{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vec{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\ddot{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ddot{a} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter \begin_inset Formula $\tilde{a}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash tilde{a} -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout +\begin_layout Caption -\end_inset +Math mode accents +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -Greek letters -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\alpha$ +\end_inset -\begin_inset Formula $\alpha $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash alpha -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\beta$ +\end_inset -\begin_inset Formula $\beta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash beta -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gamma$ +\end_inset -\begin_inset Formula $\gamma $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gamma -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\delta$ +\end_inset -\begin_inset Formula $\delta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash delta -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\epsilon$ +\end_inset -\begin_inset Formula $\epsilon $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash epsilon -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varepsilon$ +\end_inset -\begin_inset Formula $\varepsilon $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varepsilon -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\zeta$ +\end_inset -\begin_inset Formula $\zeta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash zeta -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\eta$ +\end_inset -\begin_inset Formula $\eta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eta -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\theta$ +\end_inset -\begin_inset Formula $\theta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash theta -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vartheta$ +\end_inset -\begin_inset Formula $\vartheta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartheta -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\iota$ +\end_inset -\begin_inset Formula $\iota $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash iota -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\kappa$ +\end_inset -\begin_inset Formula $\kappa $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash kappa -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lambda$ +\end_inset -\begin_inset Formula $\lambda $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lambda -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mu$ +\end_inset -\begin_inset Formula $\mu $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mu -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nu$ +\end_inset -\begin_inset Formula $\nu $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nu -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\xi$ +\end_inset -\begin_inset Formula $\xi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash xi -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $o$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard o -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\pi$ +\end_inset -\begin_inset Formula $\pi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash pi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varpi$ +\end_inset -\begin_inset Formula $\varpi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varpi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\rho$ +\end_inset -\begin_inset Formula $\rho $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rho -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varrho$ +\end_inset -\begin_inset Formula $\varrho $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varrho -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sigma$ +\end_inset -\begin_inset Formula $\sigma $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sigma -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsigma$ +\end_inset -\begin_inset Formula $\varsigma $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsigma -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\tau$ +\end_inset -\begin_inset Formula $\tau $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash tau -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\upsilon$ +\end_inset -\begin_inset Formula $\upsilon $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upsilon -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\phi$ +\end_inset -\begin_inset Formula $\phi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash phi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varphi$ +\end_inset -\begin_inset Formula $\varphi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varphi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\chi$ +\end_inset -\begin_inset Formula $\chi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash chi -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\psi$ +\end_inset -\begin_inset Formula $\psi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash psi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\omega$ +\end_inset -\begin_inset Formula $\omega $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash omega -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Gamma$ +\end_inset -\begin_inset Formula $\Gamma $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Gamma -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Delta$ +\end_inset -\begin_inset Formula $\Delta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Delta -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Theta$ +\end_inset -\begin_inset Formula $\Theta $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Theta -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Lambda$ +\end_inset -\begin_inset Formula $\Lambda $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Lambda -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Xi$ +\end_inset -\begin_inset Formula $\Xi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Xi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Pi$ +\end_inset -\begin_inset Formula $\Pi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Pi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Sigma$ +\end_inset -\begin_inset Formula $\Sigma $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Sigma -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Upsilon$ +\end_inset -\begin_inset Formula $\Upsilon $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Upsilon -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Phi$ +\end_inset -\begin_inset Formula $\Phi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Phi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Psi$ +\end_inset -\begin_inset Formula $\Psi $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Psi -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Omega$ +\end_inset -\begin_inset Formula $\Omega $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Omega -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption +Greek letters +\end_layout + +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -Binary operation symbols -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\pm $ -\end_inset +\begin_inset Formula $\pm$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash pm -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cap $ -\end_inset +\begin_inset Formula $\cap$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cap -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\diamond $ -\end_inset +\begin_inset Formula $\diamond$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diamond -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\oplus $ -\end_inset +\begin_inset Formula $\oplus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash oplus -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\mp $ -\end_inset +\begin_inset Formula $\mp$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mp -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cup $ -\end_inset +\begin_inset Formula $\cup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigtriangleup $ -\end_inset +\begin_inset Formula $\bigtriangleup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigtriangleup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ominus $ -\end_inset +\begin_inset Formula $\ominus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ominus -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\times $ -\end_inset +\begin_inset Formula $\times$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash times -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\uplus $ -\end_inset +\begin_inset Formula $\uplus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash uplus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigtriangledown $ -\end_inset +\begin_inset Formula $\bigtriangledown$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigtriangledown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\otimes $ -\end_inset +\begin_inset Formula $\otimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash otimes -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\div $ -\end_inset +\begin_inset Formula $\div$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash div -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqcap $ -\end_inset +\begin_inset Formula $\sqcap$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqcap -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\triangleleft $ -\end_inset +\begin_inset Formula $\triangleleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangleleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\oslash $ -\end_inset +\begin_inset Formula $\oslash$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash oslash -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ast $ -\end_inset +\begin_inset Formula $\ast$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ast -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqcup $ -\end_inset +\begin_inset Formula $\sqcup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqcup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\triangleright $ -\end_inset +\begin_inset Formula $\triangleright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangleright -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\odot $ -\end_inset +\begin_inset Formula $\odot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash odot -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\star $ -\end_inset +\begin_inset Formula $\star$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash star -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vee $ -\end_inset +\begin_inset Formula $\vee$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vee -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lhd $ -\end_inset +\begin_inset Formula $\lhd$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lhd -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigcirc $ -\end_inset +\begin_inset Formula $\bigcirc$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigcirc -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circ $ -\end_inset +\begin_inset Formula $\circ$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circ -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\wedge $ -\end_inset +\begin_inset Formula $\wedge$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash wedge -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rhd $ -\end_inset +\begin_inset Formula $\rhd$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rhd -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dagger $ -\end_inset +\begin_inset Formula $\dagger$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dagger -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bullet $ -\end_inset +\begin_inset Formula $\bullet$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bullet -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\setminus $ -\end_inset +\begin_inset Formula $\setminus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash setminus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\unlhd $ -\end_inset +\begin_inset Formula $\unlhd$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash unlhd -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ddagger $ -\end_inset +\begin_inset Formula $\ddagger$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ddagger -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cdot $ -\end_inset +\begin_inset Formula $\cdot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cdot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\wr $ -\end_inset +\begin_inset Formula $\wr$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash wr -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\unrhd $ -\end_inset +\begin_inset Formula $\unrhd$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash unrhd -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\amalg $ -\end_inset +\begin_inset Formula $\amalg$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash amalg -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset -\end_inset +\end_layout +\begin_layout Caption -\layout Standard +Binary operation symbols +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -Relation symbols -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - - - + + + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\leq$ +\end_inset -\begin_inset Formula $\leq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leq -\backslash +\backslash le -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\geq$ +\end_inset -\begin_inset Formula $\geq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash geq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\equiv$ +\end_inset -\begin_inset Formula $\equiv $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash equiv -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\models$ +\end_inset -\begin_inset Formula $\models $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash models -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\prec$ +\end_inset -\begin_inset Formula $\prec $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash prec -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\succ$ +\end_inset -\begin_inset Formula $\succ $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succ -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sim$ +\end_inset -\begin_inset Formula $\sim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\perp$ +\end_inset -\begin_inset Formula $\perp $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash perp -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\preceq$ +\end_inset -\begin_inset Formula $\preceq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash preceq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\succeq$ +\end_inset -\begin_inset Formula $\succeq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succeq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\simeq$ +\end_inset -\begin_inset Formula $\simeq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash simeq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mid$ +\end_inset -\begin_inset Formula $\mid $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mid -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ll$ +\end_inset -\begin_inset Formula $\ll $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ll -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gg$ +\end_inset -\begin_inset Formula $\gg $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gg -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\asymp$ +\end_inset -\begin_inset Formula $\asymp $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash asymp -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\parallel$ +\end_inset -\begin_inset Formula $\parallel $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash parallel -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\subset$ +\end_inset -\begin_inset Formula $\subset $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\supset$ +\end_inset -\begin_inset Formula $\supset $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\approx$ +\end_inset -\begin_inset Formula $\approx $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash approx -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bowtie$ +\end_inset -\begin_inset Formula $\bowtie $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bowtie -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\subseteq$ +\end_inset -\begin_inset Formula $\subseteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subseteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\supseteq$ +\end_inset -\begin_inset Formula $\supseteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supseteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cong$ +\end_inset -\begin_inset Formula $\cong $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cong -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Join$ +\end_inset -\begin_inset Formula $\Join $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Join -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqsubset$ +\end_inset -\begin_inset Formula $\sqsubset $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsubset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqsupset$ +\end_inset -\begin_inset Formula $\sqsupset $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsupset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\neq$ +\end_inset -\begin_inset Formula $\neq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash neq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\smile$ +\end_inset -\begin_inset Formula $\smile $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smile -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqsubseteq$ +\end_inset -\begin_inset Formula $\sqsubseteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsubseteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sqsupseteq$ +\end_inset -\begin_inset Formula $\sqsupseteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsupseteq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\doteq$ +\end_inset -\begin_inset Formula $\doteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash doteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\frown$ +\end_inset -\begin_inset Formula $\frown $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash frown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\in$ +\end_inset -\begin_inset Formula $\in $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash in -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ni$ +\end_inset -\begin_inset Formula $\ni $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ni -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\propto$ +\end_inset -\begin_inset Formula $\propto $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash propto -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $=$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter = -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vdash$ +\end_inset -\begin_inset Formula $\vdash $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vdash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\dashv$ +\end_inset -\begin_inset Formula $\dashv $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dashv -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $<$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter < -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $>$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter > -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\end_inset +\begin_layout Caption +Relation symbols +\end_layout + +\end_inset + + +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -Arrow symbols -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftarrow $ -\end_inset +\begin_inset Formula $\leftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\longleftarrow $ -\end_inset +\begin_inset Formula $\longleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longleftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\uparrow $ -\end_inset +\begin_inset Formula $\uparrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash uparrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Leftarrow $ -\end_inset +\begin_inset Formula $\Leftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Leftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Longleftarrow $ -\end_inset +\begin_inset Formula $\Longleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Longleftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Uparrow $ -\end_inset +\begin_inset Formula $\Uparrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Uparrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightarrow $ -\end_inset +\begin_inset Formula $\rightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\longrightarrow $ -\end_inset +\begin_inset Formula $\longrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\downarrow $ -\end_inset +\begin_inset Formula $\downarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Rightarrow $ -\end_inset +\begin_inset Formula $\Rightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Rightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Longrightarrow $ -\end_inset +\begin_inset Formula $\Longrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Longrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Downarrow $ -\end_inset +\begin_inset Formula $\Downarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Downarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftrightarrow $ -\end_inset +\begin_inset Formula $\leftrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\longleftrightarrow $ -\end_inset +\begin_inset Formula $\longleftrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longleftrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\updownarrow $ -\end_inset +\begin_inset Formula $\updownarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash updownarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Leftrightarrow $ -\end_inset +\begin_inset Formula $\Leftrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Leftrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Longleftrightarrow $ -\end_inset +\begin_inset Formula $\Longleftrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Longleftrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Updownarrow $ -\end_inset +\begin_inset Formula $\Updownarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Updownarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\mapsto $ -\end_inset +\begin_inset Formula $\mapsto$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mapsto -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\longmapsto $ -\end_inset +\begin_inset Formula $\longmapsto$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash longmapsto -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\nearrow $ -\end_inset +\begin_inset Formula $\nearrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nearrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\hookleftarrow $ -\end_inset +\begin_inset Formula $\hookleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hookleftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\hookrightarrow $ -\end_inset +\begin_inset Formula $\hookrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hookrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\searrow $ -\end_inset +\begin_inset Formula $\searrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash searrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftharpoonup $ -\end_inset +\begin_inset Formula $\leftharpoonup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftharpoonup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightharpoonup $ -\end_inset +\begin_inset Formula $\rightharpoonup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightharpoonup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\swarrow $ -\end_inset +\begin_inset Formula $\swarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash swarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftharpoondown $ -\end_inset +\begin_inset Formula $\leftharpoondown$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftharpoondown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightharpoondown $ -\end_inset +\begin_inset Formula $\rightharpoondown$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightharpoondown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\nwarrow $ -\end_inset +\begin_inset Formula $\nwarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nwarrow -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout +\begin_layout Caption -\end_inset +Arrow symbols +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -Miscellaneous symbols -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - - - + + + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ldots$ +\end_inset -\begin_inset Formula $\ldots $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ldots -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\cdots$ +\end_inset -\begin_inset Formula $\cdots $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash cdots -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vdots$ +\end_inset -\begin_inset Formula $\vdots $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vdots -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ddots$ +\end_inset -\begin_inset Formula $\ddots $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ddots -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\aleph$ +\end_inset -\begin_inset Formula $\aleph $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash aleph -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\prime$ +\end_inset -\begin_inset Formula $\prime $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash prime -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\forall$ +\end_inset -\begin_inset Formula $\forall $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash forall -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\infty$ +\end_inset -\begin_inset Formula $\infty $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash infty -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hbar$ +\end_inset -\begin_inset Formula $\hbar $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hbar -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\emptyset$ +\end_inset -\begin_inset Formula $\emptyset $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash emptyset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\exists$ +\end_inset -\begin_inset Formula $\exists $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash exists -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nabla$ +\end_inset -\begin_inset Formula $\nabla $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nabla -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\surd$ +\end_inset -\begin_inset Formula $\surd $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash surd -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Box$ +\end_inset -\begin_inset Formula $\Box $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Box -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\triangle$ +\end_inset -\begin_inset Formula $\triangle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangle -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Diamond$ +\end_inset -\begin_inset Formula $\Diamond $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Diamond -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\imath$ +\end_inset -\begin_inset Formula $\imath $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash imath -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\jmath$ +\end_inset -\begin_inset Formula $\jmath $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash jmath -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ell$ +\end_inset -\begin_inset Formula $\ell $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ell -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\neg$ +\end_inset -\begin_inset Formula $\neg $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash neg -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\top$ +\end_inset -\begin_inset Formula $\top $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash top -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\flat$ +\end_inset -\begin_inset Formula $\flat $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash flat -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\natural$ +\end_inset -\begin_inset Formula $\natural $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash natural -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sharp$ +\end_inset -\begin_inset Formula $\sharp $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sharp -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\wp$ +\end_inset -\begin_inset Formula $\wp $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash wp -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bot$ +\end_inset -\begin_inset Formula $\bot $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\clubsuit$ +\end_inset -\begin_inset Formula $\clubsuit $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash clubsuit -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\diamondsuit$ +\end_inset -\begin_inset Formula $\diamondsuit $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diamondsuit -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\heartsuit$ +\end_inset -\begin_inset Formula $\heartsuit $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash heartsuit -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\spadesuit$ +\end_inset -\begin_inset Formula $\spadesuit $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash spadesuit -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mho$ +\end_inset -\begin_inset Formula $\mho $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mho -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Re$ +\end_inset -\begin_inset Formula $\Re $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Re -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Im$ +\end_inset -\begin_inset Formula $\Im $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Im -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\angle$ +\end_inset -\begin_inset Formula $\angle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash angle -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\partial$ +\end_inset -\begin_inset Formula $\partial $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash partial -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\end_inset +\begin_layout Caption +Miscellaneous symbols +\end_layout + +\end_inset + + +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -Variable-sized symbols -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - - - + + + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sum $ -\end_inset +\begin_inset Formula $\sum$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sum -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\prod $ -\end_inset +\begin_inset Formula $\prod$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash prod -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\coprod $ -\end_inset +\begin_inset Formula $\coprod$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash coprod -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\int $ -\end_inset +\begin_inset Formula $\int$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash int -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\oint $ -\end_inset +\begin_inset Formula $\oint$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash oint -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigcap $ -\end_inset +\begin_inset Formula $\bigcap$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigcap -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigcup $ -\end_inset +\begin_inset Formula $\bigcup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigcup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigsqcup $ -\end_inset +\begin_inset Formula $\bigsqcup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigsqcup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigvee $ -\end_inset +\begin_inset Formula $\bigvee$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigvee -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigwedge $ -\end_inset +\begin_inset Formula $\bigwedge$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigwedge -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigodot $ -\end_inset +\begin_inset Formula $\bigodot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigodot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigotimes $ -\end_inset +\begin_inset Formula $\bigotimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigotimes -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bigoplus $ -\end_inset +\begin_inset Formula $\bigoplus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigoplus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\biguplus $ -\end_inset +\begin_inset Formula $\biguplus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash biguplus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption + +Variable-sized symbols +\end_layout +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -Log-like symbols -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\arccos$ +\end_inset -\begin_inset Formula $\arccos $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cos $ -\end_inset +\begin_inset Formula $\cos$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\csc$ +\end_inset -\begin_inset Formula $\csc $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\exp $ -\end_inset +\begin_inset Formula $\exp$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ker$ +\end_inset -\begin_inset Formula $\ker $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\limsup $ -\end_inset +\begin_inset Formula $\limsup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\min$ +\end_inset -\begin_inset Formula $\min $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sinh $ -\end_inset +\begin_inset Formula $\sinh$ +\end_inset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\arcsin$ +\end_inset -\begin_inset Formula $\arcsin $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cosh $ -\end_inset +\begin_inset Formula $\cosh$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\deg$ +\end_inset -\begin_inset Formula $\deg $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gcd $ -\end_inset +\begin_inset Formula $\gcd$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lg$ +\end_inset -\begin_inset Formula $\lg $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ln $ -\end_inset +\begin_inset Formula $\ln$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Pr$ +\end_inset -\begin_inset Formula $\Pr $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sup $ -\end_inset +\begin_inset Formula $\sup$ +\end_inset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\arctan$ +\end_inset -\begin_inset Formula $\arctan $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\cot $ -\end_inset +\begin_inset Formula $\cot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\det$ +\end_inset -\begin_inset Formula $\det $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\hom $ -\end_inset +\begin_inset Formula $\hom$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lim$ +\end_inset -\begin_inset Formula $\lim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\log $ -\end_inset +\begin_inset Formula $\log$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sec$ +\end_inset -\begin_inset Formula $\sec $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\tan $ -\end_inset +\begin_inset Formula $\tan$ +\end_inset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\arg$ +\end_inset -\begin_inset Formula $\arg $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\coth $ -\end_inset +\begin_inset Formula $\coth$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\dim$ +\end_inset -\begin_inset Formula $\dim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\inf $ -\end_inset +\begin_inset Formula $\inf$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\liminf$ +\end_inset -\begin_inset Formula $\liminf $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\max $ -\end_inset +\begin_inset Formula $\max$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sin$ +\end_inset -\begin_inset Formula $\sin $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\tanh $ -\end_inset +\begin_inset Formula $\tanh$ +\end_inset -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption + +Log-like symbols +\end_layout +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -Delimiters -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\uparrow $ -\end_inset +\begin_inset Formula $\uparrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash uparrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Uparrow $ -\end_inset +\begin_inset Formula $\Uparrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Uparrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\downarrow $ -\end_inset +\begin_inset Formula $\downarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Downarrow $ -\end_inset +\begin_inset Formula $\Downarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Downarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\{$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash { -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\}$ -\end_inset +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash } -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\updownarrow $ -\end_inset +\begin_inset Formula $\updownarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash updownarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Updownarrow $ -\end_inset +\begin_inset Formula $\Updownarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Updownarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard - - -\begin_inset Formula $\lfloor $ -\end_inset +\begin_layout Standard -\end_inset - - -\begin_inset Text +\begin_inset Formula $\lfloor$ +\end_inset -\layout Standard +\end_layout -\family typewriter - -\backslash -lfloor -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rfloor $ -\end_inset +\family typewriter +\backslash +lfloor +\end_layout -\end_inset - - -\begin_inset Text - -\layout Standard - - -\family typewriter - -\backslash -rfloor -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lceil $ -\end_inset +\begin_inset Formula $\rfloor$ +\end_inset -\end_inset - - -\begin_inset Text - -\layout Standard - +\end_layout -\family typewriter - -\backslash -lceil -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - - -\begin_inset Formula $\rceil $ -\end_inset +\begin_layout Standard -\end_inset - - -\begin_inset Text - -\layout Standard - +\family typewriter -\family typewriter +\backslash +rfloor +\end_layout -\backslash -rceil -\end_inset +\end_inset - - - + \begin_inset Text -\layout Standard - +\begin_layout Standard -\begin_inset Formula $\langle $ -\end_inset - -\end_inset - - -\begin_inset Text - -\layout Standard +\begin_inset Formula $\lceil$ +\end_inset -\family typewriter +\end_layout -\backslash -langle -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - - -\begin_inset Formula $\rangle $ -\end_inset - +\begin_layout Standard -\end_inset - - -\begin_inset Text -\layout Standard +\family typewriter +\backslash +lceil +\end_layout -\family typewriter - -\backslash -rangle -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - - -\begin_inset Formula $/$ -\end_inset +\begin_layout Standard -\end_inset - - -\begin_inset Text +\begin_inset Formula $\rceil$ +\end_inset -\layout Standard +\end_layout -\family typewriter -/ -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - - -\begin_inset Formula $\backslash $ -\end_inset - - -\end_inset - - -\begin_inset Text +\begin_layout Standard -\layout Standard +\family typewriter -\family typewriter +\backslash +rceil +\end_layout -\backslash -backslash -\end_inset +\end_inset - - + + \begin_inset Text -\layout Standard - - -\begin_inset Formula $|$ -\end_inset +\begin_layout Standard -\end_inset - - -\begin_inset Text +\begin_inset Formula $\langle$ +\end_inset -\layout Standard +\end_layout -\family typewriter -| -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\| $ -\end_inset +\family typewriter +\backslash +langle +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\begin_inset Formula $\rangle$ +\end_inset -\backslash -| -\end_inset - - -\begin_inset Text -\layout Standard +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - -\end_inset - - -\begin_inset Text +\begin_layout Standard -\layout Standard -\end_inset - - -\begin_inset Text +\family typewriter -\layout Standard +\backslash +rangle +\end_layout -\end_inset +\end_inset - - - -\end_inset - - -\end_inset - - -\layout Standard - - -\begin_inset Float table -placement htbp -wide false -collapsed true - -\layout Caption - -Large delimiters -\layout Standard - - -\begin_inset Tabular - - - - - - - - - - - - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $/$ +\end_inset -\begin_inset Formula $\rmoustache $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter +/ +\end_layout -\backslash -rmoustache -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - - -\begin_inset Formula $\lmoustache $ -\end_inset +\begin_layout Standard -\end_inset - - -\begin_inset Text +\begin_inset Formula $\backslash$ +\end_inset -\layout Standard +\end_layout -\family typewriter - -\backslash -lmoustache -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rgroup $ -\end_inset +\family typewriter +\backslash +backslash +\end_layout -\end_inset +\end_inset - + + + \begin_inset Text -\layout Standard - - -\family typewriter - -\backslash -rgroup -\end_inset - - -\begin_inset Text +\begin_layout Standard -\layout Standard +\begin_inset Formula $|$ +\end_inset -\begin_inset Formula $\lgroup $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter +| +\end_layout -\backslash -lgroup -\end_inset +\end_inset - - - + \begin_inset Text -\layout Standard - - -\begin_inset Formula $\arrowvert $ -\end_inset - +\begin_layout Standard -\end_inset - - -\begin_inset Text -\layout Standard +\begin_inset Formula $\|$ +\end_inset -\family typewriter +\end_layout -\backslash -arrowvert -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Arrowvert $ -\end_inset +\family typewriter +\backslash +| +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - +\begin_layout Standard -\family typewriter +\end_layout -\backslash -Arrowvert -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard +\end_layout -\begin_inset Formula $\bracevert $ -\end_inset - - -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard +\end_layout -\family typewriter - -\backslash -bracevert -\end_inset +\end_inset - + \begin_inset Text -\layout Standard - -\end_inset - - -\begin_inset Text +\begin_layout Standard -\layout Standard +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset + + +\end_layout +\begin_layout Caption -\end_inset +Delimiters +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -LaTeX math constructs -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\widetilde{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash widetilde{abc} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\widehat{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash widehat{abc} -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overleftarrow{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overleftarrow{abc} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overrightarrow{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overrightarrow{abc} -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overline{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overline{abc} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\underline{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash underline{abc} -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\overbrace{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash overbrace{abc} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\underbrace{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash underbrace{abc} -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\sqrt{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqrt{abc} -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\sqrt[n]{abc}\sqrt[3]{abc}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqrt[n]{abc} -\backslash +\backslash root3{abc} -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $f'$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter f' -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard \begin_inset Formula $\frac{abc}{xyz}$ -\end_inset +\end_inset + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash frac{abc}{xyz} -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset -\end_inset +\end_layout +\begin_layout Caption -\layout Standard +LaTeX math constructs +\end_layout +\end_inset -\begin_inset Note -collapsed false -\layout Standard +\end_layout -If the floats in this note are taken out of it, then you'll get LaTeX errors - when trying to print the document. - If the -\emph on -contents -\emph default - of the floats below are taken out, all is fine. - I conclude, therefore, that the problem lies with this many floats not - the contents. -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -AMS Greek and Hebrew -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - - - + + + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\digamma $ -\end_inset +\begin_inset Formula $\digamma$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash digamma -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varkappa $ -\end_inset +\begin_inset Formula $\varkappa$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varkappa -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\beth $ -\end_inset +\begin_inset Formula $\beth$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash beth -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\daleth $ -\end_inset +\begin_inset Formula $\daleth$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash daleth -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gimel $ -\end_inset +\begin_inset Formula $\gimel$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gimel -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout +\begin_layout Caption -\end_inset +AMS Greek and Hebrew +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -AMS delimiters -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - - - + + + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ulcorner$ +\end_inset -\begin_inset Formula $\ulcorner $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ulcorner -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\urcorner$ +\end_inset -\begin_inset Formula $\urcorner $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash urcorner -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\llcorner$ +\end_inset -\begin_inset Formula $\llcorner $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash llcorner -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lrcorner$ +\end_inset -\begin_inset Formula $\lrcorner $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lrcorner -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption +AMS delimiters +\end_layout + +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -AMS arrows -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dashrightarrow $ -\end_inset +\begin_inset Formula $\dashrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dashrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dashleftarrow $ -\end_inset +\begin_inset Formula $\dashleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dashleftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftleftarrows $ -\end_inset +\begin_inset Formula $\leftleftarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftleftarrows -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftrightarrows $ -\end_inset +\begin_inset Formula $\leftrightarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightarrows -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Lleftarrow $ -\end_inset +\begin_inset Formula $\Lleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Lleftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\twoheadleftarrow $ -\end_inset +\begin_inset Formula $\twoheadleftarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash twoheadleftarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftarrowall $ -\end_inset +\begin_inset Formula $\leftarrowtail$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\family typewriter -\family typewriter +\backslash +leftarrowtail +\end_layout -\backslash -leftarrowall -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\looparrowleft $ -\end_inset +\begin_inset Formula $\looparrowleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash looparrowleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftrightharpoons $ -\end_inset +\begin_inset Formula $\leftrightharpoons$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightharpoons -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curvearrowleft $ -\end_inset +\begin_inset Formula $\curvearrowleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curvearrowleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circlearrowleft $ -\end_inset +\begin_inset Formula $\circlearrowleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circlearrowleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Lsh $ -\end_inset +\begin_inset Formula $\Lsh$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Lsh -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\upuparrows $ -\end_inset +\begin_inset Formula $\upuparrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upuparrows -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\upharpoonleft $ -\end_inset +\begin_inset Formula $\upharpoonleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upharpoonleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\downharpoonleft $ -\end_inset +\begin_inset Formula $\downharpoonleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downharpoonleft -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\multimap $ -\end_inset +\begin_inset Formula $\multimap$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash multimap -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftrightsquigarrow $ -\end_inset +\begin_inset Formula $\leftrightsquigarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftrightsquigarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightrightarrows $ -\end_inset +\begin_inset Formula $\rightrightarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightrightarrows -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightleftarrows $ -\end_inset +\begin_inset Formula $\rightleftarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightleftarrows -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightrightarrows $ -\end_inset +\begin_inset Formula $\rightrightarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightrightarrows -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightleftarrows $ -\end_inset +\begin_inset Formula $\rightleftarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightleftarrows -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\twoheadrightarrow $ -\end_inset +\begin_inset Formula $\twoheadrightarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash twoheadrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightarrowtail $ -\end_inset +\begin_inset Formula $\rightarrowtail$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightarrowtail -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\looparrowright $ -\end_inset +\begin_inset Formula $\looparrowright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash looparrowright -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightleftharpoons $ -\end_inset +\begin_inset Formula $\rightleftharpoons$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightleftharpoons -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curvearrowright $ -\end_inset +\begin_inset Formula $\curvearrowright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curvearrowright -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circlearrowright $ -\end_inset +\begin_inset Formula $\circlearrowright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circlearrowright -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Rsh $ -\end_inset +\begin_inset Formula $\Rsh$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Rsh -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\downdownarrows $ -\end_inset +\begin_inset Formula $\downdownarrows$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downdownarrows -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\upharpoonright $ -\end_inset +\begin_inset Formula $\upharpoonright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash upharpoonright -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\downharpoonright $ -\end_inset +\begin_inset Formula $\downharpoonright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash downharpoonright -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightsquigarrow $ -\end_inset +\begin_inset Formula $\rightsquigarrow$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightsquigarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset + + +\end_layout +\begin_layout Caption -\end_inset +AMS arrows +\end_layout + +\end_inset -\layout Standard +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -AMS negated arrows -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleftarrow$ +\end_inset -\begin_inset Formula $\nleftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleftarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nrightarrow$ +\end_inset -\begin_inset Formula $\nrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nLeftarrow$ +\end_inset -\begin_inset Formula $\nLeftarrow $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nLeftarrow -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nRightarrow$ +\end_inset -\begin_inset Formula $\nRightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nRightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleftrightarrow$ +\end_inset -\begin_inset Formula $\nleftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleftrightarrow -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nLeftrightarrow$ +\end_inset -\begin_inset Formula $\nLeftrightarrow $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nLeftrightarrow -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption +AMS negated arrows +\end_layout + +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -AMS binary relations -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leqq $ -\end_inset +\begin_inset Formula $\leqq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leqslant $ -\end_inset +\begin_inset Formula $\leqslant$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leqslant -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\eqslantless $ -\end_inset +\begin_inset Formula $\eqslantless$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eqslantless -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lesssim $ -\end_inset +\begin_inset Formula $\lesssim$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lesssim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lessapprox $ -\end_inset +\begin_inset Formula $\lessapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lessapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\approxeq $ -\end_inset +\begin_inset Formula $\approxeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash approxeq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lessdot $ -\end_inset +\begin_inset Formula $\lessdot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lessdot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lll $ -\end_inset +\begin_inset Formula $\lll$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lll -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lessgtr $ -\end_inset +\begin_inset Formula $\lessgtr$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lessgtr -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lesseqgtr $ -\end_inset +\begin_inset Formula $\lesseqgtr$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lesseqgtr -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\lesseqqgtr $ -\end_inset +\begin_inset Formula $\lesseqqgtr$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lesseqqgtr -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\doteqdot $ -\end_inset +\begin_inset Formula $\doteqdot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash doteqdot -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\risingdotseq $ -\end_inset +\begin_inset Formula $\risingdotseq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash risingdotseq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\fallingdotseq $ -\end_inset +\begin_inset Formula $\fallingdotseq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash fallingdotseq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\backsim $ -\end_inset +\begin_inset Formula $\backsim$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backsim -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\backsimeq $ -\end_inset +\begin_inset Formula $\backsimeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backsimeq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\subseteqq $ -\end_inset +\begin_inset Formula $\subseteqq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subseteqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Subset $ -\end_inset +\begin_inset Formula $\Subset$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Subset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsubset $ -\end_inset +\begin_inset Formula $\sqsubset$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsubset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\preccurlyeq $ -\end_inset +\begin_inset Formula $\preccurlyeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash preccurlyeq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlyeqprec $ -\end_inset +\begin_inset Formula $\curlyeqprec$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlyeqprec -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\precsim $ -\end_inset +\begin_inset Formula $\precsim$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precsim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\precapprox $ -\end_inset +\begin_inset Formula $\precapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vartriangleleft $ -\end_inset +\begin_inset Formula $\vartriangleleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartriangleleft -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\trianglelefteq $ -\end_inset +\begin_inset Formula $\trianglelefteq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash trianglelefteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vDash $ -\end_inset +\begin_inset Formula $\vDash$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vDash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Vvdash $ -\end_inset +\begin_inset Formula $\Vvdash$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Vvdash -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\smallsmile $ -\end_inset +\begin_inset Formula $\smallsmile$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smallsmile -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\smallfrown $ -\end_inset +\begin_inset Formula $\smallfrown$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smallfrown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\bumpeq $ -\end_inset +\begin_inset Formula $\bumpeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bumpeq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Bumpeq $ -\end_inset +\begin_inset Formula $\Bumpeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Bumpeq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\geqq $ -\end_inset +\begin_inset Formula $\geqq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash geqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\geqslant $ -\end_inset +\begin_inset Formula $\geqslant$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash geqslant -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\eqslantgtr $ -\end_inset +\begin_inset Formula $\eqslantgtr$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eqslantgtr -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtrsim $ -\end_inset +\begin_inset Formula $\gtrsim$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrsim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtrapprox $ -\end_inset +\begin_inset Formula $\gtrapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrapprox -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtrdot $ -\end_inset +\begin_inset Formula $\gtrdot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrdot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ggg $ -\end_inset +\begin_inset Formula $\ggg$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ggg -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtrless $ -\end_inset +\begin_inset Formula $\gtrless$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtrless -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtreqless $ -\end_inset +\begin_inset Formula $\gtreqless$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtreqless -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\gtreqqless $ -\end_inset +\begin_inset Formula $\gtreqqless$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gtreqqless -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\eqcirc $ -\end_inset +\begin_inset Formula $\eqcirc$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eqcirc -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circeq $ -\end_inset +\begin_inset Formula $\circeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circeq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\triangleq $ -\end_inset +\begin_inset Formula $\triangleq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangleq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\thicksim $ -\end_inset +\begin_inset Formula $\thicksim$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash thicksim -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\thickapprox $ -\end_inset +\begin_inset Formula $\thickapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash thickapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\supseteqq $ -\end_inset +\begin_inset Formula $\supseteqq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supseteqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Supset $ -\end_inset +\begin_inset Formula $\Supset$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Supset -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\sqsupset $ -\end_inset +\begin_inset Formula $\sqsupset$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sqsupset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succcurlyeq $ -\end_inset +\begin_inset Formula $\succcurlyeq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succcurlyeq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlyeqsucc $ -\end_inset +\begin_inset Formula $\curlyeqsucc$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlyeqsucc -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succsim $ -\end_inset +\begin_inset Formula $\succsim$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succsim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\succapprox $ -\end_inset +\begin_inset Formula $\succapprox$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\vartriangleright $ -\end_inset +\begin_inset Formula $\vartriangleright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartriangleright -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\trianglerighteq $ -\end_inset +\begin_inset Formula $\trianglerighteq$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash trianglerighteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Vdash $ -\end_inset +\begin_inset Formula $\Vdash$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Vdash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\shortmid $ -\end_inset +\begin_inset Formula $\shortmid$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash shortmid -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\shortparallel $ -\end_inset +\begin_inset Formula $\shortparallel$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash shortparallel -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\between $ -\end_inset +\begin_inset Formula $\between$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash between -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\pitchfork $ -\end_inset +\begin_inset Formula $\pitchfork$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash pitchfork -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\varpropto $ -\end_inset +\begin_inset Formula $\varpropto$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varpropto -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\blacktriangleleft $ -\end_inset +\begin_inset Formula $\blacktriangleleft$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangleleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\therefore $ -\end_inset +\begin_inset Formula $\therefore$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash therefore -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\backepsilon $ -\end_inset +\begin_inset Formula $\backepsilon$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backepsilon -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\blacktriangleright $ -\end_inset +\begin_inset Formula $\blacktriangleright$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangleright -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\because $ -\end_inset +\begin_inset Formula $\because$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash because -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption + +AMS binary relations +\end_layout +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -AMS negated binary relations -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nless$ +\end_inset -\begin_inset Formula $\nless $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nless -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleq$ +\end_inset -\begin_inset Formula $\nleq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleqslant$ +\end_inset -\begin_inset Formula $\nleqslant $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleqslant -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nleqq$ +\end_inset -\begin_inset Formula $\nleqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nleqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lneq$ +\end_inset -\begin_inset Formula $\lneq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lneq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lneqq$ +\end_inset -\begin_inset Formula $\lneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lneqq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lvertneqq$ +\end_inset -\begin_inset Formula $\lvertneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lvertneqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lnsim$ +\end_inset -\begin_inset Formula $\lnsim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lnsim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lnapprox$ +\end_inset -\begin_inset Formula $\lnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lnapprox -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nprec$ +\end_inset -\begin_inset Formula $\nprec $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nprec -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\npreceq$ +\end_inset -\begin_inset Formula $\npreceq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash npreceq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\precnsim$ +\end_inset -\begin_inset Formula $\precnsim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precnsim -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\precnapprox$ +\end_inset -\begin_inset Formula $\precnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash precnapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsim$ +\end_inset -\begin_inset Formula $\nsim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nshortmid$ +\end_inset -\begin_inset Formula $\nshortmid $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nshortmid -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nmid$ +\end_inset -\begin_inset Formula $\nmid $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nmid -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nvdash$ +\end_inset -\begin_inset Formula $\nvdash $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nvdash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nvDash$ +\end_inset -\begin_inset Formula $\nvDash $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nvDash -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntriangleleft$ +\end_inset -\begin_inset Formula $\ntriangleleft $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntriangleleft -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntrianglelefteq$ +\end_inset -\begin_inset Formula $\ntrianglelefteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntrianglelefteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsubseteq$ +\end_inset -\begin_inset Formula $\nsubseteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsubseteq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\subsetneq$ +\end_inset -\begin_inset Formula $\subsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subsetneq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsubsetneq$ +\end_inset -\begin_inset Formula $\varsubsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsubsetneq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\subsetneqq$ +\end_inset -\begin_inset Formula $\subsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash subsetneqq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsubsetneqq$ +\end_inset -\begin_inset Formula $\varsubsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsubsetneqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngtr$ +\end_inset -\begin_inset Formula $\ngtr $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngtr -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngeq$ +\end_inset -\begin_inset Formula $\ngeq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngeq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngeqslant$ +\end_inset -\begin_inset Formula $\ngeqslant $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngeqslant -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ngeqq$ +\end_inset -\begin_inset Formula $\ngeqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ngeqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gneq$ +\end_inset -\begin_inset Formula $\gneq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gneq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gneqq$ +\end_inset -\begin_inset Formula $\gneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gneqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gvertneqq$ +\end_inset -\begin_inset Formula $\gvertneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gvertneqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gnsim$ +\end_inset -\begin_inset Formula $\gnsim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gnsim -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\gnapprox$ +\end_inset -\begin_inset Formula $\gnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash gnapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsucc$ +\end_inset -\begin_inset Formula $\nsucc $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsucc -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsucceq$ +\end_inset -\begin_inset Formula $\nsucceq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsucceq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\succnsim$ +\end_inset -\begin_inset Formula $\succnsim $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succnsim -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\succnapprox$ +\end_inset -\begin_inset Formula $\succnapprox $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash succnapprox -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ncong$ +\end_inset -\begin_inset Formula $\ncong $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ncong -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nshortparallel$ +\end_inset -\begin_inset Formula $\nshortparallel $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nshortparallel -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nparallel$ +\end_inset -\begin_inset Formula $\nparallel $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nparallel -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nvDash$ +\end_inset -\begin_inset Formula $\nvDash $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nvDash -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nVDash$ +\end_inset -\begin_inset Formula $\nVDash $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nVDash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntriangleright$ +\end_inset -\begin_inset Formula $\ntriangleright $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntriangleright -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\ntrianglerighteq$ +\end_inset -\begin_inset Formula $\ntrianglerighteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ntrianglerighteq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsupseteq$ +\end_inset -\begin_inset Formula $\nsupseteq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsupseteq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nsupseteqq$ +\end_inset -\begin_inset Formula $\nsupseteqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nsupseteqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\supsetneq$ +\end_inset -\begin_inset Formula $\supsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supsetneq -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsupsetneq$ +\end_inset -\begin_inset Formula $\varsupsetneq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsupsetneq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\supsetneqq$ +\end_inset -\begin_inset Formula $\supsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash supsetneqq -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varsupsetneqq$ +\end_inset -\begin_inset Formula $\varsupsetneqq $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varsupsetneqq -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + + +\end_layout + +\begin_layout Caption +AMS negated binary relations +\end_layout + +\end_inset -\end_inset +\end_layout -\layout Standard +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true +sideways false +status open -\layout Caption - -AMS binary operators -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\dotplus $ -\end_inset +\begin_inset Formula $\dotplus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash dotplus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\smallsetminus $ -\end_inset +\begin_inset Formula $\smallsetminus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash smallsetminus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Cap $ -\end_inset +\begin_inset Formula $\Cap$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Cap -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\Cup $ -\end_inset +\begin_inset Formula $\Cup$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Cup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\barwedge $ -\end_inset +\begin_inset Formula $\barwedge$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash barwedge -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\veebar $ -\end_inset +\begin_inset Formula $\veebar$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash veebar -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\doublebarwedge $ -\end_inset +\begin_inset Formula $\doublebarwedge$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash doublebarwedge -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxminus $ -\end_inset +\begin_inset Formula $\boxminus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxminus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxtimes $ -\end_inset +\begin_inset Formula $\boxtimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxtimes -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxdot $ -\end_inset +\begin_inset Formula $\boxdot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxdot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\boxplus $ -\end_inset +\begin_inset Formula $\boxplus$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash boxplus -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\divideontimes $ -\end_inset +\begin_inset Formula $\divideontimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash divideontimes -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\ltimes $ -\end_inset +\begin_inset Formula $\ltimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash ltimes -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rtimes $ -\end_inset +\begin_inset Formula $\rtimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rtimes -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\leftthreetimes $ -\end_inset +\begin_inset Formula $\leftthreetimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash leftthreetimes -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\rightthreetimes $ -\end_inset +\begin_inset Formula $\rightthreetimes$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash rightthreetimes -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlywedge $ -\end_inset +\begin_inset Formula $\curlywedge$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlywedge -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\curlyvee $ -\end_inset +\begin_inset Formula $\curlyvee$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash curlyvee -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circleddash $ -\end_inset +\begin_inset Formula $\circleddash$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circleddash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circledast $ -\end_inset +\begin_inset Formula $\circledast$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circledast -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\circledcirc $ -\end_inset +\begin_inset Formula $\circledcirc$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circledcirc -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\centerdot $ -\end_inset +\begin_inset Formula $\centerdot$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash centerdot -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\begin_inset Formula $\intercal $ -\end_inset +\begin_inset Formula $\intercal$ +\end_inset -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash intercal -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset -\end_inset +\end_inset -\end_inset +\end_layout +\begin_layout Caption -\layout Standard +AMS binary operators +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard \begin_inset Float table -placement htbp +placement H wide false -collapsed true - -\layout Caption +sideways false +status open -AMS miscellaneous -\layout Standard +\begin_layout Standard \begin_inset Tabular - - - - - - - - - - + + + + + + + + + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hbar$ +\end_inset -\begin_inset Formula $\hbar $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hbar -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\hslash$ +\end_inset -\begin_inset Formula $\hslash $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash hslash -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\vartriangle$ +\end_inset -\begin_inset Formula $\vartriangle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash vartriangle -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\triangledown$ +\end_inset -\begin_inset Formula $\triangledown $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash triangledown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\square$ +\end_inset -\begin_inset Formula $\square $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash square -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\lozenge$ +\end_inset -\begin_inset Formula $\lozenge $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash lozenge -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\circledS$ +\end_inset -\begin_inset Formula $\circledS $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash circledS -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\angle$ +\end_inset -\begin_inset Formula $\angle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash angle -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\measuredangle$ +\end_inset -\begin_inset Formula $\measuredangle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash measuredangle -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\nexists$ +\end_inset -\begin_inset Formula $\nexists $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash nexists -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\mho$ +\end_inset -\begin_inset Formula $\mho $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash mho -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Finv$ +\end_inset -\begin_inset Formula $\Finv $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Finv -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Game$ +\end_inset -\begin_inset Formula $\Game $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Game -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\Bbbk$ +\end_inset -\begin_inset Formula $\Bbbk $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash Bbbk -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\backprime$ +\end_inset -\begin_inset Formula $\backprime $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash backprime -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\varnothing$ +\end_inset -\begin_inset Formula $\varnothing $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash varnothing -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacktriangle$ +\end_inset -\begin_inset Formula $\blacktriangle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangle -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacktriangledown$ +\end_inset -\begin_inset Formula $\blacktriangledown $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacktriangledown -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacksquare$ +\end_inset -\begin_inset Formula $\blacksquare $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacksquare -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\blacklozenge$ +\end_inset -\begin_inset Formula $\blacklozenge $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash blacklozenge -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\bigstar$ +\end_inset -\begin_inset Formula $\bigstar $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash bigstar -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\sphericalangle$ +\end_inset -\begin_inset Formula $\sphericalangle $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash sphericalangle -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\complement$ +\end_inset -\begin_inset Formula $\complement $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash complement -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\eth$ +\end_inset -\begin_inset Formula $\eth $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash eth -\end_inset +\end_layout + +\end_inset - - + + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\diagup$ +\end_inset -\begin_inset Formula $\diagup $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diagup -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\begin_inset Formula $\diagdown$ +\end_inset -\begin_inset Formula $\diagdown $ -\end_inset +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\family typewriter +\family typewriter -\backslash +\backslash diagdown -\end_inset +\end_layout + +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard + +\end_layout -\end_inset +\end_inset - + \begin_inset Text -\layout Standard +\begin_layout Standard -\end_inset +\end_layout + +\end_inset -\end_inset +\end_inset + +\end_layout -\end_inset +\begin_layout Caption + +AMS miscellaneous +\end_layout +\end_inset -\end_inset +\end_layout -\the_end +\end_body +\end_document