diff --git a/alliance/src/vex/src/vexenv.c b/alliance/src/vex/src/vexenv.c
index 17177a16..92d809d1 100644
--- a/alliance/src/vex/src/vexenv.c
+++ b/alliance/src/vex/src/vexenv.c
@@ -115,8 +115,8 @@
     "EG",
     "EX",
     "EU",
-    "<=>",
-    "==>"
+    "<->",
+    "->"
   };
 
 /* A few declaration that should be in vexenv I believe, but I leave