From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 23 Sep 2009 13:41:14 +0000 (+0200)
Subject: Add a hack to make \overrightarrow work in MetaPost.
X-Git-Tag: final-thesis~254
X-Git-Url: https://git.stderr.nl/gitweb?p=matthijs%2Fmaster-project%2Freport.git;a=commitdiff_plain;h=04787b97e28a61c0e96ae9c3670c47c6bb1c881e;ds=sidebyside

Add a hack to make \overrightarrow work in MetaPost.
---

diff --git a/Utils/Metapost.tex b/Utils/Metapost.tex
index 6d00ae4..7caa6e0 100644
--- a/Utils/Metapost.tex
+++ b/Utils/Metapost.tex
@@ -95,3 +95,9 @@ setObjectDefaultOption("Reg")("reflect")(false);
 setObjectDefaultOption("Reg")("labels")(false);
 
 \stopMPinclusions
+
+% Make \overrightarrow "unexpanded", to make it work within metapost.
+% http://www.ntg.nl/pipermail/ntg-context/2009/043620.html. Will be fixed in
+% context.
+\let\normaloverrightarrow\overrightarrow                                                                                                                     
+\unexpanded\def\overrightarrow{\normaloverrightarrow}