xref: /trunk/main/starmath/source/commands.src (revision cdf0e10c4e3984b49a9502b011690b615761d4a3)
1/*************************************************************************
2 *
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * Copyright 2000, 2010 Oracle and/or its affiliates.
6 *
7 * OpenOffice.org - a multi-platform office productivity suite
8 *
9 * This file is part of OpenOffice.org.
10 *
11 * OpenOffice.org is free software: you can redistribute it and/or modify
12 * it under the terms of the GNU Lesser General Public License version 3
13 * only, as published by the Free Software Foundation.
14 *
15 * OpenOffice.org is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
18 * GNU Lesser General Public License version 3 for more details
19 * (a copy is included in the LICENSE file that accompanied this code).
20 *
21 * You should have received a copy of the GNU Lesser General Public License
22 * version 3 along with OpenOffice.org.  If not, see
23 * <http://www.openoffice.org/license.html>
24 * for a copy of the LGPLv3 License.
25 *
26 ************************************************************************/
27
28
29#include <sfx2/sfx.hrc>
30#include "starmath.hrc"
31
32
33////////////////////////////////////////////////////////////
34
35String RID_PLUSX            { Text = "+<?> " ; };
36String RID_MINUSX           { Text = "-<?> " ; };
37String RID_PLUSMINUSX       { Text = "+-<?> " ; };
38String RID_MINUSPLUSX       { Text = "-+<?> " ; };
39String RID_NEGX             { Text = "neg <?> " ; };
40String RID_XPLUSY           { Text = "<?> + <?> " ; };
41String RID_XMINUSY          { Text = "<?> - <?> " ; };
42String RID_XCDOTY           { Text = "<?> cdot <?> " ; };
43String RID_XTIMESY          { Text = "<?> times <?> " ; };
44String RID_XSYMTIMESY       { Text = "<?> * <?> " ; };
45String RID_XSYMDIVIDEY      { Text = "<?> / <?> " ; };
46String RID_XDIVY            { Text = "<?> div <?> " ; };
47String RID_XOVERY           { Text = "{<?>} over {<?>} " ; };
48String RID_XODIVIDEY        { Text = "<?> odivide <?> " ; };
49String RID_XODOTY           { Text = "<?> odot <?> " ; };
50String RID_XOMINUSY         { Text = "<?> ominus <?> " ; };
51String RID_XOPLUSY          { Text = "<?> oplus <?> " ; };
52String RID_XOTIMESY         { Text = "<?> otimes <?> " ; };
53String RID_XANDY            { Text = "<?> and <?> " ; };
54String RID_XORY             { Text = "<?> or <?> " ; };
55String RID_XEQY             { Text = "<?> = <?> " ; };
56String RID_XNEQY            { Text = "<?> <> <?> " ; };
57String RID_XLTY             { Text = "<?> < <?> " ; };
58String RID_XGTY             { Text = "<?> > <?> " ; };
59String RID_XLEY             { Text = "<?> <= <?> " ; };
60String RID_XGEY             { Text = "<?> >= <?> " ; };
61String RID_XLESLANTY        { Text = "<?> leslant <?> " ; };
62String RID_XGESLANTY        { Text = "<?> geslant <?> " ; };
63String RID_XLLY             { Text = "<?> << <?> " ; };
64String RID_XGGY             { Text = "<?> >> <?> " ; };
65String RID_XDEFY            { Text = "<?> def <?> " ; };
66String RID_XEQUIVY          { Text = "<?> equiv <?> " ; };
67String RID_XAPPROXY         { Text = "<?> approx <?> " ; };
68String RID_XSIMY            { Text = "<?> sim <?> " ; };
69String RID_XSIMEQY          { Text = "<?> simeq <?> " ; };
70String RID_XPROPY           { Text = "<?> prop <?> " ; };
71String RID_XORTHOY          { Text = "<?> ortho <?> " ; };
72String RID_XPARALLELY       { Text = "<?> parallel <?> " ; };
73String RID_XTOWARDY         { Text = "<?> toward <?> " ; };
74String RID_XTRANSLY         { Text = "<?> transl <?> " ; };
75String RID_XTRANSRY         { Text = "<?> transr <?> " ; };
76String RID_XINY             { Text = "<?> in <?> " ; };
77String RID_XNOTINY          { Text = "<?> notin <?> " ; };
78String RID_XOWNSY           { Text = "<?> owns <?> " ; };
79String RID_XUNIONY          { Text = "<?> union <?> " ; };
80String RID_XINTERSECTIONY   { Text = "<?> intersection <?> " ; };
81String RID_XSETMINUSY       { Text = "<?> setminus <?> " ; };
82String RID_XSLASHY          { Text = "<?> slash <?> " ; };
83String RID_XSUBSETY         { Text = "<?> subset <?> " ; };
84String RID_XSUBSETEQY       { Text = "<?> subseteq <?> " ; };
85String RID_XSUPSETY         { Text = "<?> supset <?> " ; };
86String RID_XSUPSETEQY       { Text = "<?> supseteq <?> " ; };
87String RID_XNSUBSETY        { Text = "<?> nsubset <?> " ; };
88String RID_XNSUBSETEQY      { Text = "<?> nsubseteq <?> " ; };
89String RID_XNSUPSETY        { Text = "<?> nsupset <?> " ; };
90String RID_XNSUPSETEQY      { Text = "<?> nsupseteq <?> " ; };
91String RID_ABSX             { Text = "abs{<?>} " ; };
92String RID_FACTX            { Text = "fact {<?>} " ; };
93String RID_SQRTX            { Text = "sqrt{<?>} " ; };
94String RID_NROOTXY          { Text = "nroot{<?>}{<?>} " ; };
95String RID_EX               { Text = "func e^{<?>} " ; };
96String RID_EXPX             { Text = "exp(<?>) " ; };
97String RID_LNX              { Text = "ln(<?>) " ; };
98String RID_LOGX             { Text = "log(<?>) " ; };
99String RID_SINX             { Text = "sin(<?>) " ; };
100String RID_COSX             { Text = "cos(<?>) " ; };
101String RID_TANX             { Text = "tan(<?>) " ; };
102String RID_COTX             { Text = "cot(<?>) " ; };
103String RID_ARCSINX          { Text = "arcsin(<?>) " ; };
104String RID_ARCCOSX          { Text = "arccos(<?>) " ; };
105String RID_ARCTANX          { Text = "arctan(<?>) " ; };
106String RID_ARCCOTX          { Text = "arccot(<?>) " ; };
107String RID_SINHX            { Text = "sinh(<?>) " ; };
108String RID_COSHX            { Text = "cosh(<?>) " ; };
109String RID_TANHX            { Text = "tanh(<?>) " ; };
110String RID_COTHX            { Text = "coth(<?>) " ; };
111String RID_ARSINHX          { Text = "arsinh(<?>) " ; };
112String RID_ARCOSHX          { Text = "arcosh(<?>) " ; };
113String RID_ARTANHX          { Text = "artanh(<?>) " ; };
114String RID_ARCOTHX          { Text = "arcoth(<?>) " ; };
115String RID_SUMX             { Text = "sum <?> " ; };
116String RID_PRODX            { Text = "prod <?> " ; };
117String RID_COPRODX          { Text = "coprod <?> " ; };
118String RID_LIMX             { Text = "lim <?> " ; };
119String RID_LIMINFX          { Text = "liminf <?> " ; };
120String RID_LIMSUPX          { Text = "limsup <?> " ; };
121String RID_EXISTS           { Text = "exists " ; };
122String RID_FORALL           { Text = "forall " ; };
123String RID_INTX             { Text = "int <?> " ; };
124String RID_IINTX            { Text = "iint <?> " ; };
125String RID_IIINTX           { Text = "iiint <?> " ; };
126String RID_LINTX            { Text = "lint <?> " ; };
127String RID_LLINTX           { Text = "llint <?> " ; };
128String RID_LLLINTX          { Text = "lllint <?> " ; };
129String RID_FROMX            { Text = "from{<?>} <?> " ; };
130String RID_TOX              { Text = "to{<?>} <?> " ; };
131String RID_FROMXTOY         { Text = "from{<?>} to{<?>} <?> " ; };
132String RID_ACUTEX           { Text = "acute <?> " ; };
133String RID_BARX             { Text = "bar <?> " ; };
134String RID_BREVEX           { Text = "breve <?> " ; };
135String RID_CHECKX           { Text = "check <?> " ; };
136String RID_CIRCLEX          { Text = "circle <?> " ; };
137String RID_DOTX             { Text = "dot <?> " ; };
138String RID_DDOTX            { Text = "ddot <?> " ; };
139String RID_DDDOTX           { Text = "dddot <?> " ; };
140String RID_GRAVEX           { Text = "grave <?> " ; };
141String RID_HATX             { Text = "hat <?> " ; };
142String RID_TILDEX           { Text = "tilde <?> " ; };
143String RID_VECX             { Text = "vec <?> " ; };
144String RID_UNDERLINEX       { Text = "underline {<?>} " ; };
145String RID_OVERLINEX        { Text = "overline {<?>} " ; };
146String RID_OVERSTRIKEX      { Text = "overstrike {<?>} " ; };
147String RID_PHANTOMX         { Text = "phantom {<?>} " ; };
148String RID_BOLDX            { Text = "bold <?> " ; };
149String RID_ITALX            { Text = "ital <?> " ; };
150String RID_SIZEXY           { Text = "size <?> {<?>} " ; };
151String RID_FONTXY           { Text = "font <?> {<?>} " ; };
152String RID_COLORX           { Text = "color <?> {<?>} " ; };
153String RID_LRGROUPX         { Text = "{<?>} " ; };
154String RID_LRPARENTX        { Text = "(<?>) " ; };
155String RID_LRBRACKETX       { Text = "[<?>] " ; };
156String RID_LRDBRACKETX      { Text = "ldbracket <?> rdbracket " ; };
157String RID_LRBRACEX         { Text = "lbrace <?> rbrace " ; };
158String RID_LRANGLEX         { Text = "langle <?> rangle " ; };
159String RID_LRCEILX          { Text = "lceil <?> rceil " ; };
160String RID_LRFLOORX         { Text = "lfloor <?> rfloor " ; };
161String RID_LRLINEX          { Text = "lline <?> rline " ; };
162String RID_LRDLINEX         { Text = "ldline <?> rdline " ; };
163String RID_LMRANGLEXY       { Text = "langle <?> mline <?> rangle " ; };
164String RID_SLRPARENTX       { Text = "left ( <?> right ) " ; };
165String RID_SLRBRACKETX      { Text = "left [ <?> right ] " ; };
166String RID_SLRDBRACKETX     { Text = "left ldbracket <?> right rdbracket " ; };
167String RID_SLRBRACEX        { Text = "left lbrace <?> right rbrace " ; };
168String RID_SLRANGLEX        { Text = "left langle <?> right rangle " ; };
169String RID_SLRCEILX         { Text = "left lceil <?> right rceil " ; };
170String RID_SLRFLOORX        { Text = "left lfloor <?> right rfloor " ; };
171String RID_SLRLINEX         { Text = "left lline <?> right rline " ; };
172String RID_SLRDLINEX        { Text = "left ldline <?> right rdline " ; };
173String RID_SLMRANGLEXY      { Text = "left langle <?> mline <?> right rangle " ; };
174String RID_XOVERBRACEY      { Text = "{<?>} overbrace {<?>} " ; };
175String RID_XUNDERBRACEY     { Text = "{<?>} underbrace {<?>} " ; };
176String RID_RSUBX            { Text = "<?>_{<?>}" ; };
177String RID_RSUPX            { Text = "<?>^{<?>}" ; };
178String RID_LSUBX            { Text = "<?> lsub{<?>} " ; };
179String RID_LSUPX            { Text = "<?> lsup{<?>} " ; };
180String RID_CSUBX            { Text = "<?> csub{<?>} " ; };
181String RID_CSUPX            { Text = "<?> csup{<?>} " ; };
182String RID_SBLANK           { Text = "`" ; };
183String RID_BLANK            { Text = "~" ; };
184String RID_NEWLINE          { Text = "newline " ; };
185String RID_BINOMXY          { Text = "binom{<?>}{<?>} " ; };
186String RID_STACK            { Text = "stack{<?> # <?> # <?>} " ; };
187String RID_MATRIX           { Text = "matrix{<?> # <?> ## <?> # <?>} " ; };
188String RID_ALIGNLX          { Text = "alignl <?> " ; };
189String RID_ALIGNCX          { Text = "alignc <?> " ; };
190String RID_ALIGNRX          { Text = "alignr <?> " ; };
191String RID_ALEPH            { Text = "aleph " ; };
192String RID_EMPTYSET         { Text = "emptyset " ; };
193String RID_RE               { Text = "Re " ; };
194String RID_IM               { Text = "Im " ; };
195String RID_INFINITY         { Text = "infinity " ; };
196String RID_PARTIAL          { Text = "partial " ; };
197String RID_NABLA            { Text = "nabla " ; };
198String RID_WP               { Text = "wp " ; };
199String RID_DOTSAXIS         { Text = "dotsaxis " ; };
200String RID_DOTSUP           { Text = "dotsup " ; };
201String RID_DOTSDOWN         { Text = "dotsdown " ; };
202String RID_DOTSLOW          { Text = "dotslow " ; };
203String RID_DOTSVERT         { Text = "dotsvert " ; };
204String RID_XCIRCY           { Text = "<?> circ <?> " ; };
205String RID_XWIDESLASHY      { Text = "{<?>} wideslash {<?>} " ; };
206String RID_XWIDEBSLASHY     { Text = "<?> widebslash <?> " ; };
207String RID_XDIVIDESY        { Text = "<?> divides <?> " ; };
208String RID_XNDIVIDESY       { Text = "<?> ndivides <?> " ; };
209String RID_DLARROW          { Text = "<?> dlarrow <?> " ; };
210String RID_DLRARROW         { Text = "<?> dlrarrow <?> " ; };
211String RID_DRARROW          { Text = "<?> drarrow <?> " ; };
212String RID_SETN             { Text = "setN " ; };
213String RID_SETZ             { Text = "setZ " ; };
214String RID_SETQ             { Text = "setQ " ; };
215String RID_SETR             { Text = "setR " ; };
216String RID_SETC             { Text = "setC " ; };
217String RID_WIDEHATX         { Text = "widehat {<?>} " ; };
218String RID_WIDETILDEX       { Text = "widetilde {<?>} " ; };
219String RID_WIDEVECX         { Text = "widevec {<?>} " ; };
220String RID_HBAR             { Text = "hbar " ; };
221String RID_LAMBDABAR        { Text = "lambdabar " ; };
222String RID_LEFTARROW        { Text = "leftarrow " ; };
223String RID_RIGHTARROW       { Text = "rightarrow " ; };
224String RID_UPARROW          { Text = "uparrow " ; };
225String RID_DOWNARROW        { Text = "downarrow " ; };
226String RID_NOSPACE          { Text = "nospace {<?>} " ; };
227
228
229//////////////////////////////////////////
230
231
232Menu RID_COMMANDMENU
233{
234    ItemList =
235    {
236        MenuItem
237        {
238            Identifier = RID_UNBINOPS_MENU ;
239            HelpId = HID_SMA_UNBINOPS_TBX ;
240            Text [ en-US ] = "~Unary/Binary Operators" ;
241            SubMenu = Menu
242            {
243                ItemList =
244                {
245                    MenuItem
246                    {
247                        Identifier = RID_PLUSX;
248                        HelpId = HID_SMA_PLUSX;
249                        Text = "+a";
250                    };
251                    MenuItem
252                    {
253                        Identifier = RID_MINUSX;
254                        HelpId = HID_SMA_MINUSX;
255                        Text = "-a";
256                    };
257                    MenuItem
258                    {
259                        Identifier = RID_PLUSMINUSX;
260                        HelpId = HID_SMA_PLUSMINUSX;
261                        Text = "+-a";
262                    };
263                    MenuItem
264                    {
265                        Identifier = RID_MINUSPLUSX;
266                        HelpId = HID_SMA_MINUSPLUSX;
267                        Text = "-+a";
268                    };
269                    MenuItem
270                    {
271                        Separator = TRUE;
272                    };
273                    MenuItem
274                    {
275                        Identifier = RID_XPLUSY;
276                        HelpId = HID_SMA_XPLUSY;
277                        Text = "a + b";
278                    };
279                    MenuItem
280                    {
281                        Identifier = RID_XMINUSY;
282                        HelpId = HID_SMA_XMINUSY;
283                        Text = "a - b";
284                    };
285                    MenuItem
286                    {
287                        Identifier = RID_XCDOTY;
288                        HelpId = HID_SMA_XCDOTY;
289                        Text = "a cdot b";
290                    };
291                    MenuItem
292                    {
293                        Identifier = RID_XTIMESY;
294                        HelpId = HID_SMA_XTIMESY;
295                        Text = "a times b";
296                    };
297                    MenuItem
298                    {
299                        Identifier = RID_XSYMTIMESY;
300                        HelpId = HID_SMA_XSYMTIMESY;
301                        Text = "a * b";
302                    };
303                    MenuItem
304                    {
305                        Identifier = RID_XOVERY;
306                        HelpId = HID_SMA_XOVERY;
307                        Text = "a over b";
308                    };
309                    MenuItem
310                    {
311                        Identifier = RID_XDIVY;
312                        HelpId = HID_SMA_XDIVY;
313                        Text = "a div b";
314                    };
315                    MenuItem
316                    {
317                        Identifier = RID_XSYMDIVIDEY;
318                        HelpId = HID_SMA_XSYMDIVIDEY;
319                        Text = "a / b";
320                    };
321                    MenuItem
322                    {
323                        Identifier = RID_XCIRCY;
324                        HelpId = HID_SMA_XCIRCY;
325                        Text = "a circ b";
326                    };
327                    MenuItem
328                    {
329                        Separator = TRUE;
330                    };
331                    MenuItem
332                    {
333                        Identifier = RID_XWIDESLASHY;
334                        HelpId = HID_SMA_XWIDESLASHY;
335                        Text = "a wideslash b";
336                    };
337                    MenuItem
338                    {
339                        Identifier = RID_XWIDEBSLASHY;
340                        HelpId = HID_SMA_XWIDEBSLASHY;
341                        Text = "a widebslash b";
342                    };
343                    MenuItem
344                    {
345                        Separator = TRUE;
346                    };
347                    MenuItem
348                    {
349                        Identifier = RID_NEGX;
350                        HelpId = HID_SMA_NEGX;
351                        Text = "neg a";
352                    };
353                    MenuItem
354                    {
355                        Identifier = RID_XANDY;
356                        HelpId = HID_SMA_XANDY;
357                        Text = "a and b";
358                    };
359                    MenuItem
360                    {
361                        Identifier = RID_XORY;
362                        HelpId = HID_SMA_XORY;
363                        Text = "a or b";
364                    };
365                };
366            };
367        };
368        MenuItem
369        {
370            Identifier = RID_RELATIONS_MENU ;
371            HelpId = HID_SMA_RELATIONS_TBX ;
372            Text [ en-US ] = "~Relations" ;
373            SubMenu = Menu
374            {
375                ItemList =
376                {
377                    MenuItem
378                    {
379                        Identifier = RID_XEQY;
380                        HelpId = HID_SMA_XEQY;
381                        Text = "a = b";
382                    };
383                    MenuItem
384                    {
385                        Identifier = RID_XNEQY;
386                        HelpId = HID_SMA_XNEQY;
387                        Text = "a <> b";
388                    };
389                    MenuItem
390                    {
391                        Identifier = RID_XLTY;
392                        HelpId = HID_SMA_XLTY;
393                        Text = "a < b";
394                    };
395                    MenuItem
396                    {
397                        Identifier = RID_XLEY;
398                        HelpId = HID_SMA_XLEY;
399                        Text = "a <= b";
400                    };
401                    MenuItem
402                    {
403                        Identifier = RID_XLESLANTY;
404                        HelpId = HID_SMA_XLESLANTY;
405                        Text = "a leslant b";
406                    };
407                    MenuItem
408                    {
409                        Identifier = RID_XGTY;
410                        HelpId = HID_SMA_XGTY;
411                        Text = "a > b";
412                    };
413                    MenuItem
414                    {
415                        Identifier = RID_XGEY;
416                        HelpId = HID_SMA_XGEY;
417                        Text = "a >= b";
418                    };
419                    MenuItem
420                    {
421                        Identifier = RID_XGESLANTY;
422                        HelpId = HID_SMA_XGESLANTY;
423                        Text = "a geslant b";
424                    };
425                    MenuItem
426                    {
427                        Separator = TRUE;
428                    };
429                    MenuItem
430                    {
431                        Identifier = RID_XAPPROXY;
432                        HelpId = HID_SMA_XAPPROXY;
433                        Text = "a approx b";
434                    };
435                    MenuItem
436                    {
437                        Identifier = RID_XSIMY;
438                        HelpId = HID_SMA_XSIMY;
439                        Text = "a sim b";
440                    };
441                    MenuItem
442                    {
443                        Identifier = RID_XSIMEQY;
444                        HelpId = HID_SMA_XSIMEQY;
445                        Text = "a simeq b";
446                    };
447                    MenuItem
448                    {
449                        Identifier = RID_XEQUIVY;
450                        HelpId = HID_SMA_XEQUIVY;
451                        Text = "a equiv b";
452                    };
453                    MenuItem
454                    {
455                        Identifier = RID_XPROPY;
456                        HelpId = HID_SMA_XPROPY;
457                        Text = "a prop b";
458                    };
459                    MenuItem
460                    {
461                        Identifier = RID_XPARALLELY;
462                        HelpId = HID_SMA_XPARALLELY;
463                        Text = "a parallel b";
464                    };
465                    MenuItem
466                    {
467                        Identifier = RID_XORTHOY;
468                        HelpId = HID_SMA_XORTHOY;
469                        Text = "a ortho b";
470                    };
471                    MenuItem
472                    {
473                        Identifier = RID_XDIVIDESY;
474                        HelpId = HID_SMA_XDIVIDESY;
475                        Text = "a divides b";
476                    };
477                    MenuItem
478                    {
479                        Identifier = RID_XNDIVIDESY;
480                        HelpId = HID_SMA_XNDIVIDESY;
481                        Text = "a ndivides b";
482                    };
483                    MenuItem
484                    {
485                        Identifier = RID_XTOWARDY;
486                        HelpId = HID_SMA_XTOWARDY;
487                        Text = "a toward b";
488                    };
489                    MenuItem
490                    {
491                        Separator = TRUE;
492                    };
493                    MenuItem
494                    {
495                        Identifier = RID_DLARROW;
496                        HelpId = HID_SMA_DLARROW;
497                        Text = "a dlarrow b";
498                    };
499                    MenuItem
500                    {
501                        Identifier = RID_DLRARROW;
502                        HelpId = HID_SMA_DLRARROW;
503                        Text = "a dlrarrow b";
504                    };
505                    MenuItem
506                    {
507                        Identifier = RID_DRARROW;
508                        HelpId = HID_SMA_DRARROW;
509                        Text = "a drarrow b";
510                    };
511                };
512            };
513        };
514        MenuItem
515        {
516            Identifier = RID_SETOPERATIONS_MENU ;
517            HelpId = HID_SMA_SETOPERATIONS_TBX ;
518            Text [ en-US ] = "~Set Operations" ;
519            SubMenu = Menu
520            {
521                ItemList =
522                {
523                    MenuItem
524                    {
525                        Identifier = RID_XINY;
526                        HelpId = HID_SMA_XINY;
527                        Text = "a in A";
528                    };
529                    MenuItem
530                    {
531                        Identifier = RID_XNOTINY;
532                        HelpId = HID_SMA_XNOTINY;
533                        Text = "a notin A";
534                    };
535                    MenuItem
536                    {
537                        Identifier = RID_XOWNSY;
538                        HelpId = HID_SMA_XOWNSY;
539                        Text = "A owns a";
540                    };
541                    MenuItem
542                    {
543                        Separator = TRUE;
544                    };
545                    MenuItem
546                    {
547                        Identifier = RID_XINTERSECTIONY;
548                        HelpId = HID_SMA_XINTERSECTIONY;
549                        Text = "A intersection B";
550                    };
551                    MenuItem
552                    {
553                        Identifier = RID_XUNIONY;
554                        HelpId = HID_SMA_XUNIONY;
555                        Text = "A union B";
556                    };
557                    MenuItem
558                    {
559                        Identifier = RID_XSETMINUSY;
560                        HelpId = HID_SMA_XSETMINUSY;
561                        Text = "A \\ B";
562                    };
563                    MenuItem
564                    {
565                        Identifier = RID_XSLASHY;
566                        HelpId = HID_SMA_XSLASHY;
567                        Text = "A / B";
568                    };
569                    MenuItem
570                    {
571                        Identifier = RID_XSUBSETY;
572                        HelpId = HID_SMA_XSUBSETY;
573                        Text = "A subset B";
574                    };
575                    MenuItem
576                    {
577                        Identifier = RID_XSUBSETEQY;
578                        HelpId = HID_SMA_XSUBSETEQY;
579                        Text = "A subseteq B";
580                    };
581                    MenuItem
582                    {
583                        Identifier = RID_XSUPSETY;
584                        HelpId = HID_SMA_XSUPSETY;
585                        Text = "A supset B";
586                    };
587                    MenuItem
588                    {
589                        Identifier = RID_XSUPSETEQY;
590                        HelpId = HID_SMA_XSUPSETEQY;
591                        Text = "A supseteq B";
592                    };
593                    MenuItem
594                    {
595                        Identifier = RID_XNSUBSETY;
596                        HelpId = HID_SMA_XNSUBSETY;
597                        Text = "A nsubset B";
598                    };
599                    MenuItem
600                    {
601                        Identifier = RID_XNSUBSETEQY;
602                        HelpId = HID_SMA_XNSUBSETEQY;
603                        Text = "A nsubseteq B";
604                    };
605                    MenuItem
606                    {
607                        Identifier = RID_XNSUPSETY;
608                        HelpId = HID_SMA_XNSUPSETY;
609                        Text = "A nsupset B";
610                    };
611                    MenuItem
612                    {
613                        Identifier = RID_XNSUPSETEQY;
614                        HelpId = HID_SMA_XNSUPSETEQY;
615                        Text = "A nsupseteq B";
616                    };
617                    MenuItem
618                    {
619                        Separator = TRUE;
620                    };
621                    MenuItem
622                    {
623                        Identifier = RID_EMPTYSET;
624                        HelpId = HID_SMA_EMPTYSET;
625                        Text = "emptyset";
626                    };
627                    MenuItem
628                    {
629                        Identifier = RID_ALEPH;
630                        HelpId = HID_SMA_ALEPH;
631                        Text = "aleph";
632                    };
633                    MenuItem
634                    {
635                        Identifier = RID_SETN;
636                        HelpId = HID_SMA_SETN;
637                        Text = "setN";
638                    };
639                    MenuItem
640                    {
641                        Identifier = RID_SETZ;
642                        HelpId = HID_SMA_SETZ;
643                        Text = "setZ";
644                    };
645                    MenuItem
646                    {
647                        Identifier = RID_SETQ;
648                        HelpId = HID_SMA_SETQ;
649                        Text = "setQ";
650                    };
651                    MenuItem
652                    {
653                        Identifier = RID_SETR;
654                        HelpId = HID_SMA_SETR;
655                        Text = "setR";
656                    };
657                    MenuItem
658                    {
659                        Identifier = RID_SETC;
660                        HelpId = HID_SMA_SETC;
661                        Text = "setC";
662                    };
663                };
664            };
665        };
666        MenuItem
667        {
668            Identifier = RID_FUNCTIONS_MENU ;
669            HelpId = HID_SMA_FUNCTIONS_TBX ;
670            Text [ en-US ] = "~Functions" ;
671            SubMenu = Menu
672            {
673                ItemList =
674                {
675                    MenuItem
676                    {
677                        Identifier = RID_ABSX;
678                        HelpId = HID_SMA_ABSX;
679                        Text = "|x|";
680                    };
681                    MenuItem
682                    {
683                        Identifier = RID_FACTX;
684                        HelpId = HID_SMA_FACTX;
685                        Text = "x!";
686                    };
687                    MenuItem
688                    {
689                        Identifier = RID_SQRTX;
690                        HelpId = HID_SMA_SQRTX;
691                        Text = "sqrt x";
692                    };
693                    MenuItem
694                    {
695                        Identifier = RID_NROOTXY;
696                        HelpId = HID_SMA_NROOTXY;
697                        Text = "nroot x y";
698                    };
699                    MenuItem
700                    {
701                        Identifier = RID_RSUPX;
702                        HelpId = HID_SMA_RSUPX;
703                        Text = "x^y";
704                    };
705                    MenuItem
706                    {
707                        Identifier = RID_EX;
708                        HelpId = HID_SMA_EX;
709                        Text = "e^x";
710                    };
711                    MenuItem
712                    {
713                        Identifier = RID_LNX;
714                        HelpId = HID_SMA_LNX;
715                        Text = "ln(x)";
716                    };
717                    MenuItem
718                    {
719                        Identifier = RID_EXPX;
720                        HelpId = HID_SMA_EXPX;
721                        Text = "exp(x)";
722                    };
723                    MenuItem
724                    {
725                        Identifier = RID_LOGX;
726                        HelpId = HID_SMA_LOGX;
727                        Text = "log(x)";
728                    };
729                    MenuItem
730                    {
731                        Separator = TRUE;
732                    };
733                    MenuItem
734                    {
735                        Identifier = RID_SINX;
736                        HelpId = HID_SMA_SINX;
737                        Text = "sin(x)";
738                    };
739                    MenuItem
740                    {
741                        Identifier = RID_COSX;
742                        HelpId = HID_SMA_COSX;
743                        Text = "cos(x)";
744                    };
745                    MenuItem
746                    {
747                        Identifier = RID_TANX;
748                        HelpId = HID_SMA_TANX;
749                        Text = "tan(x)";
750                    };
751                    MenuItem
752                    {
753                        Identifier = RID_COTX;
754                        HelpId = HID_SMA_COTX;
755                        Text = "cot(x)";
756                    };
757                    MenuItem
758                    {
759                        Identifier = RID_SINHX;
760                        HelpId = HID_SMA_SINHX;
761                        Text = "sinh(x)";
762                    };
763                    MenuItem
764                    {
765                        Identifier = RID_COSHX;
766                        HelpId = HID_SMA_COSHX;
767                        Text = "cosh(x)";
768                    };
769                    MenuItem
770                    {
771                        Identifier = RID_TANHX;
772                        HelpId = HID_SMA_TANHX;
773                        Text = "tanh(x)";
774                    };
775                    MenuItem
776                    {
777                        Identifier = RID_COTHX;
778                        HelpId = HID_SMA_COTHX;
779                        Text = "coth(x)";
780                    };
781                    MenuItem
782                    {
783                        Separator = TRUE;
784                    };
785                    MenuItem
786                    {
787                        Identifier = RID_FUNCTIONSOTHER1_MENU;
788                        HelpId = HID_SMA_FUNCTIONSOTHER1_MENU;
789                        Text [ en-US ] = "More";
790                        SubMenu = Menu
791                        {
792                            ItemList =
793                            {
794                                MenuItem
795                                {
796                                    Identifier = RID_ARCSINX;
797                                    HelpId = HID_SMA_ARCSINX;
798                                    Text = "arcsin(x)";
799                                };
800                                MenuItem
801                                {
802                                    Identifier = RID_ARCCOSX;
803                                    HelpId = HID_SMA_ARCCOSX;
804                                    Text = "arccos(x)";
805                                };
806                                MenuItem
807                                {
808                                    Identifier = RID_ARCTANX;
809                                    HelpId = HID_SMA_ARCTANX;
810                                    Text = "arctan(x)";
811                                };
812                                MenuItem
813                                {
814                                    Identifier = RID_ARCCOTX;
815                                    HelpId = HID_SMA_ARCCOTX;
816                                    Text = "arcot(x)";
817                                };
818                                MenuItem
819                                {
820                                    Identifier = RID_ARSINHX;
821                                    HelpId = HID_SMA_ARSINHX;
822                                    Text = "arsinh(x)";
823                                };
824                                MenuItem
825                                {
826                                    Identifier = RID_ARCOSHX;
827                                    HelpId = HID_SMA_ARCOSHX;
828                                    Text = "arcosh(x)";
829                                };
830                                MenuItem
831                                {
832                                    Identifier = RID_ARTANHX;
833                                    HelpId = HID_SMA_ARTANHX;
834                                    Text = "artanh(x)";
835                                };
836                                MenuItem
837                                {
838                                    Identifier = RID_ARCOTHX;
839                                    HelpId = HID_SMA_ARCOTHX;
840                                    Text = "arcoth(x)";
841                                };
842                            };
843                        };
844                    };
845                };
846            };
847        };
848        MenuItem
849        {
850            Identifier = RID_OPERATORS_MENU ;
851            HelpId = HID_SMA_OPERATORS_TBX ;
852            Text [ en-US ] = "O~perators" ;
853            SubMenu = Menu
854            {
855                ItemList =
856                {
857                    MenuItem
858                    {
859                        Identifier = RID_LIMX;
860                        HelpId = HID_SMA_LIMX;
861                        Text = "lim x";
862                    };
863                    MenuItem
864                    {
865                        Identifier = RID_SUMX;
866                        HelpId = HID_SMA_SUMX;
867                        Text = "sum x";
868                    };
869                    MenuItem
870                    {
871                        Identifier = RID_PRODX;
872                        HelpId = HID_SMA_PRODX;
873                        Text = "prod x";
874                    };
875                    MenuItem
876                    {
877                        Identifier = RID_COPRODX;
878                        HelpId = HID_SMA_COPRODX;
879                        Text = "coprod x";
880                    };
881                    MenuItem
882                    {
883                        Identifier = RID_INTX;
884                        HelpId = HID_SMA_INTX;
885                        Text = "int x";
886                    };
887                    MenuItem
888                    {
889                        Identifier = RID_IINTX;
890                        HelpId = HID_SMA_IINTX;
891                        Text = "iint x";
892                    };
893                    MenuItem
894                    {
895                        Identifier = RID_IIINTX;
896                        HelpId = HID_SMA_IIINTX;
897                        Text = "iiint x";
898                    };
899                    MenuItem
900                    {
901                        Identifier = RID_LINTX;
902                        HelpId = HID_SMA_LINTX;
903                        Text = "lint x";
904                    };
905                    MenuItem
906                    {
907                        Identifier = RID_LLINTX;
908                        HelpId = HID_SMA_LLINTX;
909                        Text = "llint x";
910                    };
911                    MenuItem
912                    {
913                        Identifier = RID_LLLINTX;
914                        HelpId = HID_SMA_LLLINTX;
915                        Text = "lllint x";
916                    };
917                    MenuItem
918                    {
919                        Separator = TRUE;
920                    };
921                    MenuItem
922                    {
923                        Identifier = RID_FROMXTOY;
924                        HelpId = HID_SMA_FROMXTOY;
925                        Text = "... from a to b";
926                    };
927                    MenuItem
928                    {
929                        Identifier = RID_FROMX;
930                        HelpId = HID_SMA_FROMX;
931                        Text = "... from a";
932                    };
933                    MenuItem
934                    {
935                        Identifier = RID_TOX;
936                        HelpId = HID_SMA_TOX;
937                        Text = "... to b";
938                    };
939                };
940            };
941        };
942        MenuItem
943        {
944            Identifier = RID_ATTRIBUTES_MENU ;
945            HelpId = HID_SMA_ATTRIBUTES_TBX ;
946            Text [ en-US ] = "~Attributes" ;
947            SubMenu = Menu
948            {
949                ItemList =
950                {
951                    MenuItem
952                    {
953                        Identifier = RID_ACUTEX;
954                        HelpId = HID_SMA_ACUTEX;
955                        Text = "acute a";
956                    };
957                    MenuItem
958                    {
959                        Identifier = RID_GRAVEX;
960                        HelpId = HID_SMA_GRAVEX;
961                        Text = "grave a";
962                    };
963                    MenuItem
964                    {
965                        Identifier = RID_CHECKX;
966                        HelpId = HID_SMA_CHECKX;
967                        Text = "check a";
968                    };
969                    MenuItem
970                    {
971                        Identifier = RID_BREVEX;
972                        HelpId = HID_SMA_BREVEX;
973                        Text = "breve a";
974                    };
975                    MenuItem
976                    {
977                        Identifier = RID_CIRCLEX;
978                        HelpId = HID_SMA_CIRCLEX;
979                        Text = "circle a";
980                    };
981                    MenuItem
982                    {
983                        Identifier = RID_DOTX;
984                        HelpId = HID_SMA_DOTX;
985                        Text = "dot a";
986                    };
987                    MenuItem
988                    {
989                        Identifier = RID_DDOTX;
990                        HelpId = HID_SMA_DDOTX;
991                        Text = "ddot a";
992                    };
993                    MenuItem
994                    {
995                        Identifier = RID_DDDOTX;
996                        HelpId = HID_SMA_DDDOTX;
997                        Text = "dddot a";
998                    };
999                    MenuItem
1000                    {
1001                        Identifier = RID_BARX;
1002                        HelpId = HID_SMA_BARX;
1003                        Text = "bar a";
1004                    };
1005                    MenuItem
1006                    {
1007                        Identifier = RID_VECX;
1008                        HelpId = HID_SMA_VECX;
1009                        Text = "vec a";
1010                    };
1011                    MenuItem
1012                    {
1013                        Identifier = RID_TILDEX;
1014                        HelpId = HID_SMA_TILDEX;
1015                        Text = "tilde a";
1016                    };
1017                    MenuItem
1018                    {
1019                        Identifier = RID_HATX;
1020                        HelpId = HID_SMA_HATX;
1021                        Text = "hat a";
1022                    };
1023                    MenuItem
1024                    {
1025                        Separator = TRUE;
1026                    };
1027                    MenuItem
1028                    {
1029                        Identifier = RID_WIDEVECX;
1030                        HelpId = HID_SMA_WIDEVECX;
1031                        Text = "widevec abc";
1032                    };
1033                    MenuItem
1034                    {
1035                        Identifier = RID_WIDETILDEX;
1036                        HelpId = HID_SMA_WIDETILDEX;
1037                        Text = "widetilde abc";
1038                    };
1039                    MenuItem
1040                    {
1041                        Identifier = RID_WIDEHATX;
1042                        HelpId = HID_SMA_WIDEHATX;
1043                        Text = "widehat abc";
1044                    };
1045                    MenuItem
1046                    {
1047                        Identifier = RID_OVERLINEX;
1048                        HelpId = HID_SMA_OVERLINEX;
1049                        Text = "overline abc";
1050                    };
1051                    MenuItem
1052                    {
1053                        Identifier = RID_UNDERLINEX;
1054                        HelpId = HID_SMA_UNDERLINEX;
1055                        Text = "underline abc";
1056                    };
1057                    MenuItem
1058                    {
1059                        Identifier = RID_OVERSTRIKEX;
1060                        HelpId = HID_SMA_OVERSTRIKEX;
1061                        Text = "overstrike abc";
1062                    };
1063                    MenuItem
1064                    {
1065                        Separator = TRUE;
1066                    };
1067                    MenuItem
1068                    {
1069                        Identifier = RID_PHANTOMX;
1070                        HelpId = HID_SMA_PHANTOMX;
1071                        Text = "phantom b";
1072                    };
1073                    MenuItem
1074                    {
1075                        Identifier = RID_BOLDX;
1076                        HelpId = HID_SMA_BOLDX;
1077                        Text = "bold b";
1078                    };
1079                    MenuItem
1080                    {
1081                        Identifier = RID_ITALX;
1082                        HelpId = HID_SMA_ITALX;
1083                        Text = "ital b";
1084                    };
1085                    MenuItem
1086                    {
1087                        Identifier = RID_SIZEXY;
1088                        HelpId = HID_SMA_SIZEXY;
1089                        Text = "size s b";
1090                    };
1091                    MenuItem
1092                    {
1093                        Identifier = RID_FONTXY;
1094                        HelpId = HID_SMA_FONTXY;
1095                        Text = "font f b";
1096                    };
1097                };
1098            };
1099        };
1100        MenuItem
1101        {
1102            Identifier = RID_BRACKETS_MENU ;
1103            HelpId = HID_SMA_BRACKETS_TBX ;
1104            Text [ en-US ] = "~Brackets" ;
1105            SubMenu = Menu
1106            {
1107                ItemList =
1108                {
1109                    MenuItem
1110                    {
1111                        Identifier = RID_LRGROUPX;
1112                        HelpId = HID_SMA_LRGROUPX;
1113                        Text = "{...}";
1114                    };
1115                    MenuItem
1116                    {
1117                        Separator = TRUE;
1118                    };
1119                    MenuItem
1120                    {
1121                        Identifier = RID_LRPARENTX;
1122                        HelpId = HID_SMA_LRPARENTX;
1123                        Text = "(x)";
1124                    };
1125                    MenuItem
1126                    {
1127                        Identifier = RID_LRBRACKETX;
1128                        HelpId = HID_SMA_LRBRACKETX;
1129                        Text = "[x]";
1130                    };
1131                    MenuItem
1132                    {
1133                        Identifier = RID_LRDBRACKETX;
1134                        HelpId = HID_SMA_LRDBRACKETX;
1135                        Text = "ldbracket x rdbracket ";
1136                    };
1137                    MenuItem
1138                    {
1139                        Identifier = RID_LRBRACEX;
1140                        HelpId = HID_SMA_LRBRACEX;
1141                        Text = "{x}";
1142                    };
1143                    MenuItem
1144                    {
1145                        Identifier = RID_LRANGLEX;
1146                        HelpId = HID_SMA_LRANGLEX;
1147                        Text = "langle x rangle";
1148                    };
1149                    MenuItem
1150                    {
1151                        Identifier = RID_LMRANGLEXY;
1152                        HelpId = HID_SMA_LMRANGLEXY;
1153                        Text = "langle x mline y rangle";
1154                    };
1155                    MenuItem
1156                    {
1157                        Identifier = RID_LRCEILX;
1158                        HelpId = HID_SMA_LRCEILX;
1159                        Text = "lceil x rceil";
1160                    };
1161                    MenuItem
1162                    {
1163                        Identifier = RID_LRFLOORX;
1164                        HelpId = HID_SMA_LRFLOORX;
1165                        Text = "lfloor x rfloor";
1166                    };
1167                    MenuItem
1168                    {
1169                        Identifier = RID_LRLINEX;
1170                        HelpId = HID_SMA_LRLINEX;
1171                        Text = "lline x rline";
1172                    };
1173                    MenuItem
1174                    {
1175                        Identifier = RID_LRDLINEX;
1176                        HelpId = HID_SMA_LRDLINEX;
1177                        Text = "ldline x rdline";
1178                    };
1179                    MenuItem
1180                    {
1181                        Separator = TRUE;
1182                    };
1183                    MenuItem
1184                    {
1185                        Identifier = RID_SLRPARENTX;
1186                        HelpId = HID_SMA_SLRPARENTX;
1187                        Text = "left ( x right )";
1188                    };
1189                    MenuItem
1190                    {
1191                        Identifier = RID_SLRBRACKETX;
1192                        HelpId = HID_SMA_SLRBRACKETX;
1193                        Text = "left [ x right ]";
1194                    };
1195                    MenuItem
1196                    {
1197                        Identifier = RID_SLRDBRACKETX;
1198                        HelpId = HID_SMA_SLRDBRACKETX;
1199                        Text = "left ldbracket x right rdbracket ";
1200                    };
1201                    MenuItem
1202                    {
1203                        Identifier = RID_SLRBRACEX;
1204                        HelpId = HID_SMA_SLRBRACEX;
1205                        Text = "left { x right }";
1206                    };
1207                    MenuItem
1208                    {
1209                        Identifier = RID_SLRANGLEX;
1210                        HelpId = HID_SMA_SLRANGLEX;
1211                        Text = "left langle x right rangle";
1212                    };
1213                    MenuItem
1214                    {
1215                        Identifier = RID_SLMRANGLEXY;
1216                        HelpId = HID_SMA_SLMRANGLEXY;
1217                        Text = "left langle x mline y right rangle";
1218                    };
1219                    MenuItem
1220                    {
1221                        Identifier = RID_SLRCEILX;
1222                        HelpId = HID_SMA_SLRCEILX;
1223                        Text = "left lceil x right rceil";
1224                    };
1225                    MenuItem
1226                    {
1227                        Identifier = RID_SLRFLOORX;
1228                        HelpId = HID_SMA_SLRFLOORX;
1229                        Text = "left lfloor x right rfloor";
1230                    };
1231                    MenuItem
1232                    {
1233                        Identifier = RID_SLRLINEX;
1234                        HelpId = HID_SMA_SLRLINEX;
1235                        Text = "left lline x right rline";
1236                    };
1237                    MenuItem
1238                    {
1239                        Identifier = RID_SLRDLINEX;
1240                        HelpId = HID_SMA_SLRDLINEX;
1241                        Text = "left ldline x right rdline";
1242                    };
1243                    MenuItem
1244                    {
1245                        Separator = TRUE;
1246                    };
1247                    MenuItem
1248                    {
1249                        Identifier = RID_XOVERBRACEY;
1250                        HelpId = HID_SMA_XOVERBRACEY;
1251                        Text = "x overbrace y";
1252                    };
1253                    MenuItem
1254                    {
1255                        Identifier = RID_XUNDERBRACEY;
1256                        HelpId = HID_SMA_XUNDERBRACEY;
1257                        Text = "x underbrace y";
1258                    };
1259                };
1260            };
1261        };
1262        MenuItem
1263        {
1264            Identifier = RID_FORMAT_MENU ;
1265            HelpId = HID_SMA_FORMAT_TBX ;
1266            Text [ en-US ] = "For~mats" ;
1267            SubMenu = Menu
1268            {
1269                ItemList =
1270                {
1271                    MenuItem
1272                    {
1273                        Identifier = RID_RSUPX;
1274                        HelpId = HID_SMA_RSUPX;
1275                        Text = "^x";
1276                    };
1277                    MenuItem
1278                    {
1279                        Identifier = RID_RSUBX;
1280                        HelpId = HID_SMA_RSUBX;
1281                        Text = "_x";
1282                    };
1283                    MenuItem
1284                    {
1285                        Identifier = RID_LSUPX;
1286                        HelpId = HID_SMA_LSUPX;
1287                        Text = "lsup x";
1288                    };
1289                    MenuItem
1290                    {
1291                        Identifier = RID_LSUBX;
1292                        HelpId = HID_SMA_LSUBX;
1293                        Text = "lsub x";
1294                    };
1295                    MenuItem
1296                    {
1297                        Identifier = RID_CSUPX;
1298                        HelpId = HID_SMA_CSUPX;
1299                        Text = "csup x";
1300                    };
1301                    MenuItem
1302                    {
1303                        Identifier = RID_CSUBX;
1304                        HelpId = HID_SMA_CSUBX;
1305                        Text = "csub x";
1306                    };
1307                    MenuItem
1308                    {
1309                        Separator = TRUE;
1310                    };
1311                    MenuItem
1312                    {
1313                        Identifier = RID_NEWLINE;
1314                        HelpId = HID_SMA_NEWLINE;
1315                        Text [ en-US ] = "New Line";
1316                    };
1317                    MenuItem
1318                    {
1319                        Identifier = RID_SBLANK;
1320                        HelpId = HID_SMA_SBLANK;
1321                        Text [ en-US ] = "Small Gap";
1322                    };
1323                    MenuItem
1324                    {
1325                        Identifier = RID_BLANK;
1326                        HelpId = HID_SMA_BLANK;
1327                        Text [ en-US ] = "Gap";
1328                    };
1329                    MenuItem
1330                    {
1331                        Identifier = RID_NOSPACE;
1332                        HelpId = HID_SMA_NOSPACE;
1333                        Text [ en-US ] = "nospace {...}";
1334                    };
1335                    MenuItem
1336                    {
1337                        Identifier = RID_BINOMXY;
1338                        HelpId = HID_SMA_BINOMXY;
1339                        Text = "binom x y";
1340                    };
1341                    MenuItem
1342                    {
1343                        Identifier = RID_STACK;
1344                        HelpId = HID_SMA_STACK;
1345                        Text = "stack {...}";
1346                    };
1347                    MenuItem
1348                    {
1349                        Identifier = RID_MATRIX;
1350                        HelpId = HID_SMA_MATRIX;
1351                        Text = "matrix {...}";
1352                    };
1353                    MenuItem
1354                    {
1355                        Separator = TRUE;
1356                    };
1357                    MenuItem
1358                    {
1359                        Identifier = RID_ALIGNLX;
1360                        HelpId = HID_SMA_ALIGNLX;
1361                        Text = "alignl x";
1362                    };
1363                    MenuItem
1364                    {
1365                        Identifier = RID_ALIGNCX;
1366                        HelpId = HID_SMA_ALIGNCX;
1367                        Text = "alignc x";
1368                    };
1369                    MenuItem
1370                    {
1371                        Identifier = RID_ALIGNRX;
1372                        HelpId = HID_SMA_ALIGNRX;
1373                        Text = "alignr x";
1374                    };
1375                };
1376            };
1377        };
1378        MenuItem
1379        {
1380            Identifier = RID_MISC_MENU ;
1381            HelpId = HID_SMA_MISC_MENU ;
1382            Text [ en-US ] = "~Others" ;
1383            SubMenu = Menu
1384            {
1385                ItemList =
1386                {
1387                    MenuItem
1388                    {
1389                        Identifier = RID_INFINITY;
1390                        HelpId = HID_SMA_INFINITY;
1391                        Text = "infinity";
1392                    };
1393                    MenuItem
1394                    {
1395                        Identifier = RID_PARTIAL;
1396                        HelpId = HID_SMA_PARTIAL;
1397                        Text = "partial";
1398                    };
1399                    MenuItem
1400                    {
1401                        Identifier = RID_NABLA;
1402                        HelpId = HID_SMA_NABLA;
1403                        Text = "nabla";
1404                    };
1405                    MenuItem
1406                    {
1407                        Identifier = RID_EXISTS;
1408                        HelpId = HID_SMA_EXISTS;
1409                        Text = "exists";
1410                    };
1411                    MenuItem
1412                    {
1413                        Identifier = RID_FORALL;
1414                        HelpId = HID_SMA_FORALL;
1415                        Text = "forall";
1416                    };
1417                    MenuItem
1418                    {
1419                        Identifier = RID_HBAR;
1420                        HelpId = HID_SMA_HBAR;
1421                        Text = "hbar";
1422                    };
1423                    MenuItem
1424                    {
1425                        Identifier = RID_LAMBDABAR;
1426                        HelpId = HID_SMA_LAMBDABAR;
1427                        Text = "lambdabar";
1428                    };
1429                    MenuItem
1430                    {
1431                        Identifier = RID_RE;
1432                        HelpId = HID_SMA_RE;
1433                        Text = "Re";
1434                    };
1435                    MenuItem
1436                    {
1437                        Identifier = RID_IM;
1438                        HelpId = HID_SMA_IM;
1439                        Text = "Im";
1440                    };
1441                    MenuItem
1442                    {
1443                        Identifier = RID_WP;
1444                        HelpId = HID_SMA_WP;
1445                        Text = "wp";
1446                    };
1447                    MenuItem
1448                    {
1449                        Separator = TRUE;
1450                    };
1451                    MenuItem
1452                    {
1453                        Identifier = RID_LEFTARROW;
1454                        HelpId = HID_SMA_LEFTARROW;
1455                        Text = "leftarrow";
1456                    };
1457                    MenuItem
1458                    {
1459                        Identifier = RID_RIGHTARROW;
1460                        HelpId = HID_SMA_RIGHTARROW;
1461                        Text = "rightarrow";
1462                    };
1463                    MenuItem
1464                    {
1465                        Identifier = RID_UPARROW;
1466                        HelpId = HID_SMA_UPARROW;
1467                        Text = "uparrow";
1468                    };
1469                    MenuItem
1470                    {
1471                        Identifier = RID_DOWNARROW;
1472                        HelpId = HID_SMA_DOWNARROW;
1473                        Text = "downarrow";
1474                    };
1475                    MenuItem
1476                    {
1477                        Separator = TRUE;
1478                    };
1479                    MenuItem
1480                    {
1481                        Identifier = RID_DOTSLOW;
1482                        HelpId = HID_SMA_DOTSLOW;
1483                        Text = "dotslow";
1484                    };
1485                    MenuItem
1486                    {
1487                        Identifier = RID_DOTSAXIS;
1488                        HelpId = HID_SMA_DOTSAXIS;
1489                        Text = "dotsaxis";
1490                    };
1491                    MenuItem
1492                    {
1493                        Identifier = RID_DOTSVERT;
1494                        HelpId = HID_SMA_DOTSVERT;
1495                        Text = "dotsvert";
1496                    };
1497                    MenuItem
1498                    {
1499                        Identifier = RID_DOTSUP;
1500                        HelpId = HID_SMA_DOTSUP;
1501                        Text = "dotsup";
1502                    };
1503                    MenuItem
1504                    {
1505                        Identifier = RID_DOTSDOWN;
1506                        HelpId = HID_SMA_DOTSDOWN;
1507                        Text = "dotsdown";
1508                    };
1509                };
1510            };
1511        };
1512    };
1513};
1514
1515
1516
1517
1518
1519
1520
1521
1522
1523
1524
1525
1526
1527
1528
1529
1530
1531
1532
1533
1534
1535
1536
1537
1538
1539
1540
1541
1542
1543
1544
1545
1546
1547
1548
1549
1550
1551
1552
1553
1554
1555
1556
1557
1558
1559
1560
1561
1562