-#LyX 1.6svn created this file. For more info see http://www.lyx.org/
-\lyxformat 317
+#LyX 2.4 created this file. For more info see https://www.lyx.org/
+\lyxformat 572
\begin_document
\begin_header
+\save_transient_properties true
+\origin unavailable
\textclass article
+\use_default_options false
+\maintain_unincluded_children false
\language english
+\language_package default
\inputencoding auto
-\font_roman default
-\font_sans default
-\font_typewriter default
+\fontencoding auto
+\font_roman "default" "default"
+\font_sans "default" "default"
+\font_typewriter "default" "default"
+\font_math "auto" "auto"
\font_default_family default
+\use_non_tex_fonts false
\font_sc false
\font_osf false
-\font_sf_scale 100
-\font_tt_scale 100
+\font_sf_scale 100 100
+\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures true
\graphics default
+\default_output_format default
+\output_sync 0
+\bibtex_command default
+\index_command default
\paperfontsize default
\use_hyperref false
\papersize default
\use_geometry false
-\use_amsmath 1
-\use_esint 1
+\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
\cite_engine basic
+\cite_engine_type default
+\biblio_style plain
\use_bibtopic false
+\use_indices false
\paperorientation portrait
+\suppress_date false
+\justification true
+\use_refstyle 0
+\use_minted 0
+\index Index
+\shortcut idx
+\color #008000
+\end_index
\secnumdepth 3
\tocdepth 3
\paragraph_separation indent
-\defskip medskip
-\quotes_language english
+\paragraph_indentation default
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style english
+\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
+\tablestyle default
\tracking_changes false
\output_changes false
-\author ""
-\author ""
+\html_math_output 0
+\html_css_as_file 0
+\html_be_strict false
\end_header
\begin_body
\end_inset
-\begin_inset Formula \[
-\bla\mbox{ should look like }42\]
+\begin_inset Formula
+\[
+\bla\mbox{ should look like }42
+\]
\end_inset
\end_inset
, such that
-\begin_inset Formula \[
-\bla\mbox{ should look like }21.\]
+\begin_inset Formula
+\[
+\bla\mbox{ should look like }21.
+\]
\end_inset
\renewcommand{\fooa}{y}
\end_inset
- with the TeX code
+ with the \SpecialChar TeX
+ code
\begin_inset listings
inline false
status open
-\begin_layout PlainLayout
+\begin_layout Plain Layout
+
\backslash
newcommand{
fooa}{x}
\end_layout
-\begin_layout PlainLayout
+\begin_layout Plain Layout
+
\backslash
newcommand{
fooa)}
\end_layout
-\begin_layout PlainLayout
+\begin_layout Plain Layout
+
\backslash
renewcommand{
\end_inset
gives the following:
-\begin_inset Formula \[
-\foob{\fooa}\mbox{ should look like }(yy)\]
+\begin_inset Formula
+\[
+\foob{\fooa}\mbox{ should look like }(yy)
+\]
\end_inset
\end_inset
-\begin_inset Formula \[
-\foo{abc}d\mbox{ should look like }(abc,d)\mbox{ if the second foo is there, otherwise like }-{abc}d\]
+\begin_inset Formula
+\[
+\foo{abc}d\mbox{ should look like }(abc,d)\mbox{ if the second foo is there, otherwise like }-{abc}d
+\]
\end_inset
\end_inset
-\begin_inset Formula \[
-\frac{\foo{abc}{}}{1}\mbox{ should be }\frac{(abc,\,)}{1}\mbox{ if the second foo is defined. Otherwise }\frac{-{abc}{}}{1}\]
+\begin_inset Formula
+\[
+\frac{\foo{abc}{}}{1}\mbox{ should be }\frac{(abc,\,)}{1}\mbox{ if the second foo is defined. Otherwise }\frac{-{abc}{}}{1}
+\]
\end_inset
\begin_layout Enumerate
Recursion:
\begin_inset FormulaMacro
-\renewcommand{\foo}[1]{\foo #1{}}
+\renewcommand{\foo}[1]{\foo{#1}{}}
\end_inset
.
- The inner foo should not we resolved as TeX would give a infinite recursion.
+ The inner foo should not we resolved as \SpecialChar TeX
+ would give a infinite recursion.
\end_layout
\begin_layout Enumerate
\end_inset
can be used to create tree-like structures like this one:
-\begin_inset Formula \[
-\foo{\foo{42}{\foo{asdf}{asdf}{asdf}}{21}}{\foo{asdf}{asdf}{asdf}}{asdf}.\]
+\begin_inset Formula
+\[
+\foo{\foo{42}{\foo{asdf}{asdf}{asdf}}{21}}{\foo{asdf}{asdf}{asdf}}{asdf}.
+\]
\end_inset
\end_inset
.
- Start using Ctrl-+ and Ctrl-- when you are inside of the macro to fold
- and unfold, e.g.
+ Start using Ctrl-+ and Ctrl– when you are inside of the macro to fold and
+ unfold, e.g.
here:
-\begin_inset Formula \[
-\foo{\foo{42}{12}}{\foo{21}4}.\]
+\begin_inset Formula
+\[
+\foo{\foo{42}{12}}{\foo{21}4}.
+\]
\end_inset
\end_inset
-\begin_inset Formula \[
-\foo[a]{}^{4}[b]c_{1}\mbox{ should look like }(a,B)\sqcup^{4}[b]c_{1}\]
+\begin_inset Formula
+\[
+\foo[a]{}^{4}[b]c_{1}\mbox{ should look like }(a,B)\sqcup^{4}[b]c_{1}
+\]
\end_inset
-\begin_inset Formula \[
-\foo[a]c^{3}\mbox{ should look like }(a,B)c^{3}\]
+\begin_inset Formula
+\[
+\foo[a]c^{3}\mbox{ should look like }(a,B)c^{3}
+\]
\end_inset
\end_inset
+\begin_inset Separator latexpar
+\end_inset
+
+
\end_layout
\begin_deeper