51 lines
1.5 KiB
TeX
51 lines
1.5 KiB
TeX
%%%%%% Standard Packages %%%%%%
|
|
\usepackage{graphicx}
|
|
\usepackage{amssymb}
|
|
%\usepackage[noend]{algorithmic}
|
|
\usepackage{algorithm}
|
|
\usepackage{algpseudocode}
|
|
\usepackage{textcomp}
|
|
\usepackage{listings}
|
|
\usepackage[usenames,dvipsnames]{xcolor}
|
|
\usepackage{subcaption}
|
|
\usepackage{cite}
|
|
\usepackage{hyperref}
|
|
\usepackage{lipsum}
|
|
\usepackage[normalem]{ulem}
|
|
\usepackage{listings}
|
|
\usepackage{xspace}
|
|
\usepackage{color}
|
|
\usepackage{wrapfig}
|
|
\usepackage[textsize=tiny]{todonotes}
|
|
\usepackage{cleveref}
|
|
\usepackage{tabu}
|
|
\usepackage{paralist}
|
|
\usepackage{utf8}
|
|
|
|
%%%%%% Package Configuration %%%%%%
|
|
%%% Listings
|
|
\lstset{language=sql,morekeywords={LENS,SCHEMA_MATCHING,string},basicstyle=\small\upshape\ttfamily,keywordstyle=\color{blue}}
|
|
%%% Algorithmic
|
|
\renewcommand{\algorithmicrequire}{\textbf{In:}}
|
|
\renewcommand{\algorithmicensure}{\textbf{Out:}}
|
|
|
|
%%%%%% Standard Theorem Environments %%%%%%
|
|
\newtheorem{example}{Example}
|
|
\newtheorem{scenario}{Scenario}
|
|
\newtheorem{definition}{Definition}
|
|
|
|
%%%%%% Common Math-Mode Aliases %%%%%%
|
|
\newcommand{\comprehension}[2]{\left\{\;{#1}\;|\;{#2}\;\right\}}
|
|
\newcommand{\tuple}[1]{\left<\;{#1}\;\right>}
|
|
\newcommand{\ordefn}{\;|\;}
|
|
\newcommand{\sch}[1]{\texttt{schema}({#1})}
|
|
\newcommand{\projection}{\pi}
|
|
\newcommand{\selection}{\sigma}
|
|
|
|
%%%%%% TODOs %%%%%%
|
|
|
|
%%%%%% Other Aliases %%%%%%
|
|
\newcommand{\ccomment}[1]{{\small\texttt{/*} #1 \texttt{*/}}}
|
|
\newcommand{\tinysection}[1]{\smallskip\noindent \textbf{#1.}$\,$}
|
|
\newcommand{\keyword}[1]{\textcolor{blue}{\texttt{#1}}}
|
|
\newcommand{\inlineitem}[1]{\noindent -- \emph{{#1}:}} |