From 3367bd238798b30f464d9ddeb0b9084c85bf13b1 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 12 Feb 2016 17:36:27 +0100
Subject: [PATCH] make some arrows nicer
---
docs/setup.tex | 9 +++++----
1 file changed, 5 insertions(+), 4 deletions(-)
diff --git a/docs/setup.tex b/docs/setup.tex
index cdc22c152..14c27b93c 100644
--- a/docs/setup.tex
+++ b/docs/setup.tex
@@ -162,11 +162,11 @@
\newcommand{\judgment}[2]{\paragraph{#1}\hspace{\stretch{1}}\fbox{$#2$}}
\newcommand{\pfn}{\rightharpoonup}
-\newcommand{\fpfn}{\stackrel{\textrm{fin}}{\rightharpoonup}}
+\newcommand\fpfn{}%\xrightharpoonup{\kern-0.25ex\textrm{fin}\kern-0.25ex}}
\newcommand{\ra}{\rightarrow}
\newcommand{\Ra}{\Rightarrow}
\newcommand{\Lra}{\Leftrightarrow}
-\newcommand{\monra}{\stackrel{\textrm{mon}}{\rightarrow}}
+\newcommand\monra{}%\xrightarrow{\kern-0.25ex\textrm{mon}\kern-0.25ex}}
\newcommand{\eqdef}{\triangleq}
@@ -325,9 +325,10 @@
\newcommand{\wand}{\;{{\mbox{---}}\!\!{*}}\;}
-\newcommand{\fmapsto}[1][-]{\stackrel{#1}{\mapsto}}
+% oh my... I have to wrap the "-" in a \mathrm, otherwise all hell breaks lose...
+\newcommand{\fmapsto}[1][\mathrm{-}]{\xmapsto{#1}}
\newcommand{\gmapsto}{\hookrightarrow}%
-\newcommand{\fgmapsto}[1][-]{\stackrel{#1}{\gmapsto}}%
+\newcommand{\fgmapsto}[1][\mathrm{-}]{\xhookrightarrow{#1}}%
\newcommand{\dyn}[2]{\textlog{wp}({#1}, {#2})}
\newcommand{\adyn}[2]{{#1}\;\llparenthesis{#2}\rrparenthesis}
--
GitLab