AUTHOREA
Log in
Sign Up
Browse Preprints
LOG IN
SIGN UP
this is for holding javascript data
Boolean DeGroot Processes, Fixpoint Logics and Liquid Democracy
/
header.tex
\usepackage{stmaryrd} \usepackage{amsmath} \usepackage{amssymb} \usepackage{amsthm} %\usepackage{email} \usepackage{enumitem} \usepackage[normalem]{ulem} \usepackage{centernot} \usepackage{comment} \newtheorem{definition}{Definition} \newtheorem{lemma}{Lemma} \newtheorem{theorem}{Theorem} \newtheorem{fact}{Fact} \newtheorem{proposition}{Proposition} \newtheorem{corollary}{Corollary} \newtheorem{contact}{Contact} %%%%%% MACROS \renewcommand{\L}{\mathcal{L}} \newcommand{\N}{N} \newcommand{\T}{\mathcal T} \newcommand{\I}{\mathcal I} \newcommand{\Model}{\mathcal{M}} \renewcommand{\S}{\mathcal{A}} \newcommand{\G}{{\bf G}} \newcommand{\Atoms}{{\bf P}} \newcommand{\C}{{\bf C}} \renewcommand{\O}{{\bf O}} \newcommand{\tuple}[1]{\left\langle #1 \right\rangle} \newcommand{\set}[1]{\left\{ #1 \right\}} %\newcommand{\N}{N} %\newcommand{\T}{\mathcal T} %\newcommand{\I}{\mathcal I} %\newcommand{\ic}{\text{\sc IC}} %\newcommand{\D}{\mathcal D} %\newcommand{\J}{\mathcal A} %%%%%% LOGIC STUFF %\newcommand{\Val}{V} \renewcommand{\phi}{\varphi} \newcommand{\Frame}{\mathcal{F}} \newcommand{\true}[1]{\lVert #1 \rVert} \newcommand{\K}{\mathsf{K}} \newcommand{\lequiv}{\leftrightarrow} \newcommand{\limp}{\rightarrow} %\newcommand{\lbox}{\square} %\newcommand{\ldia}{\lozenge} \newcommand{\ldia}[1]{\left\langle #1 \right\rangle} \newcommand{\lbox}[1]{\left[ #1 \right]} \newcommand{\Stb}{\mathsf{stb}} %%%%%% META SYNTAX \newcommand{\IF}{\mbox{ \textsc{if} }} \newcommand{\THEN}{\mbox{ \textsc{then} }} \newcommand{\IMPLIES}{\mbox{ \textsc{implies} }} \newcommand{\OR}{\mbox{ \textsc{or} }} \newcommand{\AND}{\mbox{ \textsc{and} }} \newcommand{\IFF}{\Longleftrightarrow} \newcommand{\ST}{\mbox{ \textsc{s.t.} }} \newcommand{\FOR}{\mbox{ \textsc{for} }} %%%%%% DRAWINGS TIKZ IS NOT SUPPORTED :( %\usepackage{tikz} %\usetikzlibrary{arrows,automata,decorations.pathmorphing,decorations.pathreplacing,backgrounds,positioning,fit,calc} %%%%%%%%%%COMSOC STUFF \ProvidesClass{comsoc2016}[2008/03/25 ^^JLaTeX Document Class for COMSOC Papers (A4 format) by Ulle Endriss] % Based on article.cls %\LoadClass[a4paper,10pt]{article} \RequirePackage{url} \pagestyle{empty} \sloppy % Textarea \setlength{\textwidth}{5.5in} \setlength{\textheight}{8.5in} \setlength{\oddsidemargin}{0.35in} \setlength{\evensidemargin}{0.0in} \setlength{\topmargin}{0in} % Define title %\renewcommand{\title}[1]{\renewcommand{\thetitle}{#1}} %\newcommand{\thetitle}{Please define a title using the \texttt{$\backslash$title\{\ldots\}} command!} % Define author(s) %\renewcommand{\author}[1]{\renewcommand{\theauthor}{#1}} %\newcommand{\theauthor}{Please define authors using the \texttt{$\backslash$author\{\ldots\}} command!} % Define abstract \renewenvironment{abstract}{\begin{center}\small\textbf{Abstract}\\[8pt] \begin{minipage}{.85\textwidth}}{\end{minipage}\end{center}} % Define contact details for an author \newenvironment{contact}{\begin{center}\begin{tabular}{@{}l}}{\end{tabular}\hfill\mbox{}\end{center}} % Define email address \newcommand{\email}[1]{Email:~\url{#1}} % Start by printing title and author names %\AtBeginDocument{ \begin{center} {\LARGE\textbf{\thetitle}\par}\vskip 1.7em {\large\theauthor} \vskip 2em\end{center}}