2019-04-07 19:09:56 +00:00
|
|
|
#LyX 2.4 created this file. For more info see https://www.lyx.org/
|
|
|
|
\lyxformat 572
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_document
|
|
|
|
\begin_header
|
2019-04-07 19:09:56 +00:00
|
|
|
\save_transient_properties true
|
|
|
|
\origin unavailable
|
2015-12-18 06:56:20 +00:00
|
|
|
\textclass amsart
|
2019-04-07 19:09:56 +00:00
|
|
|
\use_default_options false
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_modules
|
|
|
|
theorems-ams
|
2019-04-07 19:09:56 +00:00
|
|
|
eqs-within-sections
|
|
|
|
figs-within-sections
|
2015-12-18 06:56:20 +00:00
|
|
|
\end_modules
|
2019-04-07 19:09:56 +00:00
|
|
|
\maintain_unincluded_children false
|
2015-12-18 06:56:20 +00:00
|
|
|
\language english
|
2019-04-07 19:09:56 +00:00
|
|
|
\language_package default
|
2015-12-18 06:56:20 +00:00
|
|
|
\inputencoding auto
|
2019-04-07 19:09:56 +00:00
|
|
|
\fontencoding auto
|
|
|
|
\font_roman "default" "default"
|
|
|
|
\font_sans "default" "default"
|
|
|
|
\font_typewriter "default" "default"
|
|
|
|
\font_math "auto" "auto"
|
2015-12-18 06:56:20 +00:00
|
|
|
\font_default_family default
|
2019-04-07 19:09:56 +00:00
|
|
|
\use_non_tex_fonts false
|
2015-12-18 06:56:20 +00:00
|
|
|
\font_sc false
|
|
|
|
\font_osf false
|
2019-04-07 19:09:56 +00:00
|
|
|
\font_sf_scale 100 100
|
|
|
|
\font_tt_scale 100 100
|
|
|
|
\use_microtype false
|
|
|
|
\use_dash_ligatures true
|
2015-12-18 06:56:20 +00:00
|
|
|
\graphics default
|
2019-04-07 19:09:56 +00:00
|
|
|
\default_output_format default
|
|
|
|
\output_sync 0
|
|
|
|
\bibtex_command default
|
|
|
|
\index_command default
|
2015-12-18 06:56:20 +00:00
|
|
|
\paperfontsize default
|
|
|
|
\spacing single
|
|
|
|
\use_hyperref false
|
|
|
|
\papersize default
|
|
|
|
\use_geometry false
|
2019-04-07 19:09:56 +00:00
|
|
|
\use_package amsmath 1
|
|
|
|
\use_package amssymb 1
|
|
|
|
\use_package cancel 1
|
|
|
|
\use_package esint 1
|
|
|
|
\use_package mathdots 0
|
|
|
|
\use_package mathtools 1
|
|
|
|
\use_package mhchem 1
|
|
|
|
\use_package stackrel 1
|
|
|
|
\use_package stmaryrd 1
|
|
|
|
\use_package undertilde 1
|
2015-12-18 06:56:20 +00:00
|
|
|
\cite_engine basic
|
2019-04-07 19:09:56 +00:00
|
|
|
\cite_engine_type default
|
|
|
|
\biblio_style plain
|
2015-12-18 06:56:20 +00:00
|
|
|
\use_bibtopic false
|
2019-04-07 19:09:56 +00:00
|
|
|
\use_indices false
|
2015-12-18 06:56:20 +00:00
|
|
|
\paperorientation portrait
|
2019-04-07 19:09:56 +00:00
|
|
|
\suppress_date false
|
|
|
|
\justification true
|
|
|
|
\use_refstyle 0
|
|
|
|
\use_minted 0
|
2015-12-18 06:56:20 +00:00
|
|
|
\branch Branch1
|
|
|
|
\selected 1
|
2019-04-07 19:09:56 +00:00
|
|
|
\filename_suffix 0
|
2015-12-18 06:56:20 +00:00
|
|
|
\color #fa8a00
|
|
|
|
\end_branch
|
|
|
|
\branch Branch2
|
|
|
|
\selected 0
|
2019-04-07 19:09:56 +00:00
|
|
|
\filename_suffix 0
|
2015-12-18 06:56:20 +00:00
|
|
|
\color #00fabc
|
|
|
|
\end_branch
|
2019-04-07 19:09:56 +00:00
|
|
|
\index Index
|
|
|
|
\shortcut idx
|
|
|
|
\color #008000
|
|
|
|
\end_index
|
2015-12-18 06:56:20 +00:00
|
|
|
\secnumdepth 3
|
|
|
|
\tocdepth 3
|
|
|
|
\paragraph_separation indent
|
2019-04-07 19:09:56 +00:00
|
|
|
\paragraph_indentation default
|
|
|
|
\is_math_indent 0
|
|
|
|
\math_numbering_side default
|
|
|
|
\quotes_style english
|
|
|
|
\dynamic_quotes 0
|
2015-12-18 06:56:20 +00:00
|
|
|
\papercolumns 1
|
|
|
|
\papersides 1
|
|
|
|
\paperpagestyle default
|
2019-04-07 19:09:56 +00:00
|
|
|
\tablestyle default
|
2015-12-18 06:56:20 +00:00
|
|
|
\tracking_changes false
|
|
|
|
\output_changes false
|
2019-04-07 19:09:56 +00:00
|
|
|
\html_math_output 0
|
|
|
|
\html_css_as_file 0
|
|
|
|
\html_be_strict false
|
2015-12-18 06:56:20 +00:00
|
|
|
\end_header
|
|
|
|
|
|
|
|
\begin_body
|
|
|
|
|
|
|
|
\begin_layout Title
|
|
|
|
Macro Scopes
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Simple
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_inset Formula
|
|
|
|
\[
|
|
|
|
\backslash foo\mbox{ should be }\backslash foo
|
|
|
|
\]
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\newcommand{\foo}{A}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_inset Formula
|
|
|
|
\[
|
|
|
|
\foo\mbox{ should be }A
|
|
|
|
\]
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Redefinition
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{B}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_inset Formula
|
|
|
|
\[
|
|
|
|
B\mbox{ should be }B
|
|
|
|
\]
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
In Paragraph Redefinition
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{C}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }C$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{D}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }D$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Environment
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Note Note
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Formula $\foo\mbox{ should be }D$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Environment local Definitions
|
|
|
|
\end_layout
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{E}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }E$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{F}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }F$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }D$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Definitions in Paragraph Style Environments
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Abstract
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{G}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }G$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }G$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Itemize
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{H}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }H$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Itemize
|
|
|
|
\begin_inset Formula $H\mbox{ should be }H$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{H2}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }H2$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }H2$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Theorem and Proofs
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Theorem
|
|
|
|
\begin_inset Formula $1=0$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{I}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }I$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Proof
|
|
|
|
Because
|
|
|
|
\begin_inset Formula $2=1$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }I$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{J}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }J$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{K}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }K$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Proof
|
|
|
|
Blub
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }K$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }K$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Tables
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Tabular
|
|
|
|
<lyxtabular version="3" rows="2" columns="2">
|
2019-04-07 19:09:56 +00:00
|
|
|
<features tabularvalignment="middle">
|
|
|
|
<column alignment="center" valignment="top">
|
|
|
|
<column alignment="center" valignment="top">
|
|
|
|
<row>
|
|
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Text
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Formula $\foo\mbox{ should be }K$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
</cell>
|
2019-04-07 19:09:56 +00:00
|
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Text
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
bla
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
</cell>
|
|
|
|
</row>
|
2019-04-07 19:09:56 +00:00
|
|
|
<row>
|
|
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" usebox="none">
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Text
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{L}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $L\mbox{ should be }L$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
</cell>
|
2019-04-07 19:09:56 +00:00
|
|
|
<cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Text
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
</cell>
|
|
|
|
</row>
|
|
|
|
</lyxtabular>
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Depth and nested Paragraphs
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Definition
|
|
|
|
Let
|
|
|
|
\begin_inset Formula $x$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
be
|
|
|
|
\begin_inset Formula $1$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{M}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }M$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_inset Separator latexpar
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
2015-12-18 06:56:20 +00:00
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_deeper
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }M$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{N}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }N$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_deeper
|
|
|
|
\begin_layout Definition
|
|
|
|
And furthermore let
|
|
|
|
\begin_inset Formula $y$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
be
|
|
|
|
\begin_inset Formula $2$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }N$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{O}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }O$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_inset Separator latexpar
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
2015-12-18 06:56:20 +00:00
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_deeper
|
|
|
|
\begin_layout Itemize
|
|
|
|
Let
|
|
|
|
\begin_inset Formula $z$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
be
|
|
|
|
\begin_inset Formula $3$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }O$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{P}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }P$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_deeper
|
|
|
|
\begin_layout Definition
|
|
|
|
Still definition:
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }P$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
And outside the definition:
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }P$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Branch
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Branch Branch1
|
2019-04-07 19:09:56 +00:00
|
|
|
inverted 0
|
2015-12-18 06:56:20 +00:00
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Standard
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{Q}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Q$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Q\mbox{ if Branch1 is selected}$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Branch Branch2
|
2019-04-07 19:09:56 +00:00
|
|
|
inverted 0
|
2015-12-18 06:56:20 +00:00
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Standard
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{R}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }R$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Q\mbox{ if Branch2 is deselected}$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
Macros in non-environment blocks
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
|
|
|
\series bold
|
|
|
|
Some bold font block:
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{R}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series bold
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }R$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Now normal again:
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }R$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
|
|
|
|
\series bold
|
|
|
|
Some bold font block where the macro itself is not bold:
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{S}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series bold
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }S$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Now normal again:
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }S$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Some
|
|
|
|
\series bold
|
|
|
|
bold font block not starting at the paragraph start:
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{T}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series bold
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }T$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
Some tail text.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Some
|
|
|
|
\series bold
|
|
|
|
bold font block not starting at the paragraph start:
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }T$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
.
|
|
|
|
Some tail text.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Some
|
|
|
|
\series bold
|
|
|
|
bold font block with an
|
|
|
|
\begin_inset Note Comment
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\series bold
|
|
|
|
note
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{U}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series bold
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
inset
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
in between.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Some
|
|
|
|
\series bold
|
|
|
|
bold font block with an
|
|
|
|
\begin_inset Note Comment
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
note inset
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
in between.
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Section
|
|
|
|
InsetTexts
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Float:
|
|
|
|
\begin_inset Float figure
|
2019-04-07 19:09:56 +00:00
|
|
|
placement document
|
|
|
|
alignment document
|
2015-12-18 06:56:20 +00:00
|
|
|
wide false
|
|
|
|
sideways false
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{V}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }V$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
|
|
|
\begin_inset Caption Standard
|
2015-12-18 06:56:20 +00:00
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }V$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }V$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
2019-04-07 19:09:56 +00:00
|
|
|
\SpecialChar LyX
|
|
|
|
-Note:
|
2015-12-18 06:56:20 +00:00
|
|
|
\begin_inset Note Note
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{X}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }X$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }V$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Comment:
|
|
|
|
\begin_inset Note Comment
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{Y}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Y$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Y$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\begin_layout Standard
|
|
|
|
Greyed out:
|
|
|
|
\begin_inset Note Greyedout
|
|
|
|
status open
|
|
|
|
|
2019-04-07 19:09:56 +00:00
|
|
|
\begin_layout Plain Layout
|
2015-12-18 06:56:20 +00:00
|
|
|
|
|
|
|
\family roman
|
|
|
|
\series medium
|
|
|
|
\shape up
|
|
|
|
\size normal
|
|
|
|
\emph off
|
|
|
|
\bar no
|
|
|
|
\noun off
|
|
|
|
\color none
|
|
|
|
\begin_inset FormulaMacro
|
|
|
|
\renewcommand{\foo}{Z}
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\family default
|
|
|
|
\series default
|
|
|
|
\shape default
|
|
|
|
\size default
|
|
|
|
\emph default
|
|
|
|
\bar default
|
|
|
|
\noun default
|
|
|
|
\color inherit
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Z$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\begin_inset Formula $\foo\mbox{ should be }Z$
|
|
|
|
\end_inset
|
|
|
|
|
|
|
|
|
|
|
|
\end_layout
|
|
|
|
|
|
|
|
\end_body
|
|
|
|
\end_document
|