#LyX 2.2 created this file. For more info see http://www.lyx.org/ \lyxformat 501 \begin_document \begin_header \origin /systemlyxdir/examples/ \textclass scrartcl \options DIV=12 \use_default_options true \begin_modules varwidth \end_modules \maintain_unincluded_children false \language british \language_package default \inputencoding auto \fontencoding global \font_roman "lmodern" "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 100 \font_tt_scale 100 100 \graphics default \default_output_format default \output_sync 0 \bibtex_command default \index_command default \paperfontsize 10 \spacing single \use_hyperref false \papersize default \use_geometry false \use_package amsmath 1 \use_package amssymb 1 \use_package cancel 1 \use_package esint 1 \use_package mathdots 1 \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 \index Index \shortcut idx \color #008000 \end_index \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \paragraph_indentation default \quotes_language english \papercolumns 1 \papersides 1 \paperpagestyle default \tracking_changes false \output_changes false \html_math_output 0 \html_css_as_file 0 \html_be_strict false \end_header \begin_body \begin_layout Title Floats Side-by-Side \begin_inset Newline newline \end_inset Using the Varwidth Module \end_layout \begin_layout Section Graphics side-by-side \end_layout \begin_layout Standard \begin_inset Float figure placement H wide false sideways false status open \begin_layout Plain Layout \begin_inset space \hfill{} \end_inset \begin_inset Flex Minipage (Var. Width) status open \begin_layout Plain Layout \begin_inset Argument 1 status open \begin_layout Plain Layout t \end_layout \end_inset \begin_inset Graphics filename ../doc/clipart/escher-lsd.eps width 4cm \end_inset \begin_inset Caption Standard \begin_layout Plain Layout escher-lsd.eps \end_layout \end_inset \end_layout \end_inset \begin_inset space \hfill{} \end_inset \begin_inset space \hfill{} \end_inset \begin_inset Flex Minipage (Var. Width) status open \begin_layout Plain Layout \begin_inset Argument 1 status open \begin_layout Plain Layout t \end_layout \end_inset \begin_inset Graphics filename ../doc/clipart/platypus.eps width 4cm \end_inset \begin_inset Caption Standard \begin_layout Plain Layout platypus.eps \end_layout \end_inset \end_layout \end_inset \begin_inset space \hfill{} \end_inset \end_layout \end_inset \end_layout \begin_layout Section Tables side-by-side \end_layout \begin_layout Standard \begin_inset Float table placement H wide false sideways false status open \begin_layout Plain Layout \begin_inset space \hfill{} \end_inset \begin_inset Flex Minipage (Var. Width) status open \begin_layout Plain Layout \begin_inset Argument 1 status open \begin_layout Plain Layout t \end_layout \end_inset \begin_inset Caption Standard \begin_layout Plain Layout Addition \end_layout \end_inset \begin_inset VSpace defskip \end_inset \end_layout \begin_layout Plain Layout \begin_inset Tabular \begin_inset Text \begin_layout Plain Layout \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 1 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 1 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 5 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 5 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 6 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 5 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 6 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 7 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 5 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 6 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 7 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 8 \end_layout \end_inset \end_inset \end_layout \end_inset \begin_inset space \hfill{} \end_inset \begin_inset space \hfill{} \end_inset \begin_inset Flex Minipage (Var. Width) status open \begin_layout Plain Layout \begin_inset Argument 1 status open \begin_layout Plain Layout t \end_layout \end_inset \begin_inset Caption Standard \begin_layout Plain Layout Multiplication \end_layout \end_inset \begin_inset VSpace defskip \end_inset \end_layout \begin_layout Plain Layout \begin_inset Tabular \begin_inset Text \begin_layout Plain Layout \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 1 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 1 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 1 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 2 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 6 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 8 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 3 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 6 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 9 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 12 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 4 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 8 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 12 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 16 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 5 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 5 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 10 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 15 \end_layout \end_inset \begin_inset Text \begin_layout Plain Layout 20 \end_layout \end_inset \end_inset \end_layout \end_inset \begin_inset space \hfill{} \end_inset \end_layout \end_inset \end_layout \begin_layout Section Text side-by-side \end_layout \begin_layout Standard \begin_inset Float figure placement H wide false sideways false status open \begin_layout Plain Layout \begin_inset space \hfill{} \end_inset \begin_inset Flex Minipage (Var. Width) status open \begin_layout Plain Layout \begin_inset Argument 1 status open \begin_layout Plain Layout b \end_layout \end_inset \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned} $ \end_inset \begin_inset Newline newline \end_inset (Subject to \emph on \begin_inset Formula $\alpha$ \end_inset -equivalence \emph default ) \end_layout \begin_layout Plain Layout \begin_inset Caption Standard \begin_layout Plain Layout Terms \end_layout \end_inset \end_layout \end_inset \begin_inset space \hfill{} \end_inset \begin_inset space \hfill{} \end_inset \begin_inset Flex Minipage (Var. Width) status open \begin_layout Plain Layout \begin_inset Argument 1 status open \begin_layout Plain Layout b \end_layout \end_inset \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\ \lambda x(Mx) & \rightarrow M \end{aligned} $ \end_inset \begin_inset Caption Standard \begin_layout Plain Layout Reduction \end_layout \end_inset \end_layout \end_inset \begin_inset space \hfill{} \end_inset \end_layout \end_inset \end_layout \end_body \end_document