Add a hack to make \overrightarrow work in MetaPost.
authorMatthijs Kooijman <matthijs@stdin.nl>
Wed, 23 Sep 2009 13:41:14 +0000 (15:41 +0200)
committerMatthijs Kooijman <matthijs@stdin.nl>
Wed, 23 Sep 2009 13:41:14 +0000 (15:41 +0200)
Utils/Metapost.tex

index 6d00ae4..7caa6e0 100644 (file)
@@ -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}