Files
libreoffice/starmath/source/commands.src

2386 lines
97 KiB
Plaintext
Raw Normal View History

2000-09-18 16:07:07 +00:00
/*************************************************************************
*
* $RCSfile: commands.src,v $
*
* $Revision: 1.18 $
2000-09-18 16:07:07 +00:00
*
* last change: $Author: tl $ $Date: 2001-08-03 13:53:25 $
2000-09-18 16:07:07 +00:00
*
* The Contents of this file are made available subject to the terms of
* either of the following licenses
*
* - GNU Lesser General Public License Version 2.1
* - Sun Industry Standards Source License Version 1.1
*
* Sun Microsystems Inc., October, 2000
*
* GNU Lesser General Public License Version 2.1
* =============================================
* Copyright 2000 by Sun Microsystems, Inc.
* 901 San Antonio Road, Palo Alto, CA 94303, USA
*
* This library is free software; you can redistribute it and/or
* modify it under the terms of the GNU Lesser General Public
* License version 2.1, as published by the Free Software Foundation.
*
* This library is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
* Lesser General Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with this library; if not, write to the Free Software
* Foundation, Inc., 59 Temple Place, Suite 330, Boston,
* MA 02111-1307 USA
*
*
* Sun Industry Standards Source License Version 1.1
* =================================================
* The contents of this file are subject to the Sun Industry Standards
* Source License Version 1.1 (the "License"); You may not use this file
* except in compliance with the License. You may obtain a copy of the
* License at http://www.openoffice.org/license.html.
*
* Software provided under this License is provided on an "AS IS" basis,
* WITHOUT WARRANTY OF ANY KIND, EITHER EXPRESSED OR IMPLIED, INCLUDING,
* WITHOUT LIMITATION, WARRANTIES THAT THE SOFTWARE IS FREE OF DEFECTS,
* MERCHANTABLE, FIT FOR A PARTICULAR PURPOSE, OR NON-INFRINGING.
* See the License for the specific provisions governing your rights and
* obligations concerning the Software.
*
* The Initial Developer of the Original Code is: Sun Microsystems, Inc.
*
* Copyright: 2000 by Sun Microsystems, Inc.
*
* All Rights Reserved.
*
* Contributor(s): _______________________________________
*
*
************************************************************************/
#include <sfx2/sfx.hrc>
#include "starmath.hrc"
////////////////////////////////////////////////////////////
//
// XPolyPolygon data for some characters from StarSymbol font
2000-09-18 16:07:07 +00:00
//
Resource RID_XPP_LINE
{
ExtraData =
{
// Zeichen: 0x2223 Font: StarSymbol
8994; 17922; 0; 19459; 0; -28160; 0; -19968;
0; 11264; 0; 20995; 0; 256; 1280; -28160;
0; 772; 0; -28160; 0; -19968; 0; -17152;
0; -19968; 0; -17152; 0; 772; 0; -28160;
0; 772; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_DLINE
{
ExtraData =
{
// Zeichen: 0x2225 Font: StarSymbol
9506; 17922; 0; 19459; 0; -30208; 0; -19968;
0; -10752; 0; 20227; 0; 512; 1280; 13825;
0; 4; 0; 13825; 0; -19968; 0; 24321;
0; -19968; 0; 24321; 0; 4; 0; 13825;
0; 4; 0; 0; 0; 5; 138; 0;
0; 1024; 138; 0; 178; 0; 177; 0;
178; 0; 177; 0; 0; 1024; 138; 0;
0; 1024; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_SQRT
{
ExtraData =
{
// Zeichen: 0xE08D Font: StarSymbol
-29216; 17922; 0; 19459; 0; 6656; 0; -22528;
0; -18431; 0; -22526; 0; 256; 2560; 513;
0; 20227; 0; 24832; 0; 12802; 0; 9472;
0; 18434; 0; 6656; 0; 15362; 0; -32512;
0; 4866; 0; 4353; 0; 4099; 0; -17663;
0; -22528; 0; -12031; 0; -22528; 0; 5633;
0; 20227; 0; 513; 0; 20227; 0; 0;
0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_SQRT2
{
ExtraData =
{
// Zeichen: 0xE08F Font: StarSymbol
-28704; 17922; 0; 19459; 0; 6400; 0; -22528;
0; -9984; 0; -22526; 0; 256; 2560; -7424;
0; 20227; 0; 18432; 0; 16898; 0; 8448;
0; 22530; 0; 6400; 0; 19714; 0; 22784;
0; 9730; 0; -7424; 0; 4099; 0; -7424;
0; -22528; 0; -3840; 0; -22528; 0; -3840;
0; 20227; 0; -7424; 0; 20227; 0; 0;
0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_HAT
{
ExtraData =
{
// Zeichen: 0xE091 Font: StarSymbol
-28192; 17922; 0; 19459; 0; 3328; 0; -6144;
0; 1793; 0; -24064; 0; 256; 1792; 4865;
0; -31487; 0; 769; 0; -31487; 0; -27648;
0; 11777; 0; 8192; 0; -30463; 0; 3328;
0; -31487; 0; -27648; 0; -6144; 0; 4865;
0; -31487; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_TILDE
{
ExtraData =
{
// Zeichen: 0xE096 Font: StarSymbol
-26912; 17922; 0; 19459; 0; 2560; 0; -4352;
0; 2049; 0; 27904; 0; 256; 6656; 5376;
0; 23041; 0; 2560; 0; 23041; 0; 2816;
0; 4865; 0; 9472; 0; -4352; 0; 22272;
0; -4352; 0; 25344; 0; -4352; 0; -28928;
0; 769; 0; -8960; 0; 10497; 0; -4608;
0; 10497; 0; -1280; 0; 5633; 0; 769;
0; -4352; 0; 4353; 0; -4352; 0; 4353;
0; -3072; 0; 4353; 0; 3841; 0; 2561;
0; 9985; 0; -768; 0; 14593; 0; -4608;
0; 20737; 0; -9984; 0; 23297; 0; -15872;
0; 23297; 0; -20224; 0; 23297; 0; -32000;
0; 18689; 0; 15360; 0; 8193; 0; 10752;
0; 8193; 0; 7168; 0; 13313; 0; 5376;
0; 23041; 0; 5376; 0; 23041; 0; 0;
514; 2; 512; 514; 0; 2; 512; 514;
2; 512; 514; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_BAR
{
ExtraData =
{
// Zeichen: 0xE097 Font: StarSymbol
-26656; 17922; 0; 19459; 0; 10752; 0; 2561;
0; 22273; 0; 8448; 0; 256; 1280; 10752;
0; 2561; 0; -32767; 0; 2561; 0; -32767;
0; 10753; 0; 10752; 0; 10753; 0; 10752;
0; 2561; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_VEC
{
ExtraData =
{
// Zeichen: 0xE098 Font: StarSymbol
-26400; 17922; 0; 19459; 0; 10240; 0; -15104;
0; 32513; 0; -21760; 0; 256; 2048; 10240;
0; 12545; 0; 10240; 0; 769; 0; 6401;
0; 769; 0; 2305; 0; -15104; 0; -23039;
0; 6913; 0; 2305; 0; 28417; 0; 6401;
0; 12545; 0; 10240; 0; 12545; 0; 0;
0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LBRACE
{
ExtraData =
{
// Zeichen: 0x007B Font: StarSymbol
31488; 17922; 0; 19459; 0; 9472; 0; -23808;
0; -22528; 0; 26627; 0; 256; 10752; -13312;
0; 2564; 0; -14592; 0; 2564; 0; -24064;
0; 2564; 0; -30976; 0; -765; 0; 29696;
0; -6909; 0; 24576; 0; -13053; 0; 22272;
0; -20733; 0; 22272; 0; -30205; 0; 22784;
0; -28158; 0; 22784; 0; 28162; 0; 17920;
0; 23554; 0; 9472; 0; 23554; 0; 9472;
0; 19970; 0; 14592; 0; 19970; 0; 17920;
0; 19202; 0; 20224; 0; 16898; 0; 22016;
0; 15362; 0; 22784; 0; 11522; 0; 22784;
0; 6146; 0; 22272; 0; 8193; 0; 22272;
0; -1280; 0; 24832; 0; -8960; 0; 30208;
0; -15104; 0; -30720; 0; -20736; 0; -23296;
0; -23808; 0; -13312; 0; -23808; 0; -13312;
0; -20224; 0; -27136; 0; -20224; 0; 30976;
0; -11776; 0; 30976; 0; 5121; 0; 30208;
0; 258; 0; 30208; 0; 10498; 0; 25344;
0; 17922; 0; 16384; 0; 22274; 0; 25344;
0; 26626; 0; 30208; 0; -31998; 0; 30208;
0; -21758; 0; 30976; 0; -26877; 0; 30976;
0; -9469; 0; -27136; 0; -765; 0; -13312;
0; -765; 0; -13312; 0; 2564; 0; 0;
514; 2; 512; 2; 512; 2; 512; 514;
0; 514; 2; 512; 2; 512; 2; 512;
514; 0; 514; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RBRACE
{
ExtraData =
{
// Zeichen: 0x007D Font: StarSymbol
32000; 17922; 0; 19459; 0; 9472; 0; -23808;
0; -22528; 0; 26627; 0; 256; 16128; 9472;
0; 2564; 0; 9472; 0; -765; 0; 23552;
0; -765; 0; 30976; 0; -9469; 0; 30976;
0; -26877; 0; 30976; 0; 31747; 0; 30464;
0; 22019; 0; 30208; 0; 8451; 0; 29696;
0; -4862; 0; 29696; 0; -14846; 0; 29696;
0; -21758; 0; 29696; 0; -31230; 0; -31488;
0; 27394; 0; -22016; 0; 22274; 0; -31488;
0; 17410; 0; 29696; 0; 9986; 0; 29696;
0; 258; 0; 29696; 0; -6399; 0; 29696;
0; -16127; 0; 30208; 0; -30207; 0; 30464;
0; 22017; 0; 30976; 0; 12033; 0; 30976;
0; 5121; 0; 30976; 0; -11776; 0; 23552;
0; -20224; 0; 9472; 0; -20224; 0; 9472;
0; -23808; 0; 10752; 0; -23808; 0; 20224;
0; -23808; 0; 27136; 0; -20736; 0; 32256;
0; -14592; 0; -28928; 0; -8704; 0; -26368;
0; -1280; 0; -26368; 0; 8193; 0; -26368;
0; 15617; 0; -26880; 0; 26369; 0; -27648;
0; -25343; 0; -28416; 0; -11007; 0; -28928;
0; -767; 0; -28928; 0; 6146; 0; -28928;
0; 12290; 0; -28160; 0; 15618; 0; -25344;
0; 17410; 0; -23296; 0; 19202; 0; -19456;
0; 19970; 0; -13312; 0; 19970; 0; -13312;
0; 23554; 0; -19456; 0; 23554; 0; -23296;
0; 24834; 0; -25344; 0; 26626; 0; -28160;
0; 28162; 0; -28928; 0; 32258; 0; -28928;
0; -28158; 0; -28928; 0; -20734; 0; -28416;
0; -9982; 0; -27648; 0; 3843; 0; -26880;
0; 17923; 0; -26368; 0; 28419; 0; -26368;
0; -30205; 0; -26368; 0; -8701; 0; 29184;
0; 2564; 0; 9472; 0; 2564; 0; 9472;
0; 2564; 0; 0; 514; 2; 512; 514;
2; 512; 514; 2; 512; 514; 2; 512;
0; 514; 2; 512; 514; 2; 512; 514;
2; 512; 2; 512; 514; 2; 512; 514;
2; 512; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LPARENT
{
ExtraData =
{
// Zeichen: 0xE09E Font: StarSymbol
-24864; 17922; 0; 19459; 0; 15360; 0; -17664;
0; -24064; 0; 17411; 0; 256; 6912; -8960;
0; -509; 0; -22784; 0; -12029; 0; 32256;
0; -28413; 0; 25344; 0; 15875; 0; 18432;
0; -2302; 0; 15360; 0; -21758; 0; 15360;
0; 23554; 0; 15360; 0; 4098; 0; 18432;
0; -15359; 0; 25344; 0; 30721; 0; 32256;
0; 9217; 0; -22784; 0; -7424; 0; -8960;
0; -17664; 0; -8960; 0; -12544; 0; -18944;
0; -3072; 0; -26368; 0; 12545; 0; -31488;
0; -30463; 0; 29696; 0; -12287; 0; 27648;
0; 5378; 0; 27648; 0; 23554; 0; 27648;
0; -23806; 0; 29696; 0; -6142; 0; -31488;
0; 12035; 0; -26368; 0; -30717; 0; -18944;
0; -14589; 0; -8960; 0; -5885; 0; -8960;
0; -509; 0; 2; 512; 514; 2; 512;
514; 0; 514; 2; 512; 514; 2; 512;
0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RPARENT
{
ExtraData =
{
// Zeichen: 0xE09F Font: StarSymbol
-24608; 17922; 0; 19459; 0; 10752; 0; -17664;
0; -24832; 0; 17411; 0; 256; 6912; 10752;
0; -5885; 0; 20224; 0; -14589; 0; 27648;
0; -29693; 0; -32768; 0; 14083; 0; -28416;
0; -3070; 0; -26368; 0; -20478; 0; -26368;
0; 27906; 0; -26368; 0; 7938; 0; -28416;
0; -10751; 0; -32000; 0; -28415; 0; 28416;
0; 13825; 0; 20992; 0; -2560; 0; 10752;
0; -12544; 0; 10752; 0; -17664; 0; 24064;
0; -8192; 0; -30976; 0; 8193; 0; -23808;
0; 30721; 0; -17664; 0; -15871; 0; -14336;
0; 3586; 0; -14336; 0; 23554; 0; -14336;
0; -21758; 0; -17664; 0; -2302; 0; -23808;
0; 16387; 0; -30976; 0; -27133; 0; 24064;
0; -10749; 0; 10752; 0; -509; 0; 10752;
0; -5885; 0; 2; 512; 514; 2; 512;
514; 0; 514; 2; 512; 514; 2; 512;
0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LANGLE
{
ExtraData =
{
// Zeichen: 0x2329 Font: StarSymbol
10531; 17922; 0; 19459; 0; 8960; 0; -18176;
0; -8192; 0; 17667; 0; 256; 1792; 8960;
0; 23042; 0; -4608; 0; -18176; 0; 513;
0; -15616; 0; 15104; 0; 23042; 0; 513;
0; -3325; 0; -4608; 0; -765; 0; 8960;
0; 23042; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RANGLE
{
ExtraData =
{
// Zeichen: 0x232A Font: StarSymbol
10787; 17922; 0; 19459; 0; 5888; 0; -18176;
0; -8192; 0; 17667; 0; 256; 1792; -2560;
0; 23042; 0; 11520; 0; -765; 0; 5888;
0; -3325; 0; -8704; 0; 23042; 0; 5888;
0; -15616; 0; 11520; 0; -18176; 0; -2560;
0; 23042; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LBRACKET
{
ExtraData =
{
// Zeichen: 0x005B Font: StarSymbol
23296; 17922; 0; 19459; 0; 15872; 0; -19968;
0; -28160; 0; 17155; 0; 256; 2304; 15872;
0; -3069; 0; 15872; 0; -19968; 0; -12544;
0; -19968; 0; -12544; 0; -15616; 0; 26112;
0; -15616; 0; 26112; 0; -7421; 0; -12544;
0; -7421; 0; -12544; 0; -3069; 0; 15872;
0; -3069; 0; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RBRACKET
{
ExtraData =
{
// Zeichen: 0x005D Font: StarSymbol
23808; 17922; 0; 19459; 0; 7680; 0; -19968;
0; -27648; 0; 17155; 0; 256; 2304; -20224;
0; -3069; 0; 7680; 0; -3069; 0; 7680;
0; -7421; 0; -30720; 0; -7421; 0; -30720;
0; -15616; 0; 7680; 0; -15616; 0; 7680;
0; -19968; 0; -20224; 0; -19968; 0; -20224;
0; -3069; 0; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LDBRACKET
{
ExtraData =
{
// Zeichen: 0x301A Font: StarSymbol
6704; 29185; 0; 19459; 0; 15872; 0; -19968;
0; -13056; 0; 17155; 0; 512; 2304; 15872;
0; -3069; 0; 15872; 0; -19968; 0; 2561;
0; -19968; 0; 2561; 0; -15616; 0; -19456;
0; -15616; 0; -19456; 0; -7421; 0; 2561;
0; -7421; 0; 2561; 0; -3069; 0; 15872;
0; -3069; 0; 0; 0; 0; 0; 5;
151; 0; 195; 0; 102; 0; 195; 0;
102; 0; 227; 768; 151; 0; 227; 768;
151; 0; 195; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RDBRACKET
{
ExtraData =
{
// Zeichen: 0x301B Font: StarSymbol
6960; 29185; 0; 19459; 0; 15872; 0; -19968;
0; -13056; 0; 17155; 0; 512; 2304; 2561;
0; -3069; 0; 15872; 0; -3069; 0; 15872;
0; -7421; 0; -30208; 0; -7421; 0; -30208;
0; -15616; 0; 15872; 0; -15616; 0; 15872;
0; -19968; 0; 2561; 0; -19968; 0; 2561;
0; -3069; 0; 0; 0; 0; 0; 5;
168; 0; 195; 0; 168; 0; 227; 768;
226; 0; 227; 768; 226; 0; 195; 0;
168; 0; 195; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LCEIL
{
ExtraData =
{
// Zeichen: 0x2308 Font: StarSymbol
2083; 17922; 0; 19459; 0; 15872; 0; -19968;
0; -28160; 0; 17155; 0; 256; 1792; 15872;
0; -3069; 0; 15872; 0; -19968; 0; -12544;
0; -19968; 0; -12544; 0; -15616; 0; 26112;
0; -15616; 0; 26112; 0; -3069; 0; 15872;
0; -3069; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RCEIL
{
ExtraData =
{
// Zeichen: 0x2309 Font: StarSymbol
2339; 17922; 0; 19459; 0; 7680; 0; -19968;
0; -27648; 0; 17155; 0; 256; 1792; -20224;
0; -3069; 0; -30720; 0; -3069; 0; -30720;
0; -15616; 0; 7680; 0; -15616; 0; 7680;
0; -19968; 0; -20224; 0; -19968; 0; -20224;
0; -3069; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_LFLOOR
{
ExtraData =
{
// Zeichen: 0x230A Font: StarSymbol
2595; 17922; 0; 19459; 0; 15872; 0; -19968;
0; -28160; 0; 17155; 0; 256; 1792; 15872;
0; -3069; 0; 15872; 0; -19968; 0; 26112;
0; -19968; 0; 26112; 0; -7421; 0; -12544;
0; -7421; 0; -12544; 0; -3069; 0; 15872;
0; -3069; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_RFLOOR
{
ExtraData =
{
// Zeichen: 0x230B Font: StarSymbol
2851; 17922; 0; 19459; 0; 7680; 0; -19968;
0; -27648; 0; 17155; 0; 256; 1792; -20224;
0; -3069; 0; 7680; 0; -3069; 0; 7680;
0; -7421; 0; -30720; 0; -7421; 0; -30720;
0; -19968; 0; -20224; 0; -19968; 0; -20224;
0; -3069; 0; 0; 0; 0; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_OVERBRACE
{
ExtraData =
{
// Zeichen: 0xE082 Font: StarSymbol
-32032; 17922; 0; 19459; 0; 4608; 0; -32768;
0; 26627; 0; -22528; 0; 256; 11520; 4608;
0; 9985; 0; 4608; 0; 8705; 0; 4608;
0; -512; 0; 7680; 0; -7424; 0; 13824;
0; -12544; 0; 19200; 0; -17152; 0; 27136;
0; -19968; 0; -28416; 0; -19968; 0; -30463;
0; -19456; 0; -25855; 0; -19456; 0; -22271;
0; -20224; 0; -19711; 0; -22528; 0; -17919;
0; -24064; 0; -16639; 0; -27648; 0; -16639;
0; -32768; 0; -13311; 0; -32768; 0; -13311;
0; -27648; 0; -12287; 0; -23808; 0; -10239;
0; -22016; 0; -8447; 0; -20224; 0; -4607;
0; -19456; 0; 514; 0; -19456; 0; -1534;
0; -19968; 0; 8451; 0; -19968; 0; 16387;
0; -17152; 0; 22275; 0; -12032; 0; 27907;
0; -6912; 0; 30979; 0; 513; 0; 30979;
0; 9985; 0; 27651; 0; 9985; 0; 27651;
0; -3840; 0; 18947; 0; -10752; 0; 1539;
0; -11264; 0; 6658; 0; -12032; 0; -3839;
0; -12032; 0; -10751; 0; -16384; 0; -14847;
0; -25856; 0; -19199; 0; -16384; 0; -26623;
0; -12032; 0; 28929; 0; -12032; 0; -31488;
0; -11264; 0; 16640; 0; -10752; 0; 8192;
0; -3840; 0; 8192; 0; 9985; 0; 4608;
0; 9985; 0; 0; 514; 2; 512; 2;
512; 514; 0; 514; 2; 512; 2; 512;
514; 0; 514; 0; 514; 2; 512; 2;
512; 0;
2000-09-18 16:07:07 +00:00
};
};
Resource RID_XPP_UNDERBRACE
{
ExtraData =
{
// Zeichen: 0xE081 Font: StarSymbol
-32288; 17922; 0; 19459; 0; 2816; 0; 27651;
0; 26371; 0; -23040; 0; 256; 11520; 28931;
0; 27651; 0; 28931; 0; 28419; 0; 28931;
0; -27645; 0; 25859; 0; -20733; 0; 20227;
0; -15869; 0; 14083; 0; -11261; 0; 6403;
0; -8701; 0; -3070; 0; -8701; 0; -1535;
0; -8957; 0; -6655; 0; -8957; 0; -10239;
0; -8189; 0; -12031; 0; -5885; 0; -14079;
0; -4349; 0; -14847; 0; -765; 0; -14847;
0; 4356; 0; -18431; 0; 4356; 0; -18431;
0; -765; 0; -19711; 0; -4349; 0; -21503;
0; -5885; 0; -23551; 0; -8189; 0; -27135;
0; -8957; 0; -32255; 0; -8957; 0; -30720;
0; -8701; 0; 24832; 0; -8701; 0; 17152;
0; -11261; 0; 11520; 0; -16381; 0; 5376;
0; -21501; 0; 2816; 0; -28413; 0; 2816;
0; 27651; 0; 6400; 0; 27651; 0; 6400;
0; -24573; 0; 14592; 0; -17661; 0; 31744;
0; -17149; 0; 27137; 0; -16381; 0; -28671;
0; -16381; 0; -21503; 0; -11517; 0; -17151;
0; -2045; 0; -12799; 0; -11517; 0; -5375;
0; -16381; 0; 4866; 0; -16381; 0; 3;
0; -17149; 0; 16643; 0; -17661; 0; 25347;
0; -24573; 0; 25347; 0; 27651; 0; 28931;
0; 27651; 0; 0; 514; 2; 512; 2;
512; 514; 0; 514; 2; 512; 2; 512;
514; 0; 514; 0; 514; 2; 512; 2;
512; 0;
2000-09-18 16:07:07 +00:00
};
};
////////////////////////////////////////////////////////////
String RID_PLUSX { Text = "+<?> " ; };
String RID_MINUSX { Text = "-<?> " ; };
String RID_PLUSMINUSX { Text = "+-<?> " ; };
String RID_MINUSPLUSX { Text = "-+<?> " ; };
String RID_NEGX { Text = "neg <?> " ; };
String RID_XPLUSY { Text = "<?> + <?> " ; };
String RID_XMINUSY { Text = "<?> - <?> " ; };
String RID_XCDOTY { Text = "<?> cdot <?> " ; };
String RID_XTIMESY { Text = "<?> times <?> " ; };
String RID_XSYMTIMESY { Text = "<?> * <?> " ; };
String RID_XSYMDIVIDEY { Text = "<?> / <?> " ; };
String RID_XDIVY { Text = "<?> div <?> " ; };
String RID_XOVERY { Text = "<?> over <?> " ; };
String RID_XODIVIDEY { Text = "<?> odivide <?> " ; };
String RID_XODOTY { Text = "<?> odot <?> " ; };
String RID_XOMINUSY { Text = "<?> ominus <?> " ; };
String RID_XOPLUSY { Text = "<?> oplus <?> " ; };
String RID_XOTIMESY { Text = "<?> otimes <?> " ; };
String RID_XANDY { Text = "<?> and <?> " ; };
String RID_XORY { Text = "<?> or <?> " ; };
String RID_XEQY { Text = "<?> = <?> " ; };
String RID_XNEQY { Text = "<?> <> <?> " ; };
String RID_XLTY { Text = "<?> < <?> " ; };
String RID_XGTY { Text = "<?> > <?> " ; };
String RID_XLEY { Text = "<?> <= <?> " ; };
String RID_XGEY { Text = "<?> >= <?> " ; };
String RID_XLESLANTY { Text = "<?> leslant <?> " ; };
String RID_XGESLANTY { Text = "<?> geslant <?> " ; };
String RID_XLLY { Text = "<?> << <?> " ; };
String RID_XGGY { Text = "<?> >> <?> " ; };
String RID_XDEFY { Text = "<?> def <?> " ; };
String RID_XEQUIVY { Text = "<?> equiv <?> " ; };
String RID_XAPPROXY { Text = "<?> approx <?> " ; };
String RID_XSIMY { Text = "<?> sim <?> " ; };
String RID_XSIMEQY { Text = "<?> simeq <?> " ; };
String RID_XPROPY { Text = "<?> prop <?> " ; };
String RID_XORTHOY { Text = "<?> ortho <?> " ; };
String RID_XPARALLELY { Text = "<?> parallel <?> " ; };
String RID_XTOWARDY { Text = "<?> toward <?> " ; };
String RID_XTRANSLY { Text = "<?> transl <?> " ; };
String RID_XTRANSRY { Text = "<?> transr <?> " ; };
String RID_XINY { Text = "<?> in <?> " ; };
String RID_XNOTINY { Text = "<?> notin <?> " ; };
String RID_XOWNSY { Text = "<?> owns <?> " ; };
String RID_XUNIONY { Text = "<?> union <?> " ; };
String RID_XINTERSECTIONY { Text = "<?> intersection <?> " ; };
String RID_XSETMINUSY { Text = "<?> setminus <?> " ; };
String RID_XSLASHY { Text = "<?> slash <?> " ; };
String RID_XSUBSETY { Text = "<?> subset <?> " ; };
String RID_XSUBSETEQY { Text = "<?> subseteq <?> " ; };
String RID_XSUPSETY { Text = "<?> supset <?> " ; };
String RID_XSUPSETEQY { Text = "<?> supseteq <?> " ; };
String RID_XNSUBSETY { Text = "<?> nsubset <?> " ; };
String RID_XNSUBSETEQY { Text = "<?> nsubseteq <?> " ; };
String RID_XNSUPSETY { Text = "<?> nsupset <?> " ; };
String RID_XNSUPSETEQY { Text = "<?> nsupseteq <?> " ; };
String RID_ABSX { Text = "abs{<?>} " ; };
String RID_FACTX { Text = "fact <?> " ; };
String RID_SQRTX { Text = "sqrt{<?>} " ; };
String RID_NROOTXY { Text = "nroot{<?>}{<?>} " ; };
String RID_EX { Text = "func e^{<?>} " ; };
String RID_EXPX { Text = "exp(<?>) " ; };
String RID_LNX { Text = "ln(<?>) " ; };
String RID_LOGX { Text = "log(<?>) " ; };
String RID_SINX { Text = "sin(<?>) " ; };
String RID_COSX { Text = "cos(<?>) " ; };
String RID_TANX { Text = "tan(<?>) " ; };
String RID_COTX { Text = "cot(<?>) " ; };
String RID_ARCSINX { Text = "arcsin(<?>) " ; };
String RID_ARCCOSX { Text = "arccos(<?>) " ; };
String RID_ARCTANX { Text = "arctan(<?>) " ; };
String RID_ARCCOTX { Text = "arccot(<?>) " ; };
String RID_SINHX { Text = "sinh(<?>) " ; };
String RID_COSHX { Text = "cosh(<?>) " ; };
String RID_TANHX { Text = "tanh(<?>) " ; };
String RID_COTHX { Text = "coth(<?>) " ; };
String RID_ARSINHX { Text = "arsinh(<?>) " ; };
String RID_ARCOSHX { Text = "arcosh(<?>) " ; };
String RID_ARTANHX { Text = "artanh(<?>) " ; };
String RID_ARCOTHX { Text = "arcoth(<?>) " ; };
String RID_SUMX { Text = "sum <?> " ; };
String RID_PRODX { Text = "prod <?> " ; };
String RID_COPRODX { Text = "coprod <?> " ; };
String RID_LIMX { Text = "lim <?> " ; };
String RID_LIMINFX { Text = "liminf <?> " ; };
String RID_LIMSUPX { Text = "limsup <?> " ; };
String RID_EXISTS { Text = "exists " ; };
String RID_FORALL { Text = "forall " ; };
String RID_INTX { Text = "int <?> " ; };
String RID_IINTX { Text = "iint <?> " ; };
String RID_IIINTX { Text = "iiint <?> " ; };
String RID_LINTX { Text = "lint <?> " ; };
String RID_LLINTX { Text = "llint <?> " ; };
String RID_LLLINTX { Text = "lllint <?> " ; };
String RID_FROMX { Text = "from{<?>} <?> " ; };
String RID_TOX { Text = "to{<?>} <?> " ; };
String RID_FROMXTOY { Text = "from{<?>} to{<?>} <?> " ; };
String RID_ACUTEX { Text = "acute <?> " ; };
String RID_BARX { Text = "bar <?> " ; };
String RID_BREVEX { Text = "breve <?> " ; };
String RID_CHECKX { Text = "check <?> " ; };
String RID_CIRCLEX { Text = "circle <?> " ; };
String RID_DOTX { Text = "dot <?> " ; };
String RID_DDOTX { Text = "ddot <?> " ; };
String RID_DDDOTX { Text = "dddot <?> " ; };
String RID_GRAVEX { Text = "grave <?> " ; };
String RID_HATX { Text = "hat <?> " ; };
String RID_TILDEX { Text = "tilde <?> " ; };
String RID_VECX { Text = "vec <?> " ; };
String RID_UNDERLINEX { Text = "underline <?> " ; };
String RID_OVERLINEX { Text = "overline <?> " ; };
String RID_OVERSTRIKEX { Text = "overstrike <?> " ; };
String RID_PHANTOMX { Text = "phantom <?> " ; };
String RID_BOLDX { Text = "bold <?> " ; };
String RID_ITALX { Text = "ital <?> " ; };
String RID_SIZEXY { Text = "size <?> <?> " ; };
String RID_FONTXY { Text = "font <?> <?> " ; };
String RID_COLORX { Text = "color <?> <?> " ; };
String RID_LRGROUPX { Text = "{<?>} " ; };
String RID_LRPARENTX { Text = "(<?>) " ; };
String RID_LRBRACKETX { Text = "[<?>] " ; };
String RID_LRDBRACKETX { Text = "ldbracket <?> rdbracket " ; };
String RID_LRBRACEX { Text = "lbrace <?> rbrace " ; };
String RID_LRANGLEX { Text = "langle <?> rangle " ; };
String RID_LRCEILX { Text = "lceil <?> rceil " ; };
String RID_LRFLOORX { Text = "lfloor <?> rfloor " ; };
String RID_LRLINEX { Text = "lline <?> rline " ; };
String RID_LRDLINEX { Text = "ldline <?> rdline " ; };
String RID_LMRANGLEXY { Text = "langle <?> mline <?> rangle " ; };
String RID_SLRPARENTX { Text = "left ( <?> right ) " ; };
String RID_SLRBRACKETX { Text = "left [ <?> right ] " ; };
String RID_SLRDBRACKETX { Text = "left ldbracket <?> right rdbracket " ; };
String RID_SLRBRACEX { Text = "left lbrace <?> right rbrace " ; };
String RID_SLRANGLEX { Text = "left langle <?> right rangle " ; };
String RID_SLRCEILX { Text = "left lceil <?> right rceil " ; };
String RID_SLRFLOORX { Text = "left lfloor <?> right rfloor " ; };
String RID_SLRLINEX { Text = "left lline <?> right rline " ; };
String RID_SLRDLINEX { Text = "left ldline <?> right rdline " ; };
String RID_SLMRANGLEXY { Text = "left langle <?> mline <?> right rangle " ; };
String RID_XOVERBRACEY { Text = "<?> overbrace <?> " ; };
String RID_XUNDERBRACEY { Text = "<?> underbrace <?> " ; };
String RID_RSUBX { Text = "<?>_{<?>}" ; };
String RID_RSUPX { Text = "<?>^{<?>}" ; };
String RID_LSUBX { Text = "<?> lsub{<?>} " ; };
String RID_LSUPX { Text = "<?> lsup{<?>} " ; };
String RID_CSUBX { Text = "<?> csub{<?>} " ; };
String RID_CSUPX { Text = "<?> csup{<?>} " ; };
String RID_SBLANK { Text = "`" ; };
String RID_BLANK { Text = "~" ; };
String RID_NEWLINE { Text = "newline " ; };
String RID_BINOMXY { Text = "binom{<?>}{<?>} " ; };
String RID_STACK { Text = "stack{<?> # <?> # <?>} " ; };
String RID_MATRIX { Text = "matrix{<?> # <?> ## <?> # <?>} " ; };
String RID_ALIGNLX { Text = "alignl <?> " ; };
String RID_ALIGNCX { Text = "alignc <?> " ; };
String RID_ALIGNRX { Text = "alignr <?> " ; };
String RID_ALEPH { Text = "aleph " ; };
String RID_EMPTYSET { Text = "emptyset " ; };
String RID_RE { Text = "Re " ; };
String RID_IM { Text = "Im " ; };
String RID_INFINITY { Text = "infinity " ; };
String RID_PARTIAL { Text = "partial " ; };
String RID_NABLA { Text = "nabla " ; };
String RID_WP { Text = "wp " ; };
String RID_DOTSAXIS { Text = "dotsaxis " ; };
String RID_DOTSUP { Text = "dotsup " ; };
String RID_DOTSDOWN { Text = "dotsdown " ; };
String RID_DOTSLOW { Text = "dotslow " ; };
String RID_DOTSVERT { Text = "dotsvert " ; };
String RID_XCIRCY { Text = "<?> circ <?> " ; };
String RID_XWIDESLASHY { Text = "<?> wideslash <?> " ; };
String RID_XWIDEBSLASHY { Text = "<?> widebslash <?> " ; };
String RID_XDIVIDESY { Text = "<?> divides <?> " ; };
String RID_XNDIVIDESY { Text = "<?> ndivides <?> " ; };
String RID_DLARROW { Text = "<?> dlarrow <?> " ; };
String RID_DLRARROW { Text = "<?> dlrarrow <?> " ; };
String RID_DRARROW { Text = "<?> drarrow <?> " ; };
String RID_SETN { Text = "setN " ; };
String RID_SETZ { Text = "setZ " ; };
String RID_SETQ { Text = "setQ " ; };
String RID_SETR { Text = "setR " ; };
String RID_SETC { Text = "setC " ; };
String RID_WIDEHATX { Text = "widehat <?> " ; };
String RID_WIDETILDEX { Text = "widetilde <?> " ; };
String RID_WIDEVECX { Text = "widevec <?> " ; };
String RID_HBAR { Text = "hbar " ; };
String RID_LAMBDABAR { Text = "lambdabar " ; };
String RID_LEFTARROW { Text = "leftarrow " ; };
String RID_RIGHTARROW { Text = "rightarrow " ; };
String RID_UPARROW { Text = "uparrow " ; };
String RID_DOWNARROW { Text = "downarrow " ; };
//////////////////////////////////////////
Menu RID_COMMANDMENU
{
ItemList =
{
MenuItem
{
Identifier = RID_UNBINOPS_MENU ;
HelpId = HID_SMA_UNBINOPS_TBX ;
Text = "~Un<55>re/Bin<69>re Operatoren" ;
Text [ ENGLISH ] = "Unary/binary operators" ;
Text [ english_us ] = "~Unary/Binary Operators" ;
Text [ portuguese_brazilian ] = "Un?re/Bin?re Operatoren" ;
Text [ swedish ] = "~Un<55>ra/bin<69>ra operatorer" ;
2000-09-18 16:07:07 +00:00
Text [ danish ] = "Monadiske/bin<69>re operatorer" ;
Text [ italian ] = "Operatori unari/binari" ;
Text [ spanish ] = "Operadores ~unarios/binarios" ;
Text [ french ] = "Op<4F>rateurs u~naires/binaires" ;
Text [ dutch ] = "~Unaire/binaire operatoren" ;
Text [ portuguese ] = "Operadores ~un<75>rios/bin<69>rios" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_PLUSX;
HelpId = HID_SMA_PLUSX;
Text = "+a";
};
MenuItem
{
Identifier = RID_MINUSX;
HelpId = HID_SMA_MINUSX;
Text = "-a";
};
MenuItem
{
Identifier = RID_PLUSMINUSX;
HelpId = HID_SMA_PLUSMINUSX;
Text = "+-a";
};
MenuItem
{
Identifier = RID_MINUSPLUSX;
HelpId = HID_SMA_MINUSPLUSX;
Text = "-+a";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_XPLUSY;
HelpId = HID_SMA_XPLUSY;
Text = "a + b";
};
MenuItem
{
Identifier = RID_XMINUSY;
HelpId = HID_SMA_XMINUSY;
Text = "a - b";
};
MenuItem
{
Identifier = RID_XCDOTY;
HelpId = HID_SMA_XCDOTY;
Text = "a cdot b";
};
MenuItem
{
Identifier = RID_XTIMESY;
HelpId = HID_SMA_XTIMESY;
Text = "a times b";
};
MenuItem
{
Identifier = RID_XSYMTIMESY;
HelpId = HID_SMA_XSYMTIMESY;
Text = "a * b";
};
MenuItem
{
Identifier = RID_XOVERY;
HelpId = HID_SMA_XOVERY;
Text = "a over b";
};
MenuItem
{
Identifier = RID_XDIVY;
HelpId = HID_SMA_XDIVY;
Text = "a div b";
};
MenuItem
{
Identifier = RID_XSYMDIVIDEY;
HelpId = HID_SMA_XSYMDIVIDEY;
Text = "a / b";
};
MenuItem
{
Identifier = RID_XCIRCY;
HelpId = HID_SMA_XCIRCY;
Text = "a circ b";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_XWIDESLASHY;
HelpId = HID_SMA_XWIDESLASHY;
Text = "a wideslash b";
};
MenuItem
{
Identifier = RID_XWIDEBSLASHY;
HelpId = HID_SMA_XWIDEBSLASHY;
Text = "a widebslash b";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_NEGX;
HelpId = HID_SMA_NEGX;
Text = "neg a";
};
MenuItem
{
Identifier = RID_XANDY;
HelpId = HID_SMA_XANDY;
Text = "a and b";
};
MenuItem
{
Identifier = RID_XORY;
HelpId = HID_SMA_XORY;
Text = "a or b";
};
};
};
Text[ chinese_simplified ] = "һԪ/<2F><>Ԫ<EFBFBD><D4AA><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~U)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>/<2F><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Unarne/binarne operatory";
Text[ japanese ] = "<22>P<EFBFBD><50><EFBFBD><EFBFBD>񍀉<EFBFBD><F18D8089>Z<EFBFBD>q(~U)";
Text[ chinese_traditional ] = "<22>@<40><>/<2F>G<EFBFBD><47><EFBFBD>B<EFBFBD><42><EFBFBD><EFBFBD>(~U)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Unaire/binaire operatoren";
Text[ chinese_simplified ] = "һԪ/<2F><>Ԫ<EFBFBD><D4AA><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~U)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "<22><><EFBFBD>~<7E><><EFBFBD><EFBFBD><EFBFBD>/<2F><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><><EFBFBD><EFBFBD>/<2F><><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~U)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>/<2F><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "Birli/ikili i<>le<6C>ler";
Text[ language_user1 ] = " ";
Text[ catalan ] = "Operadores ~unarios/binarios";
Text[ finnish ] = "~Unaari-/bin<69><6E>rioperaattorit";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_RELATIONS_MENU ;
HelpId = HID_SMA_RELATIONS_TBX ;
Text = "~Relationen" ;
Text [ ENGLISH ] = "Relations" ;
Text [ english_us ] = "~Relations" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Relationen" ;
Text [ swedish ] = "~Relationer" ;
Text [ danish ] = "Relationer" ;
Text [ italian ] = "Relazioni" ;
Text [ spanish ] = "~Relaciones" ;
Text [ french ] = "~Relations" ;
Text [ dutch ] = "~Relaties" ;
Text [ portuguese ] = "~Rela<6C><61>es" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_XEQY;
HelpId = HID_SMA_XEQY;
Text = "a = b";
};
MenuItem
{
Identifier = RID_XNEQY;
HelpId = HID_SMA_XNEQY;
Text = "a <> b";
};
MenuItem
{
Identifier = RID_XLTY;
HelpId = HID_SMA_XLTY;
Text = "a < b";
};
MenuItem
{
Identifier = RID_XLEY;
HelpId = HID_SMA_XLEY;
Text = "a <= b";
};
MenuItem
{
Identifier = RID_XLESLANTY;
HelpId = HID_SMA_XLESLANTY;
Text = "a leslant b";
};
MenuItem
{
Identifier = RID_XGTY;
HelpId = HID_SMA_XGTY;
Text = "a > b";
};
MenuItem
{
Identifier = RID_XGEY;
HelpId = HID_SMA_XGEY;
Text = "a >= b";
};
MenuItem
{
Identifier = RID_XGESLANTY;
HelpId = HID_SMA_XGESLANTY;
Text = "a geslant b";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_XAPPROXY;
HelpId = HID_SMA_XAPPROXY;
Text = "a approx b";
};
MenuItem
{
Identifier = RID_XSIMY;
HelpId = HID_SMA_XSIMY;
Text = "a sim b";
};
MenuItem
{
Identifier = RID_XSIMEQY;
HelpId = HID_SMA_XSIMEQY;
Text = "a simeq b";
};
MenuItem
{
Identifier = RID_XEQUIVY;
HelpId = HID_SMA_XEQUIVY;
Text = "a equiv b";
};
MenuItem
{
Identifier = RID_XPROPY;
HelpId = HID_SMA_XPROPY;
Text = "a prop b";
};
MenuItem
{
Identifier = RID_XPARALLELY;
HelpId = HID_SMA_XPARALLELY;
Text = "a parallel b";
};
MenuItem
{
Identifier = RID_XORTHOY;
HelpId = HID_SMA_XORTHOY;
Text = "a ortho b";
};
MenuItem
{
Identifier = RID_XDIVIDESY;
HelpId = HID_SMA_XDIVIDESY;
Text = "a divides b";
};
MenuItem
{
Identifier = RID_XNDIVIDESY;
HelpId = HID_SMA_XNDIVIDESY;
Text = "a ndivides b";
};
MenuItem
{
Identifier = RID_XTOWARDY;
HelpId = HID_SMA_XTOWARDY;
Text = "a toward b";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_DLARROW;
HelpId = HID_SMA_DLARROW;
Text = "a dlarrow b";
};
MenuItem
{
Identifier = RID_DLRARROW;
HelpId = HID_SMA_DLRARROW;
Text = "a dlrarrow b";
};
MenuItem
{
Identifier = RID_DRARROW;
HelpId = HID_SMA_DRARROW;
Text = "a drarrow b";
};
};
};
Text[ chinese_simplified ] = "<22><>ϵ(~R)";
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
2000-09-18 16:07:07 +00:00
Text[ polish ] = "Relacje";
Text[ japanese ] = "<22><><EFBFBD>r<EFBFBD><72><EFBFBD>Z(~R)";
Text[ chinese_traditional ] = "<22><><EFBFBD>Y(~R)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Relaties";
Text[ chinese_simplified ] = "<22><>ϵ(~R)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><><EFBFBD><EFBFBD>(~R)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "<22>li<6C>kiler";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Relaciones";
Text[ finnish ] = "~Suhteet";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_SETOPERATIONS_MENU ;
HelpId = HID_SMA_SETOPERATIONS_TBX ;
Text = "~Mengenoperationen" ;
Text [ ENGLISH ] = "Set operations" ;
Text [ english_us ] = "~Set Operations" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Mengenoperationen" ;
Text [ swedish ] = "~M<>ngdoperationer" ;
Text [ danish ] = "M<>ngdeoperationer" ;
Text [ italian ] = "Operazioni degli insiemi" ;
Text [ spanish ] = "~Operaciones de conjuntos" ;
2001-07-26 21:24:44 +00:00
Text [ french ] = "O~p<>rateurs d'ensemble" ;
2000-09-18 16:07:07 +00:00
Text [ dutch ] = "~Definities" ;
Text [ portuguese ] = "~Opera<72><61>es de conjuntos" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_XINY;
HelpId = HID_SMA_XINY;
Text = "a in A";
};
MenuItem
{
Identifier = RID_XNOTINY;
HelpId = HID_SMA_XNOTINY;
Text = "a notin A";
};
MenuItem
{
Identifier = RID_XOWNSY;
HelpId = HID_SMA_XOWNSY;
Text = "A owns a";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_XINTERSECTIONY;
HelpId = HID_SMA_XINTERSECTIONY;
Text = "A intersection B";
};
MenuItem
{
Identifier = RID_XUNIONY;
HelpId = HID_SMA_XUNIONY;
Text = "A union B";
};
MenuItem
{
Identifier = RID_XSETMINUSY;
HelpId = HID_SMA_XSETMINUSY;
Text = "A \\ B";
};
MenuItem
{
Identifier = RID_XSLASHY;
HelpId = HID_SMA_XSLASHY;
Text = "A / B";
};
MenuItem
{
Identifier = RID_XSUBSETY;
HelpId = HID_SMA_XSUBSETY;
Text = "A subset B";
};
MenuItem
{
Identifier = RID_XSUBSETEQY;
HelpId = HID_SMA_XSUBSETEQY;
Text = "A subseteq B";
};
MenuItem
{
Identifier = RID_XSUPSETY;
HelpId = HID_SMA_XSUPSETY;
Text = "A supset B";
};
MenuItem
{
Identifier = RID_XSUPSETEQY;
HelpId = HID_SMA_XSUPSETEQY;
Text = "A supseteq B";
};
MenuItem
{
Identifier = RID_XNSUBSETY;
HelpId = HID_SMA_XNSUBSETY;
Text = "A nsubset B";
};
MenuItem
{
Identifier = RID_XNSUBSETEQY;
HelpId = HID_SMA_XNSUBSETEQY;
Text = "A nsubseteq B";
};
MenuItem
{
Identifier = RID_XNSUPSETY;
HelpId = HID_SMA_XNSUPSETY;
Text = "A nsupset B";
};
MenuItem
{
Identifier = RID_XNSUPSETEQY;
HelpId = HID_SMA_XNSUPSETEQY;
Text = "A nsupseteq B";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_EMPTYSET;
HelpId = HID_SMA_EMPTYSET;
Text = "emptyset";
};
MenuItem
{
Identifier = RID_ALEPH;
HelpId = HID_SMA_ALEPH;
Text = "aleph";
};
MenuItem
{
Identifier = RID_SETN;
HelpId = HID_SMA_SETN;
Text = "setN";
};
MenuItem
{
Identifier = RID_SETZ;
HelpId = HID_SMA_SETZ;
Text = "setZ";
};
MenuItem
{
Identifier = RID_SETQ;
HelpId = HID_SMA_SETQ;
Text = "setQ";
};
MenuItem
{
Identifier = RID_SETR;
HelpId = HID_SMA_SETR;
Text = "setR";
};
MenuItem
{
Identifier = RID_SETC;
HelpId = HID_SMA_SETC;
Text = "setC";
};
};
};
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~S)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Operacje na zbiorach";
Text[ japanese ] = "<22>W<EFBFBD><57><EFBFBD><EFBFBD><EFBFBD>Z(~S)";
Text[ chinese_traditional ] = "<22>ƶq<C6B6>p<EFBFBD><70>(~S)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Definities";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~S)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
2001-07-13 19:38:40 +00:00
Text[ korean ] = "<22><><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD>(~S)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "K<>me i<>lemleri";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Operaciones de conjuntos";
Text[ finnish ] = "~M<><4D>rit<69> toiminnot";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_FUNCTIONS_MENU ;
HelpId = HID_SMA_FUNCTIONS_TBX ;
Text = "~Funktionen" ;
Text [ ENGLISH ] = "Functions" ;
Text [ english_us ] = "~Functions" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Funktionen" ;
Text [ swedish ] = "~Funktioner" ;
Text [ danish ] = "Funktioner" ;
Text [ italian ] = "Funzioni" ;
Text [ spanish ] = "~Funciones" ;
Text [ french ] = "~Fonctions" ;
Text [ dutch ] = "~Functies" ;
Text [ portuguese ] = "~Fun<75><6E>es" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_ABSX;
HelpId = HID_SMA_ABSX;
Text = "|x|";
};
MenuItem
{
Identifier = RID_FACTX;
HelpId = HID_SMA_FACTX;
Text = "x!";
};
MenuItem
{
Identifier = RID_SQRTX;
HelpId = HID_SMA_SQRTX;
Text = "sqrt x";
};
MenuItem
{
Identifier = RID_NROOTXY;
HelpId = HID_SMA_NROOTXY;
Text = "nroot x y";
};
MenuItem
{
Identifier = RID_RSUPX;
HelpId = HID_SMA_RSUPX;
Text = "x^y";
};
MenuItem
{
Identifier = RID_EX;
HelpId = HID_SMA_EX;
Text = "e^x";
};
MenuItem
{
Identifier = RID_LNX;
HelpId = HID_SMA_LNX;
Text = "ln(x)";
};
MenuItem
{
Identifier = RID_EXPX;
HelpId = HID_SMA_EXPX;
Text = "exp(x)";
};
MenuItem
{
Identifier = RID_LOGX;
HelpId = HID_SMA_LOGX;
Text = "log(x)";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_SINX;
HelpId = HID_SMA_SINX;
Text = "sin(x)";
};
MenuItem
{
Identifier = RID_COSX;
HelpId = HID_SMA_COSX;
Text = "cos(x)";
};
MenuItem
{
Identifier = RID_TANX;
HelpId = HID_SMA_TANX;
Text = "tan(x)";
};
MenuItem
{
Identifier = RID_COTX;
HelpId = HID_SMA_COTX;
Text = "cot(x)";
};
MenuItem
{
Identifier = RID_SINHX;
HelpId = HID_SMA_SINHX;
Text = "sinh(x)";
};
MenuItem
{
Identifier = RID_COSHX;
HelpId = HID_SMA_COSHX;
Text = "cosh(x)";
};
MenuItem
{
Identifier = RID_TANHX;
HelpId = HID_SMA_TANHX;
Text = "tanh(x)";
};
MenuItem
{
Identifier = RID_COTHX;
HelpId = HID_SMA_COTHX;
Text = "coth(x)";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_FUNCTIONSOTHER1_MENU;
HelpId = HID_SMA_FUNCTIONSOTHER1_MENU;
Text = "andere";
Text [ ENGLISH ] = "other";
TEXT[ italian ] = "altri";
TEXT[ portuguese_brazilian ] = "andere";
TEXT[ portuguese ] = "Outros";
TEXT[ danish ] = "andre";
TEXT[ french ] = "Autres";
TEXT[ swedish ] = "andra";
TEXT[ dutch ] = "andere";
TEXT[ spanish ] = "otros";
TEXT[ english_us ] = "More";
2000-09-18 16:07:07 +00:00
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_ARCSINX;
HelpId = HID_SMA_ARCSINX;
Text = "arcsin(x)";
};
MenuItem
{
Identifier = RID_ARCCOSX;
HelpId = HID_SMA_ARCCOSX;
Text = "arccos(x)";
};
MenuItem
{
Identifier = RID_ARCTANX;
HelpId = HID_SMA_ARCTANX;
Text = "arctan(x)";
};
MenuItem
{
Identifier = RID_ARCCOTX;
HelpId = HID_SMA_ARCCOTX;
Text = "arcot(x)";
};
MenuItem
{
Identifier = RID_ARSINHX;
HelpId = HID_SMA_ARSINHX;
Text = "arsinh(x)";
};
MenuItem
{
Identifier = RID_ARCOSHX;
HelpId = HID_SMA_ARCOSHX;
Text = "arcosh(x)";
};
MenuItem
{
Identifier = RID_ARTANHX;
HelpId = HID_SMA_ARTANHX;
Text = "artanh(x)";
};
MenuItem
{
Identifier = RID_ARCOTHX;
HelpId = HID_SMA_ARCOTHX;
Text = "arcoth(x)";
};
};
};
TEXT[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>";
TEXT[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
TEXT[ polish ] = "inne";
TEXT[ japanese ] = "<22><><EFBFBD>̑<EFBFBD>";
TEXT[ chinese_traditional ] = "<22><><EFBFBD>L";
TEXT[ language_user1 ] = " ";
TEXT[ dutch ] = "andere";
TEXT[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>";
TEXT[ greek ] = "<22><><EFBFBD><EFBFBD>";
TEXT[ korean ] = "<22><>Ÿ";
TEXT[ arabic ] = "<22><><EFBFBD> <20><><EFBFBD>";
TEXT[ turkish ] = "Di<44>er";
TEXT[ catalan ] = "otros";
TEXT[ finnish ] = "Lis<69><73>";
2000-09-18 16:07:07 +00:00
};
};
};
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~F)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Funkcje";
Text[ japanese ] = "<22>֐<EFBFBD>(~F)";
Text[ chinese_traditional ] = "<22><><EFBFBD><EFBFBD>(~F)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Functies";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~F)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22>Լ<EFBFBD>(~F)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "Fonksiyon";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Funciones";
Text[ finnish ] = "~Toiminnot";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_OPERATORS_MENU ;
HelpId = HID_SMA_OPERATORS_TBX ;
Text = "~Operatoren" ;
Text [ ENGLISH ] = "Operators" ;
Text [ english_us ] = "O~perators" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Operatoren" ;
Text [ swedish ] = "~Operatorer" ;
Text [ danish ] = "Operatorer" ;
Text [ italian ] = "Operatori" ;
Text [ spanish ] = "~Operadores" ;
Text [ french ] = "~Op<4F>rateurs" ;
Text [ dutch ] = "O~peratoren" ;
Text [ portuguese ] = "~Operadores" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_LIMX;
HelpId = HID_SMA_LIMX;
Text = "lim x";
};
MenuItem
{
Identifier = RID_SUMX;
HelpId = HID_SMA_SUMX;
Text = "sum x";
};
MenuItem
{
Identifier = RID_PRODX;
HelpId = HID_SMA_PRODX;
Text = "prod x";
};
MenuItem
{
Identifier = RID_COPRODX;
HelpId = HID_SMA_COPRODX;
Text = "coprod x";
};
MenuItem
{
Identifier = RID_INTX;
HelpId = HID_SMA_INTX;
Text = "int x";
};
MenuItem
{
Identifier = RID_IINTX;
HelpId = HID_SMA_IINTX;
Text = "iint x";
};
MenuItem
{
Identifier = RID_IIINTX;
HelpId = HID_SMA_IIINTX;
Text = "iiint x";
};
MenuItem
{
Identifier = RID_LINTX;
HelpId = HID_SMA_LINTX;
Text = "lint x";
};
MenuItem
{
Identifier = RID_LLINTX;
HelpId = HID_SMA_LLINTX;
Text = "llint x";
};
MenuItem
{
Identifier = RID_LLLINTX;
HelpId = HID_SMA_LLLINTX;
Text = "lllint x";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_FROMXTOY;
HelpId = HID_SMA_FROMXTOY;
Text = "... from a to b";
};
MenuItem
{
Identifier = RID_FROMX;
HelpId = HID_SMA_FROMX;
Text = "... from a";
};
MenuItem
{
Identifier = RID_TOX;
HelpId = HID_SMA_TOX;
Text = "... to b";
};
};
};
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~P)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Operatory";
Text[ japanese ] = "<22><><EFBFBD>Z<EFBFBD>q(~P)";
Text[ chinese_traditional ] = "<22>B<EFBFBD><42><EFBFBD><EFBFBD>(~P)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "O~peratoren";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~P)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><><EFBFBD><EFBFBD>(~P)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "<22><>le<6C>ler";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Operadores";
Text[ finnish ] = "~Operaattorit";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_ATTRIBUTES_MENU ;
HelpId = HID_SMA_ATTRIBUTES_TBX ;
Text = "~Attribute" ;
Text [ ENGLISH ] = "Attributes" ;
Text [ portuguese ] = "~Atributos" ;
Text [ english_us ] = "~Attributes" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Attribute" ;
Text [ swedish ] = "~Attribut" ;
Text [ danish ] = "Attributter" ;
Text [ italian ] = "Attributi" ;
Text [ spanish ] = "~Atributos" ;
Text [ french ] = "~Attributs" ;
Text [ dutch ] = "~Attributen" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_ACUTEX;
HelpId = HID_SMA_ACUTEX;
Text = "acute a";
};
MenuItem
{
Identifier = RID_GRAVEX;
HelpId = HID_SMA_GRAVEX;
Text = "grave a";
};
MenuItem
{
Identifier = RID_CHECKX;
HelpId = HID_SMA_CHECKX;
Text = "check a";
};
MenuItem
{
Identifier = RID_BREVEX;
HelpId = HID_SMA_BREVEX;
Text = "breve a";
};
MenuItem
{
Identifier = RID_CIRCLEX;
HelpId = HID_SMA_CIRCLEX;
Text = "circle a";
};
MenuItem
{
Identifier = RID_DOTX;
HelpId = HID_SMA_DOTX;
Text = "dot a";
};
MenuItem
{
Identifier = RID_DDOTX;
HelpId = HID_SMA_DDOTX;
Text = "ddot a";
};
MenuItem
{
Identifier = RID_DDDOTX;
HelpId = HID_SMA_DDDOTX;
Text = "dddot a";
};
MenuItem
{
Identifier = RID_BARX;
HelpId = HID_SMA_BARX;
Text = "bar a";
};
MenuItem
{
Identifier = RID_VECX;
HelpId = HID_SMA_VECX;
Text = "vec a";
};
MenuItem
{
Identifier = RID_TILDEX;
HelpId = HID_SMA_TILDEX;
Text = "tilde a";
};
MenuItem
{
Identifier = RID_HATX;
HelpId = HID_SMA_HATX;
Text = "hat a";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_WIDEVECX;
HelpId = HID_SMA_WIDEVECX;
Text = "widevec abc";
};
MenuItem
{
Identifier = RID_WIDETILDEX;
HelpId = HID_SMA_WIDETILDEX;
Text = "widetilde abc";
};
MenuItem
{
Identifier = RID_WIDEHATX;
HelpId = HID_SMA_WIDEHATX;
Text = "widehat abc";
};
MenuItem
{
Identifier = RID_OVERLINEX;
HelpId = HID_SMA_OVERLINEX;
Text = "overline abc";
};
MenuItem
{
Identifier = RID_UNDERLINEX;
HelpId = HID_SMA_UNDERLINEX;
Text = "underline abc";
};
MenuItem
{
Identifier = RID_OVERSTRIKEX;
HelpId = HID_SMA_OVERSTRIKEX;
Text = "overstrike abc";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_PHANTOMX;
HelpId = HID_SMA_PHANTOMX;
Text = "phantom b";
};
MenuItem
{
Identifier = RID_BOLDX;
HelpId = HID_SMA_BOLDX;
Text = "bold b";
};
MenuItem
{
Identifier = RID_ITALX;
HelpId = HID_SMA_ITALX;
Text = "ital b";
};
MenuItem
{
Identifier = RID_SIZEXY;
HelpId = HID_SMA_SIZEXY;
Text = "size s b";
};
MenuItem
{
Identifier = RID_FONTXY;
HelpId = HID_SMA_FONTXY;
Text = "font f b";
};
};
};
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~A)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Atrybuty";
Text[ japanese ] = "<22><><EFBFBD><EFBFBD>(~A)";
Text[ chinese_traditional ] = "<22>ݩ<EFBFBD>(~A)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Attributen";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~A)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22>Ӽ<EFBFBD>(~A)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD>";
Text[ turkish ] = "<22>znitelikler";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Atributos";
Text[ finnish ] = "~M<><4D>ritteet";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_BRACKETS_MENU ;
HelpId = HID_SMA_BRACKETS_TBX ;
Text = "~Klammern" ;
Text [ ENGLISH ] = "Parentheses" ;
Text [ english_us ] = "~Brackets" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Klammern" ;
Text [ swedish ] = "~Parenteser" ;
Text [ danish ] = "Parenteser" ;
Text [ italian ] = "Parentesi" ;
Text [ spanish ] = "~Par<61>ntesis" ;
Text [ french ] = "~Parenth<74>ses" ;
Text [ dutch ] = "~Haakjes" ;
Text [ portuguese ] = "~Par<61>nteses" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_LRGROUPX;
HelpId = HID_SMA_LRGROUPX;
Text = "{...}";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_LRPARENTX;
HelpId = HID_SMA_LRPARENTX;
Text = "(x)";
};
MenuItem
{
Identifier = RID_LRBRACKETX;
HelpId = HID_SMA_LRBRACKETX;
Text = "[x]";
};
MenuItem
{
Identifier = RID_LRDBRACKETX;
HelpId = HID_SMA_LRDBRACKETX;
Text = "ldbracket x rdbracket ";
};
MenuItem
{
Identifier = RID_LRBRACEX;
HelpId = HID_SMA_LRBRACEX;
Text = "{x}";
};
MenuItem
{
Identifier = RID_LRANGLEX;
HelpId = HID_SMA_LRANGLEX;
Text = "langle x rangle";
};
MenuItem
{
Identifier = RID_LMRANGLEXY;
HelpId = HID_SMA_LMRANGLEXY;
Text = "langle x mline y rangle";
};
MenuItem
{
Identifier = RID_LRCEILX;
HelpId = HID_SMA_LRCEILX;
Text = "lceil x rceil";
};
MenuItem
{
Identifier = RID_LRFLOORX;
HelpId = HID_SMA_LRFLOORX;
Text = "lfloor x rfloor";
};
MenuItem
{
Identifier = RID_LRLINEX;
HelpId = HID_SMA_LRLINEX;
Text = "lline x rline";
};
MenuItem
{
Identifier = RID_LRDLINEX;
HelpId = HID_SMA_LRDLINEX;
Text = "ldline x rdline";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_SLRPARENTX;
HelpId = HID_SMA_SLRPARENTX;
Text = "left ( x rigth )";
};
MenuItem
{
Identifier = RID_SLRBRACKETX;
HelpId = HID_SMA_SLRBRACKETX;
Text = "left [ x right ]";
};
MenuItem
{
Identifier = RID_SLRDBRACKETX;
HelpId = HID_SMA_SLRDBRACKETX;
Text = "left ldbracket x right rdbracket ";
};
MenuItem
{
Identifier = RID_SLRBRACEX;
HelpId = HID_SMA_SLRBRACEX;
Text = "left { x right }";
};
MenuItem
{
Identifier = RID_SLRANGLEX;
HelpId = HID_SMA_SLRANGLEX;
Text = "left langle x right rangle";
};
MenuItem
{
Identifier = RID_SLMRANGLEXY;
HelpId = HID_SMA_SLMRANGLEXY;
Text = "left langle x mline y right rangle";
};
MenuItem
{
Identifier = RID_SLRCEILX;
HelpId = HID_SMA_SLRCEILX;
Text = "left lceil x right rceil";
};
MenuItem
{
Identifier = RID_SLRFLOORX;
HelpId = HID_SMA_SLRFLOORX;
Text = "left lfloor x right rfloor";
};
MenuItem
{
Identifier = RID_SLRLINEX;
HelpId = HID_SMA_SLRLINEX;
Text = "left lline x right rline";
};
MenuItem
{
Identifier = RID_SLRDLINEX;
HelpId = HID_SMA_SLRDLINEX;
Text = "left ldline x right rdline";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_XOVERBRACEY;
HelpId = HID_SMA_XOVERBRACEY;
Text = "x overbrace y";
};
MenuItem
{
Identifier = RID_XUNDERBRACEY;
HelpId = HID_SMA_XUNDERBRACEY;
Text = "x underbrace y";
};
};
};
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~B)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Nawiasy";
Text[ japanese ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~B)";
Text[ chinese_traditional ] = "<22>A<EFBFBD><41>(~B)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Haakjes";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~B)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><>ȣ(~B)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "Ayra<72>lar";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Par<61>ntesis";
Text[ finnish ] = "~Sulkeet";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_FORMAT_MENU ;
HelpId = HID_SMA_FORMAT_TBX ;
Text = "Formatieru~ngen" ;
Text [ ENGLISH ] = "Format" ;
Text [ english_us ] = "For~mats" ;
2000-09-18 16:07:07 +00:00
Text [ portuguese_brazilian ] = "Formatierungen" ;
Text [ swedish ] = "~Formateringar" ;
Text [ danish ] = "Formateringer" ;
Text [ italian ] = "Formattazioni" ;
Text [ spanish ] = "~Formatos" ;
Text [ french ] = "Format~age" ;
Text [ dutch ] = "~Opmaak" ;
Text [ portuguese ] = "~Formatos" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_RSUPX;
HelpId = HID_SMA_RSUPX;
Text = "^x";
};
MenuItem
{
Identifier = RID_RSUBX;
HelpId = HID_SMA_RSUBX;
Text = "_x";
};
MenuItem
{
Identifier = RID_LSUPX;
HelpId = HID_SMA_LSUPX;
Text = "lsup x";
};
MenuItem
{
Identifier = RID_LSUBX;
HelpId = HID_SMA_LSUBX;
Text = "lsub x";
};
MenuItem
{
Identifier = RID_CSUPX;
HelpId = HID_SMA_CSUPX;
Text = "csup x";
};
MenuItem
{
Identifier = RID_CSUBX;
HelpId = HID_SMA_CSUBX;
Text = "csub x";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_NEWLINE;
HelpId = HID_SMA_NEWLINE;
Text = "neue Zeile";
Text [ ENGLISH ] = "new line" ;
Text[ italian ] = "Nuova riga";
Text[ portuguese_brazilian ] = "new line";
Text[ portuguese ] = "nova linha";
Text[ danish ] = "ny linje";
Text[ french ] = "nouvelle ligne";
Text[ swedish ] = "ny rad";
Text[ dutch ] = "nieuwe regel";
Text[ spanish ] = "nueva l<>nea";
Text[ english_us ] = "New Line";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>";
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "nowy wiersz";
Text[ japanese ] = "<22>V<EFBFBD><56><EFBFBD><EFBFBD><EFBFBD>s";
Text[ chinese_traditional ] = "<22><><EFBFBD><EFBFBD>";
Text[ dutch ] = "nieuwe regel";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>";
Text[ greek ] = "<22><><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
2001-02-09 19:16:52 +00:00
Text[ korean ] = "<22><> <20><>";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><> <20><><EFBFBD><EFBFBD>";
Text[ turkish ] = "Yeni sat<61>r";
Text[ language_user1 ] = " ";
Text[ catalan ] = "nueva l<>nea";
Text[ finnish ] = "Uusi viiva";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_SBLANK;
HelpId = HID_SMA_SBLANK;
Text = "kleiner Zwischenraum";
Text [ ENGLISH ] = "small space" ;
Text[ italian ] = "Spazio intemedio piccolo";
Text[ portuguese_brazilian ] = "small space";
Text[ portuguese ] = "espa<70>amento pequeno";
Text[ danish ] = "lille mellemrum";
Text[ french ] = "Petit espace";
Text[ swedish ] = "Litet mellanrum";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "kleine spatie";
Text[ spanish ] = "espacio peque<75>o";
Text[ english_us ] = "Small Gap";
Text[ chinese_simplified ] = "С<><D0A1><EFBFBD><EFBFBD>";
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
2001-06-13 21:13:16 +00:00
Text[ polish ] = "Ma<4D>y odst<73>p";
2000-09-18 16:07:07 +00:00
Text[ japanese ] = "<22><><EFBFBD><EFBFBD>߰<EFBFBD>";
Text[ chinese_traditional ] = "<22>p<EFBFBD><70><EFBFBD>j";
Text[ dutch ] = "kleine spatie";
Text[ chinese_simplified ] = "С<><D0A1><EFBFBD><EFBFBD>";
Text[ greek ] = "<22><><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD>";
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD> <20><><EFBFBD><EFBFBD>";
Text[ turkish ] = "K<><4B><EFBFBD>k aral<61>k";
Text[ language_user1 ] = " ";
Text[ catalan ] = "espacio peque<75>o";
Text[ finnish ] = "Pieni v<>li";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_BLANK;
HelpId = HID_SMA_BLANK;
Text = "Zwischenraum";
Text [ ENGLISH ] = "space" ;
Text[ italian ] = "Spazio intermedio";
Text[ portuguese_brazilian ] = "space";
Text[ portuguese ] = "espa<70>amento";
Text[ danish ] = "mellemrum";
Text[ french ] = "Espace";
Text[ swedish ] = "mellanrum";
Text[ dutch ] = "spatie";
Text[ spanish ] = "espacio";
Text[ english_us ] = "Gap";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>";
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Odst<73>p ramek";
Text[ japanese ] = "<22><>߰<EFBFBD>";
Text[ chinese_traditional ] = "<22><><EFBFBD>j";
Text[ dutch ] = "spatie";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>";
Text[ greek ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><><EFBFBD><EFBFBD>";
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "Aral<61>k";
Text[ language_user1 ] = " ";
Text[ catalan ] = "espacio";
Text[ finnish ] = "V<>li";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_BINOMXY;
HelpId = HID_SMA_BINOMXY;
Text = "binom x y";
};
MenuItem
{
Identifier = RID_STACK;
HelpId = HID_SMA_STACK;
Text = "stack {...}";
};
MenuItem
{
Identifier = RID_MATRIX;
HelpId = HID_SMA_MATRIX;
Text = "matrix {...}";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_ALIGNLX;
HelpId = HID_SMA_ALIGNLX;
Text = "alignl x";
};
MenuItem
{
Identifier = RID_ALIGNCX;
HelpId = HID_SMA_ALIGNCX;
Text = "alignc x";
};
MenuItem
{
Identifier = RID_ALIGNRX;
HelpId = HID_SMA_ALIGNRX;
Text = "alignr x";
};
};
};
2001-07-24 19:24:21 +00:00
Text[ chinese_simplified ] = "<22><>ʽ<EFBFBD><CABD>(~M)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Formatowania";
Text[ japanese ] = "<22><><EFBFBD><EFBFBD><EFBFBD>ݒ<EFBFBD>(~M)";
2001-07-24 19:24:21 +00:00
Text[ chinese_traditional ] = "<22><EFBFBD><E6A6A1>(~M)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "~Opmaak";
2001-07-24 19:24:21 +00:00
Text[ chinese_simplified ] = "<22><>ʽ<EFBFBD><CABD>(~M)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "<22><><EFBFBD>~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>(~M)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><><EFBFBD><EFBFBD><EFBFBD>";
Text[ turkish ] = "Format";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Formatos";
Text[ finnish ] = "~Muodot";
2000-09-18 16:07:07 +00:00
};
MenuItem
{
Identifier = RID_MISC_MENU ;
HelpId = HID_SMA_MISC_MENU ;
Text = "~Sonstiges" ;
Text [ ENGLISH ] = "Misc" ;
Text [ english_us ] = "~Others" ;
Text [ portuguese_brazilian ] = "Sonstiges" ;
Text [ swedish ] = "<22>~vrigt" ;
Text [ danish ] = "Andet" ;
Text [ italian ] = "Altro" ;
Text [ spanish ] = "~Otros" ;
Text [ french ] = "~Autres" ;
Text [ dutch ] = "D~iversen" ;
Text [ portuguese ] = "~Outros" ;
SubMenu = Menu
{
ItemList =
{
MenuItem
{
Identifier = RID_INFINITY;
HelpId = HID_SMA_INFINITY;
Text = "infinity";
};
MenuItem
{
Identifier = RID_PARTIAL;
HelpId = HID_SMA_PARTIAL;
Text = "partial";
};
MenuItem
{
Identifier = RID_NABLA;
HelpId = HID_SMA_NABLA;
Text = "nabla";
};
MenuItem
{
Identifier = RID_EXISTS;
HelpId = HID_SMA_EXISTS;
Text = "exists";
};
MenuItem
{
Identifier = RID_FORALL;
HelpId = HID_SMA_FORALL;
Text = "forall";
};
MenuItem
{
Identifier = RID_HBAR;
HelpId = HID_SMA_HBAR;
Text = "hbar";
};
MenuItem
{
Identifier = RID_LAMBDABAR;
HelpId = HID_SMA_LAMBDABAR;
Text = "lambdabar";
};
MenuItem
{
Identifier = RID_RE;
HelpId = HID_SMA_RE;
Text = "Re";
};
MenuItem
{
Identifier = RID_IM;
HelpId = HID_SMA_IM;
Text = "Im";
};
MenuItem
{
Identifier = RID_WP;
HelpId = HID_SMA_WP;
Text = "wp";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_LEFTARROW;
HelpId = HID_SMA_LEFTARROW;
Text = "leftarrow";
};
MenuItem
{
Identifier = RID_RIGHTARROW;
HelpId = HID_SMA_RIGHTARROW;
Text = "rightarrow";
};
MenuItem
{
Identifier = RID_UPARROW;
HelpId = HID_SMA_UPARROW;
Text = "uparrow";
};
MenuItem
{
Identifier = RID_DOWNARROW;
HelpId = HID_SMA_DOWNARROW;
Text = "downarrow";
};
MenuItem
{
Separator = TRUE;
};
MenuItem
{
Identifier = RID_DOTSLOW;
HelpId = HID_SMA_DOTSLOW;
Text = "dotslow";
};
MenuItem
{
Identifier = RID_DOTSAXIS;
HelpId = HID_SMA_DOTSAXIS;
Text = "dotsaxis";
};
MenuItem
{
Identifier = RID_DOTSVERT;
HelpId = HID_SMA_DOTSVERT;
Text = "dotsvert";
};
MenuItem
{
Identifier = RID_DOTSUP;
HelpId = HID_SMA_DOTSUP;
Text = "dotsup";
};
MenuItem
{
Identifier = RID_DOTSDOWN;
HelpId = HID_SMA_DOTSDOWN;
Text = "dotsdown";
};
};
};
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~O)";
2000-09-18 16:07:07 +00:00
Text[ russian ] = "<22><><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ polish ] = "Inne";
Text[ japanese ] = "<22><><EFBFBD>̑<EFBFBD>(~O)";
Text[ chinese_traditional ] = "<22><><EFBFBD>L(~O)";
2000-09-18 16:07:07 +00:00
Text[ dutch ] = "D~iversen";
Text[ chinese_simplified ] = "<22><><EFBFBD><EFBFBD>(~O)";
2000-09-18 16:07:07 +00:00
Text[ greek ] = "~<7E><><EFBFBD><EFBFBD><EFBFBD><EFBFBD><EFBFBD>";
Text[ korean ] = "<22><>Ÿ(~O)";
2000-09-18 16:07:07 +00:00
Text[ arabic ] = "<22><> <20><><EFBFBD> <20><><EFBFBD>";
Text[ turkish ] = "Di<44>er";
Text[ language_user1 ] = " ";
Text[ catalan ] = "~Otros";
Text[ finnish ] = "~Muut";
2000-09-18 16:07:07 +00:00
};
};
};
2001-06-08 21:02:45 +00:00
2001-06-13 21:13:16 +00:00
2001-07-13 19:38:40 +00:00
2001-07-26 21:24:44 +00:00
2001-07-24 19:24:21 +00:00