Compare commits
No commits in common. "1fd30f15b867465abcef02be808f0190305e2852" and "a702a6a07277ccd4b21d6def6e28fbcb131f1322" have entirely different histories.
1fd30f15b8
...
a702a6a072
3
.gitmodules
vendored
3
.gitmodules
vendored
@ -1,3 +0,0 @@
|
||||
[submodule "TexCommon"]
|
||||
path = TexCommon
|
||||
url = git@git8.cs.fau.de:public-repos/TexCommon.git
|
||||
@ -1 +0,0 @@
|
||||
Subproject commit 0046b8ccc5c6c351a92af3b8517c1394b148dd39
|
||||
257
draft/.gitignore
vendored
257
draft/.gitignore
vendored
@ -1,257 +0,0 @@
|
||||
# ---> TeX
|
||||
## Core latex/pdflatex auxiliary files:
|
||||
*.aux
|
||||
*.lof
|
||||
*.log
|
||||
*.lot
|
||||
*.fls
|
||||
*.out
|
||||
*.toc
|
||||
*.fmt
|
||||
*.fot
|
||||
*.cb
|
||||
*.cb2
|
||||
.*.lb
|
||||
|
||||
## Intermediate documents:
|
||||
*.dvi
|
||||
*.xdv
|
||||
*-converted-to.*
|
||||
# these rules might exclude image files for figures etc.
|
||||
# *.ps
|
||||
# *.eps
|
||||
# *.pdf
|
||||
|
||||
## Generated if empty string is given at "Please type another file name for output:"
|
||||
.pdf
|
||||
|
||||
## Bibliography auxiliary files (bibtex/biblatex/biber):
|
||||
*.bbl
|
||||
*.bcf
|
||||
*.blg
|
||||
*-blx.aux
|
||||
*-blx.bib
|
||||
*.run.xml
|
||||
|
||||
## Build tool auxiliary files:
|
||||
*.fdb_latexmk
|
||||
*.synctex
|
||||
*.synctex(busy)
|
||||
*.synctex.gz
|
||||
*.synctex.gz(busy)
|
||||
*.pdfsync
|
||||
|
||||
## Build tool directories for auxiliary files
|
||||
# latexrun
|
||||
latex.out/
|
||||
|
||||
## Auxiliary and intermediate files from other packages:
|
||||
# algorithms
|
||||
*.alg
|
||||
*.loa
|
||||
|
||||
# achemso
|
||||
acs-*.bib
|
||||
|
||||
# amsthm
|
||||
*.thm
|
||||
|
||||
# beamer
|
||||
*.nav
|
||||
*.pre
|
||||
*.snm
|
||||
*.vrb
|
||||
|
||||
# changes
|
||||
*.soc
|
||||
|
||||
# comment
|
||||
*.cut
|
||||
|
||||
# cprotect
|
||||
*.cpt
|
||||
|
||||
# elsarticle (documentclass of Elsevier journals)
|
||||
*.spl
|
||||
|
||||
# endnotes
|
||||
*.ent
|
||||
|
||||
# fixme
|
||||
*.lox
|
||||
|
||||
# feynmf/feynmp
|
||||
*.mf
|
||||
*.mp
|
||||
*.t[1-9]
|
||||
*.t[1-9][0-9]
|
||||
*.tfm
|
||||
|
||||
#(r)(e)ledmac/(r)(e)ledpar
|
||||
*.end
|
||||
*.?end
|
||||
*.[1-9]
|
||||
*.[1-9][0-9]
|
||||
*.[1-9][0-9][0-9]
|
||||
*.[1-9]R
|
||||
*.[1-9][0-9]R
|
||||
*.[1-9][0-9][0-9]R
|
||||
*.eledsec[1-9]
|
||||
*.eledsec[1-9]R
|
||||
*.eledsec[1-9][0-9]
|
||||
*.eledsec[1-9][0-9]R
|
||||
*.eledsec[1-9][0-9][0-9]
|
||||
*.eledsec[1-9][0-9][0-9]R
|
||||
|
||||
# glossaries
|
||||
*.acn
|
||||
*.acr
|
||||
*.glg
|
||||
*.glo
|
||||
*.gls
|
||||
*.glsdefs
|
||||
|
||||
# gnuplottex
|
||||
*-gnuplottex-*
|
||||
|
||||
# gregoriotex
|
||||
*.gaux
|
||||
*.gtex
|
||||
|
||||
# htlatex
|
||||
*.4ct
|
||||
*.4tc
|
||||
*.idv
|
||||
*.lg
|
||||
*.trc
|
||||
*.xref
|
||||
|
||||
# hyperref
|
||||
*.brf
|
||||
|
||||
# knitr
|
||||
*-concordance.tex
|
||||
# TODO Comment the next line if you want to keep your tikz graphics files
|
||||
*.tikz
|
||||
*-tikzDictionary
|
||||
|
||||
# listings
|
||||
*.lol
|
||||
|
||||
# makeidx
|
||||
*.idx
|
||||
*.ilg
|
||||
*.ind
|
||||
*.ist
|
||||
|
||||
# minitoc
|
||||
*.maf
|
||||
*.mlf
|
||||
*.mlt
|
||||
*.mtc[0-9]*
|
||||
*.slf[0-9]*
|
||||
*.slt[0-9]*
|
||||
*.stc[0-9]*
|
||||
|
||||
# minted
|
||||
_minted*
|
||||
*.pyg
|
||||
|
||||
# morewrites
|
||||
*.mw
|
||||
|
||||
# nomencl
|
||||
*.nlg
|
||||
*.nlo
|
||||
*.nls
|
||||
|
||||
# pax
|
||||
*.pax
|
||||
|
||||
# pdfpcnotes
|
||||
*.pdfpc
|
||||
|
||||
# sagetex
|
||||
*.sagetex.sage
|
||||
*.sagetex.py
|
||||
*.sagetex.scmd
|
||||
|
||||
# scrwfile
|
||||
*.wrt
|
||||
|
||||
# sympy
|
||||
*.sout
|
||||
*.sympy
|
||||
sympy-plots-for-*.tex/
|
||||
|
||||
# pdfcomment
|
||||
*.upa
|
||||
*.upb
|
||||
|
||||
# pythontex
|
||||
*.pytxcode
|
||||
pythontex-files-*/
|
||||
|
||||
# tcolorbox
|
||||
*.listing
|
||||
|
||||
# thmtools
|
||||
*.loe
|
||||
|
||||
# TikZ & PGF
|
||||
*.dpth
|
||||
*.md5
|
||||
*.auxlock
|
||||
|
||||
# todonotes
|
||||
*.tdo
|
||||
|
||||
# easy-todo
|
||||
*.lod
|
||||
|
||||
# xcolor
|
||||
*.xcp
|
||||
|
||||
# xmpincl
|
||||
*.xmpi
|
||||
|
||||
# xindy
|
||||
*.xdy
|
||||
|
||||
# xypic precompiled matrices
|
||||
*.xyc
|
||||
|
||||
# endfloat
|
||||
*.ttt
|
||||
*.fff
|
||||
|
||||
# Latexian
|
||||
TSWLatexianTemp*
|
||||
|
||||
## Editors:
|
||||
# WinEdt
|
||||
*.bak
|
||||
*.sav
|
||||
|
||||
# Texpad
|
||||
.texpadtmp
|
||||
|
||||
# LyX
|
||||
*.lyx~
|
||||
|
||||
# Kile
|
||||
*.backup
|
||||
|
||||
# KBibTeX
|
||||
*~[0-9]*
|
||||
|
||||
# auto folder when using emacs and auctex
|
||||
./auto/*
|
||||
*.el
|
||||
|
||||
# expex forward references with \gathertags
|
||||
*-tags.tex
|
||||
|
||||
# standalone packages
|
||||
*.sta
|
||||
|
||||
@ -1,3 +0,0 @@
|
||||
export TEXINPUTS:=${TEXINPUTS}:.:../TexCommon
|
||||
SRCNAME = draft
|
||||
include ../TexCommon/Makefile
|
||||
@ -1 +0,0 @@
|
||||
d41d8cd98f00b204e9800998ecf8427e -
|
||||
BIN
draft/draft.pdf
BIN
draft/draft.pdf
Binary file not shown.
389
draft/draft.tex
389
draft/draft.tex
@ -1,389 +0,0 @@
|
||||
\documentclass[envcountsect,runningheads,draft]{llncs} % fails
|
||||
|
||||
\newcommand\hmmax{0}
|
||||
\newcommand\bmmax{0}
|
||||
|
||||
\sloppy
|
||||
|
||||
\usepackage[nosumlimits,nointlimits,nonamelimits]{amsmath}
|
||||
\usepackage{amssymb}
|
||||
|
||||
\usepackage[colorlinks,linkcolor={blue},citecolor={blue},urlcolor={red},breaklinks=true,final]{hyperref}
|
||||
|
||||
\renewcommand{\subsectionautorefname}{Section}%
|
||||
|
||||
\newcommand{\xTo}[1]{\,\xRightarrow{#1}\,}
|
||||
%\newcommand{\lbs}[1]{\,\xRightarrow{#1}\,}
|
||||
\newcommand{\dhat}[1]{\check{#1}}
|
||||
|
||||
\usepackage{lineno}
|
||||
\linenumbers
|
||||
|
||||
\usepackage{etoolbox} %% <- for \cspreto, \csappto
|
||||
|
||||
%% Patch 'normal' math environments:
|
||||
\newcommand*\linenomathpatch[1]{%
|
||||
\cspreto{#1}{\linenomath}%
|
||||
\cspreto{#1*}{\linenomath}%
|
||||
\csappto{end#1}{\endlinenomath}%
|
||||
\csappto{end#1*}{\endlinenomath}%
|
||||
}
|
||||
|
||||
\linenomathpatch{equation}
|
||||
\linenomathpatch{gather}
|
||||
\linenomathpatch{multline}
|
||||
\linenomathpatch{align}
|
||||
\linenomathpatch{alignat}
|
||||
\linenomathpatch{flalign}
|
||||
|
||||
\usepackage[T1]{fontenc}
|
||||
\usepackage[final]{graphicx}
|
||||
\usepackage{color}
|
||||
%\renewcommand\UrlFont{\color{blue}\rmfamily}
|
||||
%\urlstyle{rm}
|
||||
%
|
||||
|
||||
\usepackage{etoolbox}
|
||||
\usepackage{needspace}
|
||||
|
||||
\usepackage{hypcap}
|
||||
\setcounter{tocdepth}{2}
|
||||
|
||||
\spnewtheorem{thm}{Theorem}[section]{\bfseries}{\itshape}
|
||||
\spnewtheorem{cor}[thm]{Corollary}{\bfseries}{\itshape}
|
||||
\spnewtheorem{lem}[thm]{Lemma}{\bfseries}{\itshape}
|
||||
\spnewtheorem{prop}[thm]{Proposition}{\bfseries}{\itshape}
|
||||
\spnewtheorem{defn}[thm]{Definition}{\bfseries}{\upshape}
|
||||
\spnewtheorem{rem}[thm]{Remark}{\bfseries}{\upshape}
|
||||
\spnewtheorem{notation}[thm]{Notation}{\bfseries}{\upshape}
|
||||
\spnewtheorem{expl}[thm]{Example}{\bfseries}{\upshape}
|
||||
\spnewtheorem{assumption}[thm]{Assumption}{\bfseries}{\upshape}
|
||||
|
||||
\renewenvironment{theorem}{\begin{thm}}{\end{thm}}
|
||||
\renewenvironment{corollary}{\begin{cor}}{\end{cor}}
|
||||
\renewenvironment{lemma}{\begin{lem}}{\end{lem}}
|
||||
\renewenvironment{proposition}{\begin{prop}}{\end{prop}}
|
||||
\renewenvironment{definition}{\begin{defn}}{\end{defn}}
|
||||
\renewenvironment{remark}{\begin{rem}}{\end{rem}}
|
||||
\renewenvironment{example}{\begin{expl}}{\end{expl}}
|
||||
|
||||
%\renewcommand{\sectionautorefname}{Section}%
|
||||
%\renewcommand{\subsectionautorefname}{Section}%
|
||||
|
||||
\let\vec\relax %
|
||||
\usepackage{accents}
|
||||
\newcommand\thickbar[1]{\accentset{\rule{.55em}{.6pt}}{#1}}
|
||||
|
||||
\sloppy
|
||||
|
||||
\usepackage{wasysym} %Pouya: I added this package for auxillary compositions.
|
||||
\usepackage{cancel}
|
||||
\usepackage{tikz-cd}
|
||||
\usetikzlibrary{arrows.meta}
|
||||
\usetikzlibrary{decorations} % Required for all decorations
|
||||
\usetikzlibrary{decorations.pathmorphing} % Specifically for 'zigzag'
|
||||
|
||||
\tikzset{
|
||||
commutative diagrams/.cd,
|
||||
arrow style = tikz,
|
||||
diagrams = {>=stealth},
|
||||
row sep = large,
|
||||
column sep = huge
|
||||
}
|
||||
|
||||
\usepackage{textcomp}
|
||||
|
||||
\usepackage{enumitem}
|
||||
%\setlist{itemsep=0ex}
|
||||
\setlist[itemize]{label={\small$\bullet$}}
|
||||
|
||||
\BeforeBeginEnvironment{align}{\noindent\ignorespaces}
|
||||
|
||||
\usepackage{todos}
|
||||
\usepackage{proof}
|
||||
\usepackage{xspace}
|
||||
\usepackage{bm}
|
||||
|
||||
\input{catprog}
|
||||
|
||||
%\usepackage{pict2e}
|
||||
|
||||
%\DeclareRobustCommand{\pigpenA}{%
|
||||
% \begingroup\setlength{\untlength}{1em}%
|
||||
% \linethickness{.075em}%
|
||||
% \begin{picture}(1,.8)
|
||||
% \roundcap\roundjoin
|
||||
% \polyline(.2,.2)(.8,.2)(.8,.8)
|
||||
% \end{picture}%
|
||||
% \endgroup
|
||||
%}
|
||||
|
||||
\newcommand{\lbs}[1]{
|
||||
\mathrel{%
|
||||
\tikz{
|
||||
\draw[double, double distance=.75pt, -{Stealth[inset=0pt, angle=75:4pt]}]
|
||||
(0,.3) -- node[inner sep=0pt,above=1.75pt,midway] {\scriptsize$#1$} (.5,.3);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
\newcommand{\pbk}{\arrow[dr, phantom, "\text{\tiny\pigpenA}", pos=0.05]}
|
||||
|
||||
\newcommand{\Fst}{\Pi_1} %{\oname{Fst}}
|
||||
\newcommand{\Snd}{\Pi_2} %{\oname{Snd}}
|
||||
\newcommand{\klstar}{\sharp} %% Kleisli star
|
||||
\newcommand{\istar}{\dagger}
|
||||
|
||||
\newcommand{\mSv}{\mS_\val}
|
||||
\newcommand{\mSc}{\mS_\com}
|
||||
\newcommand{\mSl}{\mS_\lambda}
|
||||
|
||||
\newcommand{\Sigmas}{\Sigma^\star}
|
||||
|
||||
\newcommand{\ar}{\oname{ar}}
|
||||
|
||||
\newcommand{\oWh}{\oname{while}}
|
||||
\newcommand{\oIf}{\oname{if}}
|
||||
\newcommand{\oPut}{\oname{put}}
|
||||
\newcommand{\oGet}{\oname{get}}
|
||||
\newcommand{\oSeq}{\oname{seq}}
|
||||
|
||||
\newcommand{\app}{\,}
|
||||
\usepackage{proof}
|
||||
\newcommand{\inference}[2]{\infer{~#2~}{~#1~}}
|
||||
|
||||
\newcommand{\St}{\Gamma}
|
||||
|
||||
\newcommand{\exend}{\hfill{\rotatebox[origin=c]{45}{$\Box$}}}
|
||||
|
||||
\makeatletter
|
||||
\let\dir@frac\frac
|
||||
\newcommand{\inv@frac}[2]{\dir@frac{#2}{#1}}
|
||||
|
||||
\renewcommand{\frac}{\@ifstar{\inv@frac}{\dir@frac}}
|
||||
\makeatother
|
||||
|
||||
%\renewcommand{\dar}{\kern1.2pt\operatorname{\downarrow}\kern1pt}
|
||||
|
||||
\newcommand{\G}{\St}
|
||||
\newcommand{\D}{\Delta}
|
||||
|
||||
%\usepackage{txfonts}
|
||||
%\usepackage{newtxtext,newtxmath}
|
||||
|
||||
\newcommand{\mon}{\bullet}
|
||||
\newcommand{\monto}{\mathrel{-}\joinrel\mathrel{\bullet}} %{\multimapdot}
|
||||
\newcommand{\Pt}{V}
|
||||
|
||||
\newcommand{\dc}{\mspace{\medmuskip};\mspace{.5\medmuskip}}
|
||||
\newcommand{\sep}{,\mspace{\medmuskip}}
|
||||
|
||||
\newcommand{\xCL}{\textbf{xCL}\xspace}
|
||||
\newcommand{\xTCL}{\textbf{xTCL}\xspace}
|
||||
\newcommand{\Ty}{\mathsf{Ty}\xspace}
|
||||
\newcommand{\Tr}{\mathsf{Tr}\xspace}
|
||||
\newcommand{\arty}[2]{#1 \rightarrowtriangle #2}
|
||||
\newcommand{\initob}{\textbf{0}}
|
||||
\newcommand{\termob}{\textbf{1}}
|
||||
\newcommand{\tcomp}{\textsf{comp}}
|
||||
\newcommand{\unt}{\mathsf{unit}}
|
||||
\newcommand{\true}{\mathsf{true}}
|
||||
\newcommand{\false}{\mathsf{false}}
|
||||
\newcommand{\bool}{\mathsf{bool}}
|
||||
\newcommand{\fpc}{\mathsf{fix}}
|
||||
\newcommand{\casec}{\mathsf{if}}
|
||||
\newcommand{\ndet}{\oplus} %{\;\ensuremath{\boldsymbol{\pmb{\oplus}}}\;}
|
||||
\newcommand{\paral}{\parallel} %{\;\ensuremath{\boldsymbol{\pmb{\mid\mid}}}\;}
|
||||
\newcommand{\nDownarrow}{\cancel{\Downarrow}}
|
||||
\newcommand{\paralv}{\mathrel{%
|
||||
\mathchoice{\PARV}{\PARV}{\scriptsize\PARV}{\tiny\PARV}
|
||||
}}
|
||||
|
||||
\def\PARV{{%
|
||||
\setbox0\hbox{$\parallel$}%
|
||||
\rlap{\hbox to \wd0{\hss\rule[-.5ex]{.75em}{.12ex}\hss}}\box0
|
||||
}}
|
||||
|
||||
|
||||
\usepackage{ifdraft}
|
||||
\ifdraft{
|
||||
% \usepackage{showframe}
|
||||
\usepackage{showlabels}
|
||||
\renewcommand{\showlabelfont}{\ttfamily\scriptsize}
|
||||
\usepackage[layout=footnote,draft]{fixme}
|
||||
|
||||
% \usepackage[notcite,notref]{showkeys}
|
||||
% \renewcommand*\showkeyslabelformat[1]{%
|
||||
% \raisebox{1ex}{\raggedleft{\textit{\tiny #1}}}
|
||||
}{
|
||||
\usepackage[layout=footnote,final]{fixme}
|
||||
}
|
||||
|
||||
\FXRegisterAuthor{sg}{asg}{SG} % Sergey
|
||||
\FXRegisterAuthor{pp}{app}{PP} % Pouya
|
||||
|
||||
\usepackage{savesym}
|
||||
|
||||
\savesymbol{degree}
|
||||
\savesymbol{leftmoon}
|
||||
\savesymbol{rightmoon}
|
||||
\savesymbol{fullmoon}
|
||||
\savesymbol{newmoon}
|
||||
\savesymbol{diameter}
|
||||
\savesymbol{emptyset}
|
||||
\savesymbol{bigtimes}
|
||||
%\savesymbol{blacktriangleright}
|
||||
\savesymbol{triangleright}
|
||||
|
||||
\savesymbol{langle}
|
||||
\savesymbol{rangle}
|
||||
|
||||
\usepackage[matha,mathx]{mathabx}
|
||||
|
||||
\restoresymbol{other}{langle}
|
||||
\restoresymbol{other}{rangle}
|
||||
\restoresymbol{other}{emptyset}
|
||||
\restoresymbol{other}{triangleright}
|
||||
|
||||
\usepackage{adjustbox}
|
||||
% For size of diagrams.
|
||||
|
||||
% document specific
|
||||
\newcommand{\val}{\mathsf{v}}
|
||||
\newcommand{\com}{\mathsf{c}}
|
||||
\newcommand{\nats}{\mathbb{N}}
|
||||
\newcommand{\ints}{\mathbb{Z}}
|
||||
\newcommand{\mS}{\mu\Sigma}
|
||||
\newcommand{\bss}{\oname{bs}}
|
||||
\renewcommand{\paragraph}[1]{\medskip\noindent{\bfseries\sffamily #1.}}
|
||||
\renewcommand{\comp}{\cdot}
|
||||
\newcommand{\dist}{\oname{dist}}
|
||||
\newcommand{\ldist}{\oname{dist}'}
|
||||
\newcommand{\zero}{\oname{o}}
|
||||
\newcommand{\suc}{\oname{s}}
|
||||
\newcommand{\init}{\oname{init}}
|
||||
\newcommand{\primr}{\oname{primr}}
|
||||
|
||||
\newcommand{\peval}{\frak{p}}
|
||||
\newcommand{\teval}{\frak{t}}
|
||||
\newcommand{\neval}{\frak{n}}
|
||||
\newcommand{\rcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\RIGHTcircle$}}}}
|
||||
\newcommand{\lcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\LEFTcircle$}}}}
|
||||
\newcommand{\fcomp}{\mathbin{\raisebox{1pt}{\scalebox{.6}{$\CIRCLE$}}}}%Pouya: I added these three.
|
||||
\newcommand{\tsto}{\leftrightarrow}
|
||||
\newcommand{\ba}{\Downarrow}
|
||||
%\newcommand{\bba}{\pmb{\Downarrow}}
|
||||
\newcommand{\ssim}{\mathrel{\pmb{\sim}}}
|
||||
\newcommand{\hatssim }{\mathrel{\hat{\ssim}}}
|
||||
\newcommand{\dhatssim }{\mathrel{\dhat{\ssim}}}
|
||||
\newcommand{\klplus}{\boxplus}
|
||||
\newcommand{\coit}{\mathsf{coit}}
|
||||
\newcommand{\itt}{\mathsf{it}}
|
||||
\newcommand{\eval}{\mathsf{eval}}
|
||||
\newcommand{\refl}{\mathsf{refl}}
|
||||
\newcommand{\trans}{\mathsf{trans}}
|
||||
\newcommand{\preord}{\mathbf{PreOrd}}
|
||||
\newcommand{\rel}{\mathbf{Rel}}
|
||||
\newcommand{\gra}{\mathbf{Gra}}
|
||||
\newcommand{\obj}{\mathbf{Obj}}
|
||||
|
||||
|
||||
\newcommand{\bba}{
|
||||
\mathrel{%
|
||||
\begin{tikzpicture}[baseline=-6pt]
|
||||
\draw[double, double distance=.75pt, -{Stealth[inset=0pt, angle=75:4pt]}] (0,.02) -- (0,-.28);
|
||||
\end{tikzpicture}%
|
||||
}%
|
||||
}
|
||||
|
||||
\usepackage[final]{listings}
|
||||
|
||||
\lstset{
|
||||
language=Haskell
|
||||
%,xleftmargin=2.0cm
|
||||
, basicstyle=\small
|
||||
, commentstyle=\color{gray}
|
||||
, stringstyle=\itshape % string literal style
|
||||
, keepspaces=true % keeps spaces in text, useful for keeping indentation of code
|
||||
, numbers=none % possible values are (none, left, right)
|
||||
, identifierstyle={\itshape}
|
||||
, flexiblecolumns={true}
|
||||
, showstringspaces={false}
|
||||
%,mathescape={true}
|
||||
, captionpos=b
|
||||
, deletekeywords={join,return,Eval,Left,Either,Right,id,either,Void,Functor,Monad}
|
||||
% , morekeywords={Free}
|
||||
, emphstyle=\slshape
|
||||
, literate={\\}{{$\lambda$}}1 {->}{{$\rightarrow$}}2
|
||||
, literate=
|
||||
{'}{$\,{}^\prime$\!}1
|
||||
{+s}{{$\,$}}1
|
||||
{\\}{{$\lambda$}}1
|
||||
{lnot}{$\lnot$}3
|
||||
{=>}{{$\Rightarrow$}}1
|
||||
{<=}{{$\leq$}}1
|
||||
{<<-}{{$\in$}}1
|
||||
{<<=}{{$\subseteq$}}1
|
||||
{>>=}{{$\gg\kern-1pt=$}}1
|
||||
{++}{{$\varoplus$}}2
|
||||
{|->}{{$\mapsto$}}1
|
||||
{->}{{$\rightarrow$}}1
|
||||
{->d}{{$\rightarrow_\delta$}}2
|
||||
{->b}{{$\rightarrow_\beta$}}2
|
||||
{->bd}{{$\rightarrow_{\beta\delta}^*$}}2
|
||||
{::=}{{$:=$}}2
|
||||
{:=}{{$\mapsto$}}1
|
||||
{alpha}{{$\alpha$}}1
|
||||
{UU}{{$\cup$}}1
|
||||
{All}{{${\forall}\!\!\!\!$}}1
|
||||
}
|
||||
|
||||
|
||||
\setcounter{totalnumber}{1} % No two figures in one page
|
||||
|
||||
\begin{document}\allowdisplaybreaks
|
||||
|
||||
\let\cedilla\c
|
||||
\renewcommand{\c}{\colon}
|
||||
|
||||
%
|
||||
\title{Weak Similarity for Strongly Separated HO-GSOS.}
|
||||
%
|
||||
%\titlerunning{Abbreviated paper title}
|
||||
% If the paper title is too long for the running head, you can set
|
||||
% an abbreviated paper title here
|
||||
%
|
||||
\author{Sergey Goncharov\inst{1}\orcidID{0000-0001-6924-8766} \and
|
||||
Pouya Partow\inst{1}\orcidID{0009-0003-9652-9469}}
|
||||
%
|
||||
\authorrunning{S.~Goncharov, P.~Partow}
|
||||
% First names are abbreviated in the running head.
|
||||
% If there are more than two authors, 'et al.' is used.
|
||||
%
|
||||
\institute{University of Birmingham, UK\\
|
||||
\email{\{s.goncharov,p.partow\}@bham.ac.uk}}
|
||||
%
|
||||
\maketitle % typeset the header of the contribution
|
||||
%
|
||||
\begin{abstract}
|
||||
Hello simulation!
|
||||
\end{abstract}
|
||||
%
|
||||
%
|
||||
%
|
||||
|
||||
\end{document}
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user