1 #LyX 2.2 created this file. For more info see http://www.lyx.org/
5 \save_transient_properties true
6 \origin /systemlyxdir/examples/
8 \options tablecaptionabove
9 \use_default_options true
13 \maintain_unincluded_children false
15 \language_package default
18 \font_roman "default" "default"
19 \font_sans "default" "default"
20 \font_typewriter "default" "default"
21 \font_math "auto" "auto"
22 \font_default_family default
23 \use_non_tex_fonts false
26 \font_sf_scale 100 100
27 \font_tt_scale 100 100
29 \default_output_format default
31 \bibtex_command default
32 \index_command default
38 \use_package amsmath 1
39 \use_package amssymb 1
42 \use_package mathdots 1
43 \use_package mathtools 1
45 \use_package stackrel 1
46 \use_package stmaryrd 1
47 \use_package undertilde 1
49 \cite_engine_type default
53 \paperorientation portrait
63 \paragraph_separation indent
64 \paragraph_indentation default
65 \quotes_language english
68 \paperpagestyle default
69 \tracking_changes false
79 Floats Side-by-Side using the Module
81 Variable-width Minipages
84 \begin_layout Standard
85 \begin_inset Note Note
88 \begin_layout Plain Layout
89 To view this file you need to have the \SpecialChar LaTeX
102 \begin_layout Section
103 Graphics side-by-side
106 \begin_layout Standard
107 \begin_inset Float figure
113 \begin_layout Plain Layout
114 \begin_inset space \hfill{}
118 \begin_inset Flex Minipage (Var. Width)
121 \begin_layout Plain Layout
122 \begin_inset Argument 1
125 \begin_layout Plain Layout
132 \begin_inset Graphics
133 filename ../doc/clipart/escher-lsd.eps
139 \begin_inset Caption Standard
141 \begin_layout Plain Layout
153 \begin_inset space \hfill{}
157 \begin_inset space \hfill{}
161 \begin_inset Flex Minipage (Var. Width)
164 \begin_layout Plain Layout
165 \begin_inset Argument 1
168 \begin_layout Plain Layout
175 \begin_inset Graphics
176 filename ../doc/clipart/platypus.eps
182 \begin_inset Caption Standard
184 \begin_layout Plain Layout
196 \begin_inset space \hfill{}
207 \begin_layout Section
211 \begin_layout Standard
212 \begin_inset Float table
218 \begin_layout Plain Layout
219 \begin_inset space \hfill{}
223 \begin_inset Flex Minipage (Var. Width)
226 \begin_layout Plain Layout
227 \begin_inset Argument 1
230 \begin_layout Plain Layout
237 \begin_inset Caption Standard
239 \begin_layout Plain Layout
248 \begin_layout Plain Layout
250 <lyxtabular version="3" rows="5" columns="5">
251 <features tabularvalignment="middle">
252 <column alignment="center" valignment="top" width="0pt">
253 <column alignment="center" valignment="top">
254 <column alignment="center" valignment="top">
255 <column alignment="center" valignment="top">
256 <column alignment="center" valignment="top">
258 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
261 \begin_layout Plain Layout
267 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
270 \begin_layout Plain Layout
276 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
279 \begin_layout Plain Layout
285 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
288 \begin_layout Plain Layout
294 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
297 \begin_layout Plain Layout
305 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
308 \begin_layout Plain Layout
314 <cell alignment="center" valignment="top" usebox="none">
317 \begin_layout Plain Layout
323 <cell alignment="center" valignment="top" usebox="none">
326 \begin_layout Plain Layout
332 <cell alignment="center" valignment="top" usebox="none">
335 \begin_layout Plain Layout
341 <cell alignment="center" valignment="top" rightline="true" usebox="none">
344 \begin_layout Plain Layout
352 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
355 \begin_layout Plain Layout
361 <cell alignment="center" valignment="top" usebox="none">
364 \begin_layout Plain Layout
370 <cell alignment="center" valignment="top" usebox="none">
373 \begin_layout Plain Layout
379 <cell alignment="center" valignment="top" usebox="none">
382 \begin_layout Plain Layout
388 <cell alignment="center" valignment="top" rightline="true" usebox="none">
391 \begin_layout Plain Layout
399 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
402 \begin_layout Plain Layout
408 <cell alignment="center" valignment="top" usebox="none">
411 \begin_layout Plain Layout
417 <cell alignment="center" valignment="top" usebox="none">
420 \begin_layout Plain Layout
426 <cell alignment="center" valignment="top" usebox="none">
429 \begin_layout Plain Layout
435 <cell alignment="center" valignment="top" rightline="true" usebox="none">
438 \begin_layout Plain Layout
446 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
449 \begin_layout Plain Layout
455 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
458 \begin_layout Plain Layout
464 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
467 \begin_layout Plain Layout
473 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
476 \begin_layout Plain Layout
482 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
485 \begin_layout Plain Layout
502 \begin_inset space \hfill{}
506 \begin_inset space \hfill{}
510 \begin_inset Flex Minipage (Var. Width)
513 \begin_layout Plain Layout
514 \begin_inset Argument 1
517 \begin_layout Plain Layout
524 \begin_inset Caption Standard
526 \begin_layout Plain Layout
535 \begin_layout Plain Layout
537 <lyxtabular version="3" rows="6" columns="5">
538 <features tabularvalignment="middle">
539 <column alignment="center" valignment="top" width="0pt">
540 <column alignment="center" valignment="top">
541 <column alignment="center" valignment="top">
542 <column alignment="center" valignment="top">
543 <column alignment="center" valignment="top">
545 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
548 \begin_layout Plain Layout
554 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
557 \begin_layout Plain Layout
563 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
566 \begin_layout Plain Layout
572 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
575 \begin_layout Plain Layout
581 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
584 \begin_layout Plain Layout
592 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
595 \begin_layout Plain Layout
601 <cell alignment="center" valignment="top" usebox="none">
604 \begin_layout Plain Layout
610 <cell alignment="center" valignment="top" usebox="none">
613 \begin_layout Plain Layout
619 <cell alignment="center" valignment="top" usebox="none">
622 \begin_layout Plain Layout
628 <cell alignment="center" valignment="top" rightline="true" usebox="none">
631 \begin_layout Plain Layout
639 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
642 \begin_layout Plain Layout
648 <cell alignment="center" valignment="top" usebox="none">
651 \begin_layout Plain Layout
657 <cell alignment="center" valignment="top" usebox="none">
660 \begin_layout Plain Layout
666 <cell alignment="center" valignment="top" usebox="none">
669 \begin_layout Plain Layout
675 <cell alignment="center" valignment="top" rightline="true" usebox="none">
678 \begin_layout Plain Layout
686 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
689 \begin_layout Plain Layout
695 <cell alignment="center" valignment="top" usebox="none">
698 \begin_layout Plain Layout
704 <cell alignment="center" valignment="top" usebox="none">
707 \begin_layout Plain Layout
713 <cell alignment="center" valignment="top" usebox="none">
716 \begin_layout Plain Layout
722 <cell alignment="center" valignment="top" rightline="true" usebox="none">
725 \begin_layout Plain Layout
733 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
736 \begin_layout Plain Layout
742 <cell alignment="center" valignment="top" usebox="none">
745 \begin_layout Plain Layout
751 <cell alignment="center" valignment="top" usebox="none">
754 \begin_layout Plain Layout
760 <cell alignment="center" valignment="top" usebox="none">
763 \begin_layout Plain Layout
769 <cell alignment="center" valignment="top" rightline="true" usebox="none">
772 \begin_layout Plain Layout
780 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
783 \begin_layout Plain Layout
789 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
792 \begin_layout Plain Layout
798 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
801 \begin_layout Plain Layout
807 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
810 \begin_layout Plain Layout
816 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
819 \begin_layout Plain Layout
836 \begin_inset space \hfill{}
847 \begin_layout Section
851 \begin_layout Standard
852 \begin_inset Float figure
858 \begin_layout Plain Layout
859 \begin_inset space \hfill{}
863 \begin_inset Flex Minipage (Var. Width)
866 \begin_layout Plain Layout
867 \begin_inset Argument 1
870 \begin_layout Plain Layout
877 \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
882 \begin_inset Newline newline
888 \begin_inset Formula $\alpha$
896 \begin_layout Plain Layout
897 \begin_inset Caption Standard
899 \begin_layout Plain Layout
911 \begin_inset space \hfill{}
915 \begin_inset space \hfill{}
919 \begin_inset Flex Minipage (Var. Width)
922 \begin_layout Plain Layout
923 \begin_inset Argument 1
926 \begin_layout Plain Layout
933 \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
934 \lambda x(Mx) & \rightarrow M
940 \begin_inset Caption Standard
942 \begin_layout Plain Layout
954 \begin_inset space \hfill{}