1 #LyX 2.3 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 \use_dash_ligatures false
31 \default_output_format default
33 \bibtex_command default
34 \index_command default
40 \use_package amsmath 1
41 \use_package amssymb 1
44 \use_package mathdots 1
45 \use_package mathtools 1
47 \use_package stackrel 1
48 \use_package stmaryrd 1
49 \use_package undertilde 1
51 \cite_engine_type default
55 \paperorientation portrait
66 \paragraph_separation indent
67 \paragraph_indentation default
69 \math_numbering_side default
74 \paperpagestyle default
75 \tracking_changes false
85 Floats Side-by-Side using the Module
87 Variable-width Minipages
90 \begin_layout Standard
91 \begin_inset Note Note
94 \begin_layout Plain Layout
95 To view this file you need to have the \SpecialChar LaTeX
108 \begin_layout Section
109 Graphics side-by-side
112 \begin_layout Standard
113 \begin_inset Float figure
119 \begin_layout Plain Layout
120 \begin_inset space \hfill{}
124 \begin_inset Flex Minipage (Var. Width)
127 \begin_layout Plain Layout
128 \begin_inset Argument 1
131 \begin_layout Plain Layout
138 \begin_inset Graphics
139 filename ../doc/clipart/escher-lsd.eps
145 \begin_inset Caption Standard
147 \begin_layout Plain Layout
159 \begin_inset space \hfill{}
163 \begin_inset space \hfill{}
167 \begin_inset Flex Minipage (Var. Width)
170 \begin_layout Plain Layout
171 \begin_inset Argument 1
174 \begin_layout Plain Layout
181 \begin_inset Graphics
182 filename ../doc/clipart/platypus.eps
188 \begin_inset Caption Standard
190 \begin_layout Plain Layout
202 \begin_inset space \hfill{}
213 \begin_layout Section
217 \begin_layout Standard
218 \begin_inset Float table
224 \begin_layout Plain Layout
225 \begin_inset space \hfill{}
229 \begin_inset Flex Minipage (Var. Width)
232 \begin_layout Plain Layout
233 \begin_inset Argument 1
236 \begin_layout Plain Layout
243 \begin_inset Caption Standard
245 \begin_layout Plain Layout
254 \begin_layout Plain Layout
256 <lyxtabular version="3" rows="5" columns="5">
257 <features tabularvalignment="middle">
258 <column alignment="center" valignment="top" width="0pt">
259 <column alignment="center" valignment="top">
260 <column alignment="center" valignment="top">
261 <column alignment="center" valignment="top">
262 <column alignment="center" valignment="top">
264 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
267 \begin_layout Plain Layout
273 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
276 \begin_layout Plain Layout
282 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
285 \begin_layout Plain Layout
291 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
294 \begin_layout Plain Layout
300 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
303 \begin_layout Plain Layout
311 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
314 \begin_layout Plain Layout
320 <cell alignment="center" valignment="top" usebox="none">
323 \begin_layout Plain Layout
329 <cell alignment="center" valignment="top" usebox="none">
332 \begin_layout Plain Layout
338 <cell alignment="center" valignment="top" usebox="none">
341 \begin_layout Plain Layout
347 <cell alignment="center" valignment="top" rightline="true" usebox="none">
350 \begin_layout Plain Layout
358 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
361 \begin_layout Plain Layout
367 <cell alignment="center" valignment="top" usebox="none">
370 \begin_layout Plain Layout
376 <cell alignment="center" valignment="top" usebox="none">
379 \begin_layout Plain Layout
385 <cell alignment="center" valignment="top" usebox="none">
388 \begin_layout Plain Layout
394 <cell alignment="center" valignment="top" rightline="true" usebox="none">
397 \begin_layout Plain Layout
405 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
408 \begin_layout Plain Layout
414 <cell alignment="center" valignment="top" usebox="none">
417 \begin_layout Plain Layout
423 <cell alignment="center" valignment="top" usebox="none">
426 \begin_layout Plain Layout
432 <cell alignment="center" valignment="top" usebox="none">
435 \begin_layout Plain Layout
441 <cell alignment="center" valignment="top" rightline="true" usebox="none">
444 \begin_layout Plain Layout
452 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
455 \begin_layout Plain Layout
461 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
464 \begin_layout Plain Layout
470 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
473 \begin_layout Plain Layout
479 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
482 \begin_layout Plain Layout
488 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
491 \begin_layout Plain Layout
508 \begin_inset space \hfill{}
512 \begin_inset space \hfill{}
516 \begin_inset Flex Minipage (Var. Width)
519 \begin_layout Plain Layout
520 \begin_inset Argument 1
523 \begin_layout Plain Layout
530 \begin_inset Caption Standard
532 \begin_layout Plain Layout
541 \begin_layout Plain Layout
543 <lyxtabular version="3" rows="6" columns="5">
544 <features tabularvalignment="middle">
545 <column alignment="center" valignment="top" width="0pt">
546 <column alignment="center" valignment="top">
547 <column alignment="center" valignment="top">
548 <column alignment="center" valignment="top">
549 <column alignment="center" valignment="top">
551 <cell alignment="center" valignment="top" topline="true" bottomline="true" leftline="true" rightline="true" usebox="none">
554 \begin_layout Plain Layout
560 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
563 \begin_layout Plain Layout
569 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
572 \begin_layout Plain Layout
578 <cell alignment="center" valignment="top" topline="true" bottomline="true" usebox="none">
581 \begin_layout Plain Layout
587 <cell alignment="center" valignment="top" topline="true" bottomline="true" rightline="true" usebox="none">
590 \begin_layout Plain Layout
598 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
601 \begin_layout Plain Layout
607 <cell alignment="center" valignment="top" usebox="none">
610 \begin_layout Plain Layout
616 <cell alignment="center" valignment="top" usebox="none">
619 \begin_layout Plain Layout
625 <cell alignment="center" valignment="top" usebox="none">
628 \begin_layout Plain Layout
634 <cell alignment="center" valignment="top" rightline="true" usebox="none">
637 \begin_layout Plain Layout
645 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
648 \begin_layout Plain Layout
654 <cell alignment="center" valignment="top" usebox="none">
657 \begin_layout Plain Layout
663 <cell alignment="center" valignment="top" usebox="none">
666 \begin_layout Plain Layout
672 <cell alignment="center" valignment="top" usebox="none">
675 \begin_layout Plain Layout
681 <cell alignment="center" valignment="top" rightline="true" usebox="none">
684 \begin_layout Plain Layout
692 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
695 \begin_layout Plain Layout
701 <cell alignment="center" valignment="top" usebox="none">
704 \begin_layout Plain Layout
710 <cell alignment="center" valignment="top" usebox="none">
713 \begin_layout Plain Layout
719 <cell alignment="center" valignment="top" usebox="none">
722 \begin_layout Plain Layout
728 <cell alignment="center" valignment="top" rightline="true" usebox="none">
731 \begin_layout Plain Layout
739 <cell alignment="center" valignment="top" leftline="true" rightline="true" usebox="none">
742 \begin_layout Plain Layout
748 <cell alignment="center" valignment="top" usebox="none">
751 \begin_layout Plain Layout
757 <cell alignment="center" valignment="top" usebox="none">
760 \begin_layout Plain Layout
766 <cell alignment="center" valignment="top" usebox="none">
769 \begin_layout Plain Layout
775 <cell alignment="center" valignment="top" rightline="true" usebox="none">
778 \begin_layout Plain Layout
786 <cell alignment="center" valignment="top" bottomline="true" leftline="true" rightline="true" usebox="none">
789 \begin_layout Plain Layout
795 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
798 \begin_layout Plain Layout
804 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
807 \begin_layout Plain Layout
813 <cell alignment="center" valignment="top" bottomline="true" usebox="none">
816 \begin_layout Plain Layout
822 <cell alignment="center" valignment="top" bottomline="true" rightline="true" usebox="none">
825 \begin_layout Plain Layout
842 \begin_inset space \hfill{}
853 \begin_layout Section
857 \begin_layout Standard
858 \begin_inset Float figure
864 \begin_layout Plain Layout
865 \begin_inset space \hfill{}
869 \begin_inset Flex Minipage (Var. Width)
872 \begin_layout Plain Layout
873 \begin_inset Argument 1
876 \begin_layout Plain Layout
883 \begin_inset Formula $\begin{aligned}M\Coloneqq x\mid\lambda xM\mid MN\end{aligned}
888 \begin_inset Newline newline
894 \begin_inset Formula $\alpha$
902 \begin_layout Plain Layout
903 \begin_inset Caption Standard
905 \begin_layout Plain Layout
917 \begin_inset space \hfill{}
921 \begin_inset space \hfill{}
925 \begin_inset Flex Minipage (Var. Width)
928 \begin_layout Plain Layout
929 \begin_inset Argument 1
932 \begin_layout Plain Layout
939 \begin_inset Formula $\begin{aligned}(\lambda xM)N & \rightarrow M[N/x]\\
940 \lambda x(Mx) & \rightarrow M
946 \begin_inset Caption Standard
948 \begin_layout Plain Layout
960 \begin_inset space \hfill{}