From 04787b97e28a61c0e96ae9c3670c47c6bb1c881e Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Wed, 23 Sep 2009 15:41:14 +0200
Subject: [PATCH] Add a hack to make \overrightarrow work in MetaPost.

---
 Utils/Metapost.tex | 6 ++++++
 1 file changed, 6 insertions(+)

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} 
-- 
2.30.2