## some typesetting solutions

All definitions are designed to be used within math mode unless otherwise specified.
updated September 19, 2009.

logic
description
definition
command
output
non-monotonic squiggle/snake \newcommand{\nc}{\,\mid\!\sim\,} \nc
non-monotonic consequence \newcommand{\nm}{\,\mid\!\approx\,} \nm
non-decomposable entailment \newcommand{\entailsM}{\,\mid\!\bumpeq\,} \entailsM
modal satisfaction \newcommand{\vm}[2]{
$\Vdash^{\mathcal{M}}_{#1_{{#2}}}$}
\vm{w}{1}
\vm{w}
\vm{}
necessity operator \newcommand{\nec}{\nabla} \nec
possibility operator \newcommand{\pos}{
\rotatebox[origin=c]{180}{$\nabla$}}
\pos
contraction operator \newcommand{\dotminus}{
\buildrel\textstyle.\over{\hbox{
\vrule height3pt depth0pt width0pt}{\smash-}
}}
\dotminus

probability

description
definition
command
output
credal set \def\crs{\mathbb{K}} \crs
c-dagger \newcommand{\cdagger}{\bm{\mathrm c^\dagger}} \cdagger
c-star \newcommand{\cstar}{\bm{\mathrm c^*}} \cstar
evidential certainties \def\Gd{\Gamma_{\delta}} \Gd
independence* \newcommand\ind{
\protect\mathpalette{\protect\independenT}{\perp}}
\def\independenT#1#2{
\mathrel{\rlap{$#1#2$}\mkern2mu{#1#2}}}
\ind

* thanks to Jon Williamson

sets and lists
description
definition
command
output
set construction \newcommand{\set}[2]{
\left\{#1\colon#2\right\}}
\set{f(x)}{x\in A}
n-tuples, in text mode or math mode; sets variables to san serif à la Barwise & Etchemendy* \newcommand{\ntuple}[2]{
{\sf #1}$_{1}$,\ldots,{\sf #1}$_{#2}$}
\ntuple{\phi}{n}
\ntuple{P}{n}

* thanks to Anthony Dardis

beamer
description
code

When <arg> is empty, all navigation symbols are removed. For other options, see Matthias Pospiech's page.

Getting natbib to work with beamer*

Insert \def\newblock{} immediately before your \bibliography{<arg>}.

* thanks to Jonah Schupbach