(bug 19159) Fixed missing tex_use_ams() for \overleftrightarrow. Patch suggested...

diff --git a/RELEASE-NOTES b/RELEASE-NOTES
index d49a5ca..989c80b 100644 (file)
--- a/RELEASE-NOTES
+++ b/RELEASE-NOTES
@@ -626,6 +626,7 @@ Hopefully we will remove this configuration var soon)
 * (bug 20112) Bitrotted tests in the t/ directory were failing.
 * (bug 21470) MediaWiki:Sp-contributions-explain is now wrapped in a <p> with
   id "mw-sp-contributions-explain"
+* (bug 19159) Fixed \overleftrightarrow in texvc
 
 == API changes in 1.16 ==
 

diff --git a/math/texutil.ml b/math/texutil.ml
index 7355bd6..5062b66 100644 (file)
--- a/math/texutil.ml
+++ b/math/texutil.ml
@@ -481,7 +481,7 @@ let find = function
     | "\\underbrace"       -> LITERAL (TEX_ONLY "\\underbrace ")
     | "\\overleftarrow"    -> LITERAL (TEX_ONLY "\\overleftarrow ")
     | "\\overrightarrow"   -> LITERAL (TEX_ONLY "\\overrightarrow ")
-    | "\\overleftrightarrow"->LITERAL (TEX_ONLY "\\overleftrightarrow ")
+    | "\\overleftrightarrow"-> (tex_use_ams(); LITERAL (TEX_ONLY "\\overleftrightarrow "))
     | "\\check"            -> FUN_AR1 "\\check "
     | "\\acute"            -> FUN_AR1 "\\acute "
     | "\\grave"            -> FUN_AR1 "\\grave "