#LyX 2.4 created this file. For more info see https://www.lyx.org/ \lyxformat 600 \begin_document \begin_header \save_transient_properties true \origin /systemlyxdir/examples/Modules/ \textclass scrartcl \options tablecaptionabove \use_default_options true \begin_modules varwidth \end_modules \maintain_unincluded_children no \language british \language_package default \inputencoding utf8 \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_sans_osf false \font_typewriter_osf false \font_roman_osf false \font_sf_scale 100 100 \font_tt_scale 100 100 \use_microtype false \use_dash_ligatures false \graphics default \default_output_format default \output_sync 0 \bibtex_command default \index_command default \paperfontsize 12 \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 true \justification true \use_refstyle 0 \use_minted 0 \use_lineno 0 \index Index \shortcut idx \color #008000 \end_index \secnumdepth 3 \tocdepth 3 \paragraph_separation indent \paragraph_indentation default \is_math_indent 0 \math_numbering_side default \quotes_style english \dynamic_quotes 0 \papercolumns 1 \papersides 1 \paperpagestyle default \tracking_changes false \postpone_fragile_content 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 using the Module \emph on Variable-width Minipages \end_layout \begin_layout Standard \begin_inset Note Note status open \begin_layout Plain Layout To view this file you need to have the \SpecialChar LaTeX package \family sans varwidth \family default installed. To compare with standard solution (Minipage Box) see Embedded Objects Manual. \end_layout \end_inset \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/3D-structure-distort.pdf lyxscale 66 width 4cm \end_inset \begin_inset Caption Standard \begin_layout Plain Layout 3D-structure-distort.pdf \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/Star-structure.pdf width 4cm \end_inset \begin_inset Caption Standard \begin_layout Plain Layout Star-structure.pdf \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 \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 \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