|
Warning: this is an htmlized version!
The original is here, and the conversion rules are here. |
% (find-LATEX "2022meteor-test1.tex")
% (defun c () (interactive) (find-LATEXsh "lualatex -record 2022meteor-test1.tex" :end))
% (defun C () (interactive) (find-LATEXSH "lualatex 2022meteor-test1.tex" "Success!!!"))
% (defun D () (interactive) (find-pdf-page "~/LATEX/2022meteor-test1.pdf"))
% (defun d () (interactive) (find-pdftools-page "~/LATEX/2022meteor-test1.pdf"))
% (defun b () (interactive) (find-LATEX "2022meteor-test1.pre.bib"))
% (defun e () (interactive) (find-LATEX "2022meteor-test1.tex"))
% (defun u () (interactive) (find-latex-upload-links "2022meteor-test1"))
% (defun v () (interactive) (find-2a '(e) '(d)))
% (defun cv () (interactive) (C) (ee-kill-this-buffer) (v) (g))
% (defun d0 () (interactive) (find-ebuffer "2022meteor-test1.pdf"))
% (code-eec-LATEX "2022meteor-test1")
% (find-pdf-page "~/LATEX/2022meteor-test1.pdf")
% (find-sh0 "cp -v ~/LATEX/2022meteor-test1.pdf /tmp/")
% (find-sh0 "cp -v ~/LATEX/2022meteor-test1.pdf /tmp/pen/")
% file:///home/edrx/LATEX/2022meteor-test1.pdf
% file:///tmp/2022meteor-test1.pdf
% file:///tmp/pen/2022meteor-test1.pdf
% http://angg.twu.net/LATEX/2022meteor-test1.pdf
% (find-LATEX "2019.mk")
% (find-lualatex-links "2022meteor-test1" "mt1")
%
% (find-es "tex" "meteor")
% (find-fline "~/LATEX/svmult.cls")
% (find-fline "~/LATEX/apa.bst")
% (find-fline "~/LATEX/" "2022meteor-test1")
\documentclass[graybox, natbib, nosecnum]{svmult}
\bibpunct{(}{)}{;}{a}{}{,} % suppress commas between author-names and year
%\pdfoutput=1 %forces use of pdflatex. Disable if you prefer to use .eps or .ps figures.
% choose options for [] as required from the list
% in the Reference Guide
\usepackage{mathptmx} % selects Times Roman as basic font
\usepackage{helvet} % selects Helvetica as sans-serif font
\usepackage{courier} % selects Courier as typewriter font
\usepackage{type1cm} % activate if the above 3 fonts are
% not available on your system
\usepackage{makeidx} % allows index generation
\usepackage{graphicx} % standard LaTeX graphics tool
% when including figure files
\usepackage{multicol} % used for the two-column index
\usepackage[bottom]{footmisc}% places footnotes at page bottom
\usepackage[normalem]{ulem} % for strike-through of text with \sout{}
%\usepackage{hyperref} %for hyperlinks
\usepackage{soul} % for high-lighting of text
\newcommand{\hbindex}[1]{\hl{#1}\index{#1}} %highlights index entries
\makeindex % used for the subject index
% please use the style svind.ist with
% your makeindex program
\usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{pict2e}
\usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
\usepackage{proof} % For derivation trees ("%:" lines)
\input diagxy % For 2D diagrams ("%D" lines)
\xyoption{curve} % For the ".curve=" feature in 2D diagrams
\usepackage{ifluatex} %
\ifluatex %
\input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
\input edrx21chars.tex % (find-LATEX "edrx21chars.tex")
\input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
\else %
\usepackage[utf8]{inputenc} %
\input edrx21chars-d.tex % (find-LATEX "edrx21chars-d.tex")
\fi %
\usepackage{edrx21} % (find-LATEX "edrx21.sty")
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\ifluatex
\catcode`\^^J=10
\directlua{dofile "dednat6load.lua"}
\else
\input\jobname.dnt % (find-LATEXfile "2022on-the-missing.dnt")
\def\pu{}
\fi
\title*{Chapter Title}
\author{First Author \thanks{corresponding author} and Second Author}
\institute{First Author \at Institute 1, Address of Institute 1, \email{name1@email.address}
\and Second Author \at Institute 2, Address of Institute 2 \email{name2@email.address}}
%
\maketitle
%
\abstract{Each chapter should be preceded by an abstract (about 250
words) that summarizes the content. The abstract will appear
\textit{online} at \url{www.SpringerLink.com} and be available with
unrestricted access. This allows unregistered users to read the
abstract as a teaser for the complete chapter. Please do not include
reference citations, cross-references or undefined abbreviations in
the abstract.}
\keywords{please provide around 5 keywords.}
%D diagram ??
%D 2Dx 100 +20
%D 2D 100 A
%D 2D
%D 2D +20 B
%D 2D
%D # ren ==>
%D
%D (( A B ->
%D
%D ))
%D enddiagram
%D
$$\pu
\diag{??}
$$
\section{\textit{Main Text of the Chapter}}
This is the main body of the chapter and should include sections and
subsections. Please re-name this heading and add your own subheadings.\\
{\bf Note: Footnotes should not be used! Avoid acknowledgements other
than those related to funding.}
\section{Citations}
Citations are in NameYear style using natbib citation commands like
{\bf \textbackslash citep\{\}} and {\bf \textbackslash citet\{\}}. The
basic \textbackslash cite command works identical to \textbackslash
citet. \\
Some examples of citations are given below:
\begin{itemize}
\item[-]{Journal article: \citep{Smith99}}
\item[-]{Book chapter \citep{Aron01} }
\item[-]{Book, authored: \citep{Brown01} }
\item[-]{Proceedings, with an editor: \citep{Boisnard06} }
\item[-]{PhD Thesis: \citep{AlmenaraThesis10} }
\end{itemize}
% AbramskyTzevelekos \cite[p.15]{AbramskyTzevelekos}
% AbramskyTzevelekos \cite{AbramskyTzevelekos}
% AgdaUserManual \cite{AgdaUserManual}
% Awodey \cite[lemma 8.2]{Awodey}
% Awodey \cite{Awodey}
% BadiouLoW \cite{BadiouLoW}
% BadiouMoTT \cite{BadiouMoTT}
% CWM2 \cite[Section III.2]{CWM2}
% CWM2 \cite[p.33]{CWM2}
% CWM2 \cite[p.55]{CWM2}
% CWM2 \cite[p.61]{CWM2}
% CWM2 \cite[page 83]{CWM2}
% CWM2 \cite[section X.3]{CWM2}
% CWM2 \cite{CWM2}
% CaccamoPhD \cite{CaccamoPhD}
% CaccamoWinskel \cite{CaccamoWinskel}
% CarsonSappho \cite{CarsonSappho}
% ChengMorally \cite{ChengMorally}
% CoeckeNewStruP \cite{CoeckeNewStruP}
% CoeckePQP \cite{CoeckePQP}
% Corfield \cite{Corfield}
% DSLsofMath \cite[sec.3.3]{DSLsofMath}
% DSLsofMath \cite{DSLsofMath}
% EilenbergSteenrod \cite[p.ix]{EilenbergSteenrod}
% EilenbergSteenrod \cite{EilenbergSteenrod}
% Elephant1 \cite{Elephant1}
% FongSpivak \cite{FongSpivak}
% Freyd76 \cite{Freyd76}
% FreydScedrov \cite[p.28 onwards]{FreydScedrov}
% FreydScedrov \cite{FreydScedrov}
% Ganesalingam \cite{Ganesalingam}
% Hazratpour \cite[section A.5]{Hazratpour}
% HuCarette \cite{HuCarette}
% IDARCT \cite[Section 14]{IDARCT}
% IDARCT \cite[Section 16]{IDARCT}
% IDARCT \cite[sec.12]{IDARCT}
% IDARCT \cite[sec.3]{IDARCT}
% IDARCT \cite[section 16]{IDARCT}
% IDARCT \cite{IDARCT}
% Jacobs \cite{Jacobs}
% Jamnik \cite{Jamnik}
% Kromer \cite[pp.82--83]{Kromer}
% Kromer \cite{Kromer}
% KromerSlides \cite{KromerSlides}
% LawvereRosebrugh \cite[p.2 onwards]{LawvereRosebrugh}
% Leinster \cite[p.97]{Leinster}
% Leinster \cite[thm.4.2.1]{Leinster}
% Leinster \cite{Leinster}
% MDE \cite{MDE}
% MacLaneNotes \cite{MacLaneNotes}
% MarsdenCTUSD \cite{MarsdenCTUSD}
% MilewskiCTFPOCaml \cite{MilewskiCTFPOCaml}
% MissingAgda \cite{MissingAgda}
% NederpeltGeuvers \cite[def.9.2.1]{NederpeltGeuvers}
% NederpeltGeuvers \cite[p.127]{NederpeltGeuvers}
% NederpeltGeuvers \cite[p.179]{NederpeltGeuvers}
% NederpeltGeuvers \cite[p.340]{NederpeltGeuvers}
% NederpeltGeuvers \cite{NederpeltGeuvers}
% Norell08 \cite[section 2]{Norell08}
% OchsLucatelli \cite{OchsLucatelli}
% OchsTallinnAbs \cite{OchsTallinnAbs}
% OchsVGMS2018 \cite{OchsVGMS2018}
% OchsWLD2019 \cite{OchsWLD2019}
% PH1 \cite{PH1}
% PH2 \cite{PH2}
% PenroseSIGGRAPH2020 \cite{PenroseSIGGRAPH2020}
% Perrone \cite{Perrone}
% PowerPasting \cite{PowerPasting}
% Riehl \cite[definition 6.1.1]{Riehl}
% Riehl \cite[p.52]{Riehl}
% Riehl \cite[p.60]{Riehl}
% Riehl \cite[proposition 6.1.5]{Riehl}
% Riehl \cite[section 1.7]{Riehl}
% Riehl \cite[thm.2.2.4]{Riehl}
% Riehl \cite{Riehl}
% SICP \cite{SICP}
% SeelyBeck \cite{SeelyBeck}
% SeelyDiff \cite{SeelyDiff}
% SeelyLCCC \cite{SeelyLCCC}
% SeelyPLC \cite{SeelyPLC}
% SelingerLN \cite[p.52]{SelingerLN}
% SelingerLN \cite{SelingerLN}
% Taylor \cite{Taylor}
% ThompsonGardner \cite{ThompsonGardner}
% VanBenthemJutting77 \cite{VanBenthemJutting77}
% WadlerPLFA \cite{WadlerPLFA}
\def\auth#1{\par}
\auth{AbramskyTzevelekos} \cite[p.15]{AbramskyTzevelekos}
\auth{AbramskyTzevelekos} \cite{AbramskyTzevelekos}
\auth{AgdaUserManual} \cite{AgdaUserManual}
\auth{Awodey} \cite[lemma 8.2]{Awodey}
\auth{Awodey} \cite{Awodey}
\auth{BadiouLoW} \cite{BadiouLoW}
\auth{BadiouMoTT} \cite{BadiouMoTT}
\auth{CWM2} \cite[Section III.2]{CWM2}
\auth{CWM2} \cite[p.33]{CWM2}
\auth{CWM2} \cite[p.55]{CWM2}
\auth{CWM2} \cite[p.61]{CWM2}
\auth{CWM2} \cite[page 83]{CWM2}
\auth{CWM2} \cite[section X.3]{CWM2}
\auth{CWM2} \cite{CWM2}
\auth{CaccamoPhD} \cite{CaccamoPhD}
\auth{CaccamoWinskel} \cite{CaccamoWinskel}
\auth{CarsonSappho} \cite{CarsonSappho}
\auth{ChengMorally} \cite{ChengMorally}
\auth{CoeckeNewStruP} \cite{CoeckeNewStruP}
\auth{CoeckePQP} \cite{CoeckePQP}
\auth{Corfield} \cite{Corfield}
\auth{DSLsofMath} \cite[sec.3.3]{DSLsofMath}
\auth{DSLsofMath} \cite{DSLsofMath}
\auth{EilenbergSteenrod} \cite[p.ix]{EilenbergSteenrod}
\auth{EilenbergSteenrod} \cite{EilenbergSteenrod}
\auth{Elephant1} \cite{Elephant1}
\auth{FongSpivak} \cite{FongSpivak}
\auth{Freyd76} \cite{Freyd76}
\auth{FreydScedrov} \cite[p.28 onwards]{FreydScedrov}
\auth{FreydScedrov} \cite{FreydScedrov}
\auth{Ganesalingam} \cite{Ganesalingam}
\auth{Hazratpour} \cite[section A.5]{Hazratpour}
\auth{HuCarette} \cite{HuCarette}
\auth{IDARCT} \cite[Section 14]{IDARCT}
\auth{IDARCT} \cite[Section 16]{IDARCT}
\auth{IDARCT} \cite[sec.12]{IDARCT}
\auth{IDARCT} \cite[sec.3]{IDARCT}
\auth{IDARCT} \cite[section 16]{IDARCT}
\auth{IDARCT} \cite{IDARCT}
\auth{Jacobs} \cite{Jacobs}
\auth{Jamnik} \cite{Jamnik}
\auth{Kromer} \cite[pp.82--83]{Kromer}
\auth{Kromer} \cite{Kromer}
\auth{KromerSlides} \cite{KromerSlides}
\auth{LawvereRosebrugh} \cite[p.2 onwards]{LawvereRosebrugh}
\auth{Leinster} \cite[p.97]{Leinster}
\auth{Leinster} \cite[thm.4.2.1]{Leinster}
\auth{Leinster} \cite{Leinster}
\auth{MDE} \cite{MDE}
\auth{MacLaneNotes} \cite{MacLaneNotes}
\auth{MarsdenCTUSD} \cite{MarsdenCTUSD}
\auth{MilewskiCTFPOCaml} \cite{MilewskiCTFPOCaml}
\auth{MissingAgda} \cite{MissingAgda}
\auth{NederpeltGeuvers} \cite[def.9.2.1]{NederpeltGeuvers}
\auth{NederpeltGeuvers} \cite[p.127]{NederpeltGeuvers}
\auth{NederpeltGeuvers} \cite[p.179]{NederpeltGeuvers}
\auth{NederpeltGeuvers} \cite[p.340]{NederpeltGeuvers}
\auth{NederpeltGeuvers} \cite{NederpeltGeuvers}
\auth{Norell08} \cite[section 2]{Norell08}
\auth{OchsLucatelli} \cite{OchsLucatelli}
\auth{OchsTallinnAbs} \cite{OchsTallinnAbs}
\auth{OchsVGMS2018} \cite{OchsVGMS2018}
\auth{OchsWLD2019} \cite{OchsWLD2019}
\auth{PH1} \cite{PH1}
\auth{PH2} \cite{PH2}
\auth{PenroseSIGGRAPH2020} \cite{PenroseSIGGRAPH2020}
\auth{Perrone} \cite{Perrone}
\auth{PowerPasting} \cite{PowerPasting}
\auth{Riehl} \cite[definition 6.1.1]{Riehl}
\auth{Riehl} \cite[p.52]{Riehl}
\auth{Riehl} \cite[p.60]{Riehl}
\auth{Riehl} \cite[proposition 6.1.5]{Riehl}
\auth{Riehl} \cite[section 1.7]{Riehl}
\auth{Riehl} \cite[thm.2.2.4]{Riehl}
\auth{Riehl} \cite{Riehl}
\auth{SICP} \cite{SICP}
\auth{SeelyBeck} \cite{SeelyBeck}
\auth{SeelyDiff} \cite{SeelyDiff}
\auth{SeelyLCCC} \cite{SeelyLCCC}
\auth{SeelyPLC} \cite{SeelyPLC}
\auth{SelingerLN} \cite[p.52]{SelingerLN}
\auth{SelingerLN} \cite{SelingerLN}
\auth{Taylor} \cite{Taylor}
\auth{ThompsonGardner} \cite{ThompsonGardner}
\auth{VanBenthemJutting77} \cite{VanBenthemJutting77}
\auth{WadlerPLFA} \cite{WadlerPLFA}
%L write_dnt_file()
\pu
% For bibtex users:
% For references use the `Springer SocPsych Style'.
\bibliographystyle{apa} %for bibtex
\bibliography{2022meteor-test1} % (find-fline "~/LATEX/2022meteor-test1.bib")
%\bibliography{2022meteor-test2} % (find-fline "~/LATEX/2022meteor-test2.bib")
\end{document}
% % __ __
% % | \/ |_ _
% % | |\/| | | | |
% % | | | | |_| |
% % |_| |_|\__, |
% % |___/
%
%
% \documentclass[oneside,12pt]{article}
% \usepackage[colorlinks,citecolor=DarkRed,urlcolor=DarkRed]{hyperref} % (find-es "tex" "hyperref")
% \usepackage{amsmath}
% \usepackage{amsfonts}
% \usepackage{amssymb}
% \usepackage{pict2e}
% \usepackage[x11names,svgnames]{xcolor} % (find-es "tex" "xcolor")
% %
% % (find-dn6 "preamble6.lua" "preamble0")
% \usepackage{proof} % For derivation trees ("%:" lines)
% \input diagxy % For 2D diagrams ("%D" lines)
% \xyoption{curve} % For the ".curve=" feature in 2D diagrams
% %
% % «ifluatex-0» (to ".ifluatex-0")
% % (find-dednat6file "demo-write-dnt.tex")
% \usepackage{ifluatex} %
% \ifluatex %
% \input edrxaccents.tex % (find-LATEX "edrxaccents.tex")
% \input edrx21chars.tex % (find-LATEX "edrx21chars.tex")
% \input edrxheadfoot.tex % (find-LATEX "edrxheadfoot.tex")
% \else %
% \usepackage[utf8]{inputenc} %
% \input edrx21chars-d.tex % (find-LATEX "edrx21chars-d.tex")
% \fi %
% \usepackage{edrx21} % (find-LATEX "edrx21.sty")
% %
% % (find-es "tex" "geometry")
% \begin{document}
%
% % «ifluatex-1» (to ".ifluatex-1")
% \ifluatex
% \catcode`\^^J=10
% \directlua{dofile "dednat6load.lua"}
% \else
% \input\jobname.dnt % (find-LATEXfile "2022on-the-missing.dnt")
% \def\pu{}
% \fi
%
% %\printbibliography
%
% % «ifluatex-2» (to ".ifluatex-2")
% %L write_dnt_file()
% \pu
%
% \GenericWarning{Success:}{Success!!!} % Used by `M-x cv'
%
% \end{document}
% __ __ _
% | \/ | __ _| | _____
% | |\/| |/ _` | |/ / _ \
% | | | | (_| | < __/
% |_| |_|\__,_|_|\_\___|
%
% <make>
% (find-fline "~/LATEX/" "2022meteor-test1")
% (find-LATEXfile "2022meteor-test1.aux" "\\bibdata")
* (eepitch-shell)
* (eepitch-kill)
* (eepitch-shell)
# (find-LATEXfile "2019planar-has-1.mk")
make -f 2019.mk STEM=2022meteor-test1 veryclean
lualatex 2022meteor-test1.tex
bibtex 2022meteor-test1
laf 2022meteor-test1*
lualatex 2022meteor-test1.tex
lualatex 2022meteor-test1.tex
pdflatex 2022meteor-test1.tex
Warning--empty booktitle in PenroseSIGGRAPH2020
Warning--empty year in AgdaUserManual
Warning--empty publisher in WadlerPLFA
# make -n -f 2019.mk STEM=2022meteor-test1 pdf
% Local Variables:
% coding: utf-8-unix
% ee-tla: "mt1"
% End: