diff options
Diffstat (limited to 'Master/texmf-dist/doc/metapost/drv/template/template.mp')
-rw-r--r-- | Master/texmf-dist/doc/metapost/drv/template/template.mp | 131 |
1 files changed, 131 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/metapost/drv/template/template.mp b/Master/texmf-dist/doc/metapost/drv/template/template.mp new file mode 100644 index 00000000000..0875f9df042 --- /dev/null +++ b/Master/texmf-dist/doc/metapost/drv/template/template.mp @@ -0,0 +1,131 @@ +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% Structure of a MetaPost file using drv.mp +% 1. Preamble +% input drv; +% verbatimtex %&latex +% <LaTeX preamble> +% \begin{document} +% etex; +% 2. Figures +% <optional drv tunings> +% beginfig(<index>) +% <judgment & inference declarations> +% draw drv_tree; +% <optional extra MetaPost code> +% endfig; +% 3. Postamble +% end +% + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% 1. Preamble +% + +input drv; + +verbatimtex %&latex + +% Any piece of code related to font selection in the preamble of +% `template.tex' (document class, font package, font selection commands ...) +% should be reported here. + +\documentclass[twoside,11pt]{article} +\usepackage[T1]{fontenc} +\usepackage{amsmath} +\usepackage{amssymb} + +% Choose your favourite fonts combination (if available). +% See "http://ctan.tug.org/tex-archive/info/Free_Math_Font_Survey". +% +%\usepackage{cmbright} % CM text & CM Bright math +%\usepackage{ccfonts,eulervm} % Concrete text & Euler math +%\usepackage{ccfonts} % Concrete text & math +%\usepackage[math]{iwona} % Iwona text & math +%\usepackage[math]{kurier} % Kurier text & math +%\usepackage[math]{anttor} % Antykwa Torunska text & math +%\usepackage{kmath,kerkis} % Kerkis text & math +%\usepackage{fouriernc} % New Century Schoolbook & Fourier math +%\usepackage{pxfonts} % Palatino & pxfonts math +%\usepackage{mathpazo} % Palatino & Pazo math +%\usepackage{mathpple} % Palatino & Euler math +\usepackage[varg]{txfonts} % Times & txfonts math +%\usepackage{mathtime} % Times & Belleek math +%\usepackage{mathptmx} % Times & Symbol math +%\usepackage{mbtimes} % Omega Serif text & Omega math +%\usepackage{arev} % Arev Sans text with Arev math +%\usepackage[charter]{mathdesign} % Bitstream Charter & Math Design math +%\usepackage{comicsans} % Comic Sans text & math +%\usepackage[garamond]{mathdesign} % Garamond & Math Design math +%\usepackage{fourier} % Utopia & Fourier math +%\usepackage[utopia]{mathdesign} % Utopia & Math Design math + +\begin{document} +etex; + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% 2. Figures +% + +% Default settings +% +% drv_font_size "\normalsize"; +% drv_math_style (drv, "\displaystyle"); +% drv_math_style (jdg, "\textstyle"); +% drv_math_style (ilb, "\scriptstyle"); +% drv_math_style (dlb, "\textstyle"); +% drv_math_style (plb, "\textstyle"); +% drv_scale (clr, 1); +% drv_scale (prm, 1); +% drv_scale (jdg, 1); +% drv_scale (ilb, 1); +% drv_junction_style 1; +% drv_alignment_style c; +% drv_path_style (iln, 1); +% drv_path_style (phm, 3); +% drv_labels_position (ilb, r); +% drv_labels_position (dlb, l); +% drv_labels_position (plb, l); +% drv_roots_position b; +% drv_axis_reference iln; +% drv_left_delimiter "\lbrace"; +% drv_right_delimiter "\rbrace"; +% drv_box_mode off; +% drv_fraction_mode on; +% drv_proof_mode off; + +beginfig(100) +jgm 0 "\Gamma, \Delta, \Theta, \Pi, \Upsilon\vdash F"; + jgm 1 "\Pi\vdash (A\to D)\to E"; + jgm 2 "\Gamma, \Delta, \Theta, (A\to D)\to E, \Upsilon\vdash F"; + jgm 3 "\Gamma, \Delta, \Theta\vdash A\to D"; + jgm 4 "A, \Gamma, \Delta, \Theta\vdash D"; + jgm 5 "A, \Gamma, \Delta\vdash B\wedge C"; + jgm 6 "A, \Gamma\vdash B"; + jgm 7 "\Delta\vdash C"; + jgm 8 "B\wedge C, \Theta\vdash D"; + jgm 9 "E, \Upsilon\vdash F"; +nfr 0 (1, 2) ("\text{cut}", 1); + nfr 1 () ("\pi", 4); + nfr 2 (3, 9) ("\to_L", 1); + nfr 3 (4) ("\to_R", 1); + nfr 4 (5, 8) ("\text{cut}", 1); + nfr 5 (6, 7) ("\wedge_R", 1); + nfr 6 () ("\gamma", 2); + nfr 7 () ("\delta", 1); + nfr 8 () ("\theta", 3); + nfr 9 () ("\upsilon", 2); +draw drv_tree; +endfig; + + +%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% +% +% 3. Postamble +% + +end |