Add a hack to make \overrightarrow work in MetaPost.

diff --git a/Utils/Metapost.tex b/Utils/Metapost.tex
index 6d00ae47ca901d393b16de523de9d376f8d95833..7caa6e0275c53ab2d20413697e18e8c42151fd65 100644 (file)
--- 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}