fdo #37007 Add Math symbol "There does not exist".

1 files changed, 7 insertions, 46 deletions

diff --git a/starmath/source/commands.src b/starmath/source/commands.src
index 9d618bbd0cf3..150f0df36aea 100644
--- a/starmath/source/commands.src
+++ b/starmath/source/commands.src
@@ -119,6 +119,7 @@ String RID_LIMX             { Text = "lim <?> " ; };
 String RID_LIMINFX          { Text = "liminf <?> " ; };
 String RID_LIMSUPX          { Text = "limsup <?> " ; };
 String RID_EXISTS           { Text = "exists " ; };
+String RID_NOTEXISTS        { Text = "notexists " ; };
 String RID_FORALL           { Text = "forall " ; };
 String RID_INTX             { Text = "int <?> " ; };
 String RID_IINTX            { Text = "iint <?> " ; };
@@ -1410,6 +1411,12 @@ Menu RID_COMMANDMENU
                     };
                     MenuItem
                     {
+                        Identifier = RID_NOTEXISTS;
+                        HelpId = HID_SMA_NOTEXISTS;
+                        Text = "not exists";
+                    };
+                    MenuItem
+                    {
                         Identifier = RID_FORALL;
                         HelpId = HID_SMA_FORALL;
                         Text = "forall";
@@ -1513,49 +1520,3 @@ Menu RID_COMMANDMENU
 };
 
 
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-