Latex Macros for Promise Theory

To place before begin-document:



\def\lrarrow{\leftrightarrow \kern-8pt \rightarrow}
\def\lrarrow{\leftrightarrow \kern-8pt \rightarrow}
\def\imply{\Rightarrow}
\def\frightarrow{\rightarrow \kern-11pt /~~}

To place after begin-document


\newcommand{\trust}[2]{\stackrel{#1\mapsto #2}{\top}}
\newcommand{\promise}[1]{\stackrel{#1}{\longrightarrow}}
\newcommand{\handshake}[1]{\stackrel{#1}{\lrarrow}}
\newcommand{\cpromise}[1]{\stackrel{#1}{\frightrarrow}}

root

Last modified: Fri Sep 28 15:51:24 CEST 2007