diff options
Diffstat (limited to 'starmath/source/commands.src')
-rw-r--r-- | starmath/source/commands.src | 53 |
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 }; - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - |