X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Fexamples%2Fmathed.lyx;h=53f441cef7d3b00f66539e689c40292f0e935e5c;hb=e9d9f2e27bf7d8174022a8c9fffc94c981ab7c0f;hp=c36ab5084691d330c4ec501b32073acc4ae98354;hpb=8a8724129a281cc168006a6ef79b975f3df6851a;p=lyx.git
diff --git a/lib/examples/mathed.lyx b/lib/examples/mathed.lyx
index c36ab50846..53f441cef7 100644
--- a/lib/examples/mathed.lyx
+++ b/lib/examples/mathed.lyx
@@ -1,46 +1,58 @@
-#LyX 1.3 created this file. For more info see http://www.lyx.org/
-\lyxformat 221
+#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
+
+\begin_layout Section
Converting to and from mathed
-\layout Standard
+\end_layout
+
+\begin_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 ~
+\family sans
+M-c\InsetSpace ~
m
-\family default
+\family default
.
The text can be bounded with delimiters or not.
That is, highlighting any of the formulae below:
-\layout Standard
-\align center
+\end_layout
+
+\begin_layout Standard
+\align center
\begin_inset Tabular
@@ -50,175 +62,212 @@ m
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\backslash
+\backslash
begin{math}
-\backslash
+\backslash
frac{abc}{xyz}
-\backslash
+\backslash
end{math}
-\end_inset
+\end_layout
+
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\backslash
+\backslash
(
-\backslash
+\backslash
frac{abc}{xyz}
-\backslash
+\backslash
)
-\end_inset
+\end_layout
+
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
$
-\backslash
+\backslash
frac{abc}{xyz} $
-\end_inset
+\end_layout
+
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\backslash
+\backslash
begin{displaymath}
-\backslash
+\backslash
frac{abc}{xyz}
-\backslash
+\backslash
end{displaymath}
-\end_inset
+\end_layout
+
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\backslash
+\backslash
[
-\backslash
+\backslash
frac{abc}{xyz}
-\backslash
+\backslash
]
-\end_inset
+\end_layout
+
+\end_inset
|
-\end_inset
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
will convert it to:
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Formula \begin{equation}
\frac{abc}{xyz}\end{equation}
-\end_inset
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_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
+\end_inset
fudge
\begin_inset Quotes erd
-\end_inset
+\end_inset
however.
Highlight the contents of a math inset (not the math inset itself, just
the contents), but do
-\emph on
+\emph on
not
-\emph default
+\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
+\end_layout
+
+\begin_layout Section
Displaying LaTeX symbols
-\layout Standard
+\end_layout
+
+\begin_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
+\emph on
all
-\emph default
+\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 Section
+\end_layout
+
+\begin_layout Section
Some example math tables
-\layout Standard
+\end_layout
+
+\begin_layout Standard
The following tables from Goossen et al.'s
\begin_inset Quotes eld
-\end_inset
+\end_inset
The LaTeX companion
\begin_inset Quotes erd
-\end_inset
+\end_inset
should appear on the screen in all their glory.
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset ERT
-status Collapsed
+status collapsed
-\layout Standard
+\begin_layout Standard
-\backslash
+\backslash
setcounter{table}{1}
-\layout Standard
+\end_layout
-\backslash
+\begin_layout Standard
+
+\end_layout
+
+\begin_layout Standard
+
+\backslash
renewcommand{
-\backslash
+\backslash
thetable}{8.
-\backslash
+\backslash
arabic{table}}
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -238,286 +287,333 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
\begin_inset Formula $\hat{a}$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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
-\layout Caption
+\begin_layout Caption
Math mode accents
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\layout Standard
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -535,1066 +631,1249 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\alpha$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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_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
\begin_inset Formula $\Gamma$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
+
+\end_layout
-\end_inset
+\end_inset
|
-\end_inset
+\end_inset
-\layout Caption
+\end_layout
+
+\begin_layout Caption
Greek letters
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -1612,904 +1891,1055 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\pm$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\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 $\oplus$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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_layout
-\layout Caption
+\begin_layout Caption
Binary operation symbols
-\end_inset
+\end_layout
+\end_inset
-\layout Standard
+
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -2529,994 +2959,1161 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\leq$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\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 $\supset$
-\end_inset
+\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 $\approx$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\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 $\sqsupset$
-\end_inset
+\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 $\neq$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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
+\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 $\dashv$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\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_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
>
-\end_inset
+\end_layout
+
+\end_inset
|
-\end_inset
+\end_inset
-\layout Caption
+\end_layout
+
+\begin_layout Caption
Relation symbols
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -3532,762 +4129,889 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\leftarrow$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
-\layout Caption
+\begin_layout Caption
Arrow symbols
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\layout Standard
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -4307,876 +5031,1023 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\ldots$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\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 $\imath$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
+\end_inset
-\end_inset
+\end_layout
+
+\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
-\layout Caption
+\end_layout
+
+\begin_layout Caption
Miscellaneous symbols
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -5196,378 +6067,445 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\sum$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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_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
-\layout Caption
+\begin_layout Caption
Variable-sized symbols
-\end_inset
+\end_layout
+\end_inset
-\layout Standard
+
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -5585,414 +6523,485 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\arccos$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\cos$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\csc$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\exp$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\ker$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\limsup$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\min$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\sinh$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\arcsin$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\cosh$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\deg$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\gcd$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\lg$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\ln$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\Pr$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\sup$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\arctan$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\cot$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\det$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\hom$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\lim$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\log$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\sec$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\tan$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\arg$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\coth$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\dim$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\inf$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\liminf$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\max$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\sin$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\tanh$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\end_inset
|
-\end_inset
+\end_inset
-\layout Caption
+\end_layout
+
+\begin_layout Caption
Log-like symbols
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -6010,488 +7019,575 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\uparrow$
-\end_inset
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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_layout
-\end_inset
+\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_layout
-\end_inset
+\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
+\end_inset
+
+\end_layout
-\end_inset
+\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
+\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 $\lfloor$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
lfloor
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\rfloor$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
rfloor
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\lceil$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
lceil
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\rceil$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
rceil
-\end_inset
+\end_layout
+
+\end_inset
|
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\langle$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
langle
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\rangle$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
rangle
-\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
/
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\backslash$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\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
|
-\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
-\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
|
-\end_inset
+\end_inset
-\layout Caption
+\end_layout
+
+\begin_layout Caption
Delimiters
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -6505,322 +7601,377 @@ collapsed false
\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_layout
-\layout Caption
+\begin_layout Caption
LaTeX math constructs
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\layout Standard
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -6840,144 +7991,171 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\digamma$
-\end_inset
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\end_layout
+
+\begin_layout Caption
AMS Greek and Hebrew
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -6995,120 +8173,143 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\ulcorner$
-\end_inset
+\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
+\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
+\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
+\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
-\layout Caption
+\begin_layout Caption
AMS delimiters
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\layout Standard
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -7124,826 +8325,965 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\dashrightarrow$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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 $\leftarrowtail$
-\end_inset
+\end_inset
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
-\family typewriter
+\family typewriter
-\backslash
+\backslash
leftarrowtail
-\end_inset
+\end_layout
+
+\end_inset
|
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\looparrowleft$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\end_layout
+
+\begin_layout Caption
AMS arrows
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -7959,170 +9299,201 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\nleftarrow$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\begin_layout Caption
AMS negated arrows
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\layout Standard
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -8138,1650 +9509,1921 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\leqq$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\end_layout
+
+\begin_layout Caption
AMS binary relations
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -9797,1280 +11439,1491 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\nless$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\begin_layout Caption
AMS negated binary relations
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\layout Standard
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -11086,604 +12939,707 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\dotplus$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\end_layout
+
+\begin_layout Caption
AMS binary operators
-\end_inset
+\end_layout
+
+\end_inset
-\layout Standard
+\end_layout
+
+\begin_layout Standard
\begin_inset Float table
placement H
wide false
-collapsed false
+sideways false
+status open
-\layout Standard
+\begin_layout Standard
\begin_inset Tabular
@@ -11699,667 +13655,782 @@ collapsed false
\begin_inset Text
-\layout Standard
+\begin_layout Standard
\begin_inset Formula $\hbar$
-\end_inset
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
+\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
-\layout Caption
+\begin_layout Caption
AMS miscellaneous
-\end_inset
+\end_layout
+
+\end_inset
+
+\end_layout
-\the_end
+\end_body
+\end_document