Kaydet (Commit) 8da10652 authored tarafından Maxim Monastirsky's avatar Maxim Monastirsky

tdf#106479 Make edit context menu dispatcher based

This allows us to add there any .uno command and
also get the icon and keyboard shortcut for it.
Use this to add clipboard commands.

Change-Id: Ic42c28add7771f322491e8e7d6df052e3c2c8d75
Reviewed-on: https://gerrit.libreoffice.org/37353Reviewed-by: 's avatarMaxim Monastirsky <momonasmon@gmail.com>
Tested-by: 's avatarMaxim Monastirsky <momonasmon@gmail.com>
üst 7d9e441e
......@@ -141,7 +141,68 @@
<value>9</value>
</prop>
</node>
<node oor:name=".uno:InsertCommandText?Text:string=newline " oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">New Line</value>
</prop>
</node>
<node oor:name=".uno:InsertCommandText?Text:string=`" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">Small Gap</value>
</prop>
</node>
<node oor:name=".uno:InsertCommandText?Text:string=~" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">Gap</value>
</prop>
</node>
</node>
<node oor:name="Popups">
<node oor:name=".uno:UnaryBinaryMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Unary/Binary Operators</value>
</prop>
</node>
<node oor:name=".uno:RelationsMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Relations</value>
</prop>
</node>
<node oor:name=".uno:SetOperationsMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Set Operations</value>
</prop>
</node>
<node oor:name=".uno:FunctionsMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Functions</value>
</prop>
</node>
<node oor:name=".uno:OperatorsMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">O~perators</value>
</prop>
</node>
<node oor:name=".uno:AttributesMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Attributes</value>
</prop>
</node>
<node oor:name=".uno:BracketsMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Brackets</value>
</prop>
</node>
<node oor:name=".uno:FormatsMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">For~mats</value>
</prop>
</node>
<node oor:name=".uno:OthersMenu" oor:op="replace">
<prop oor:name="Label" oor:type="xs:string">
<value xml:lang="en-US">~Others</value>
</prop>
</node>
</node>
<node oor:name="Popups"/>
</node>
</oor:component-data>
......@@ -20,9 +20,14 @@
<oor:component-data xmlns:install="http://openoffice.org/2004/installation" xmlns:oor="http://openoffice.org/2001/registry" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" oor:name="MathWindowState" oor:package="org.openoffice.Office.UI">
<node oor:name="UIElements">
<node oor:name="States">
<node oor:name="private:resource/popupmenu/edit" oor:op="replace">
<prop oor:name="UIName" oor:type="xs:string">
<value xml:lang="en-US">Edit Panel</value>
</prop>
</node>
<node oor:name="private:resource/popupmenu/view" oor:op="replace">
<prop oor:name="UIName" oor:type="xs:string">
<value xml:lang="en-US">Work Area</value>
<value xml:lang="en-US">View Panel</value>
</prop>
</node>
<node oor:name="private:resource/toolbar/standardbar" oor:op="replace">
......
......@@ -14,6 +14,7 @@ $(eval $(call gb_UIConfig_add_menubarfiles,modules/smath,\
))
$(eval $(call gb_UIConfig_add_popupmenufiles,modules/smath,\
starmath/uiconfig/smath/popupmenu/edit \
starmath/uiconfig/smath/popupmenu/view \
))
......@@ -30,7 +31,6 @@ $(eval $(call gb_UIConfig_add_toolbarfiles,modules/smath,\
$(eval $(call gb_UIConfig_add_uifiles,modules/smath,\
starmath/uiconfig/smath/ui/alignmentdialog \
starmath/uiconfig/smath/ui/catalogdialog \
starmath/uiconfig/smath/ui/commandmenu \
starmath/uiconfig/smath/ui/dockingelements \
starmath/uiconfig/smath/ui/fontdialog \
starmath/uiconfig/smath/ui/fontsizedialog \
......
......@@ -58,7 +58,6 @@ class SmEditWindow : public vcl::Window, public DropTargetHelper
virtual void KeyInput(const KeyEvent& rKEvt) override;
virtual void Command(const CommandEvent& rCEvt) override;
DECL_LINK(MenuSelectHdl, Menu *, bool);
DECL_LINK(ModifyTimerHdl, Timer *, void);
DECL_LINK(CursorMoveTimerHdl, Timer *, void);
......
......@@ -217,7 +217,7 @@ SfxInt16Item Graphic SID_GAPHIC_SM
SfxVoidItem InsertCommandText SID_INSERTCOMMANDTEXT
()
(SfxStringItem Text SID_INSERTCOMMANDTEXT)
[
AutoUpdate = FALSE,
FastCall = FALSE,
......
......@@ -341,29 +341,9 @@ void SmEditWindow::Command(const CommandEvent& rCEvt)
GetParent()->ToTop();
Point aPoint = rCEvt.GetMousePosPixel();
VclBuilder aBuilder(nullptr, VclBuilderContainer::getUIRootDir(), "modules/smath/ui/commandmenu.ui", "");
VclPtr<PopupMenu> xPopupMenu(aBuilder.get_menu("menu"));
// added for replaceability of context menus
VclPtr<Menu> pMenu;
css::ui::ContextMenuExecuteEvent aEvent;
aEvent.SourceWindow = VCLUnoHelper::GetInterface( this );
aEvent.ExecutePosition.X = aPoint.X();
aEvent.ExecutePosition.Y = aPoint.Y();
OUString sDummy;
if ( GetView()->TryContextMenuInterception( *xPopupMenu, sDummy, pMenu, aEvent ) )
{
if ( pMenu )
{
xPopupMenu.disposeAndClear();
xPopupMenu = static_cast<PopupMenu*>(pMenu.get());
}
}
xPopupMenu->SetSelectHdl(LINK(this, SmEditWindow, MenuSelectHdl));
xPopupMenu->Execute( this, aPoint );
SmViewShell* pViewSh = rCmdBox.GetView();
if (pViewSh)
pViewSh->GetViewFrame()->GetDispatcher()->ExecutePopup("edit", this, &aPoint);
bForwardEvt = false;
}
else if (rCEvt.GetCommand() == CommandEventId::Wheel)
......@@ -397,16 +377,6 @@ bool SmEditWindow::HandleWheelCommands( const CommandEvent &rCEvt )
return bCommandHandled;
}
IMPL_LINK( SmEditWindow, MenuSelectHdl, Menu *, pMenu, bool )
{
SmViewShell *pViewSh = rCmdBox.GetView();
if (pViewSh)
pViewSh->GetViewFrame()->GetDispatcher()->ExecuteList(
SID_INSERTCOMMANDTEXT, SfxCallMode::RECORD,
{ new SfxStringItem(SID_INSERTCOMMANDTEXT, OUString::fromUtf8(pMenu->GetCurItemIdent())) });
return false;
}
void SmEditWindow::KeyInput(const KeyEvent& rKEvt)
{
if (rKEvt.GetKeyCode().GetCode() == KEY_ESCAPE)
......
<?xml version="1.0" encoding="UTF-8"?>
<!--
* This file is part of the LibreOffice project.
*
* This Source Code Form is subject to the terms of the Mozilla Public
* License, v. 2.0. If a copy of the MPL was not distributed with this
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
*
-->
<!-- BEWARE: We store most labels here because they are not translatable.
Labels that are supposed to be translatable should be added to
officecfg/.../MathCommands.xcu instead.
-->
<menu:menupopup xmlns:menu="http://openoffice.org/2001/menu">
<menu:menuitem menu:id=".uno:Cut"/>
<menu:menuitem menu:id=".uno:Copy"/>
<menu:menuitem menu:id=".uno:Paste"/>
<menu:menuseparator/>
<menu:menu menu:id=".uno:UnaryBinaryMenu">
<menu:menupopup>
<menu:menuitem menu:label="+a" menu:id=".uno:InsertCommandText?Text:string=+&lt;?&gt; "/>
<menu:menuitem menu:label="-a" menu:id=".uno:InsertCommandText?Text:string=-&lt;?&gt; "/>
<menu:menuitem menu:label="+-a" menu:id=".uno:InsertCommandText?Text:string=+-&lt;?&gt; "/>
<menu:menuitem menu:label="-+a" menu:id=".uno:InsertCommandText?Text:string=-+&lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="a + b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; + &lt;?&gt; "/>
<menu:menuitem menu:label="a - b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; - &lt;?&gt; "/>
<menu:menuitem menu:label="a cdot b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; cdot &lt;?&gt; "/>
<menu:menuitem menu:label="a times b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; times &lt;?&gt; "/>
<menu:menuitem menu:label="a * b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; * &lt;?&gt; "/>
<menu:menuitem menu:label="a over b" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} over {&lt;?&gt;} "/>
<menu:menuitem menu:label="a div b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; div &lt;?&gt; "/>
<menu:menuitem menu:label="a / b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; / &lt;?&gt; "/>
<menu:menuitem menu:label="a circ b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; circ &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="a wideslash b" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} wideslash {&lt;?&gt;} "/>
<menu:menuitem menu:label="a widebslash b" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} widebslash {&lt;?&gt;} "/>
<menu:menuseparator/>
<menu:menuitem menu:label="neg a" menu:id=".uno:InsertCommandText?Text:string=neg &lt;?&gt; "/>
<menu:menuitem menu:label="a and b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; and &lt;?&gt; "/>
<menu:menuitem menu:label="a or b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; or &lt;?&gt; "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:RelationsMenu">
<menu:menupopup>
<menu:menuitem menu:label="a = b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; %3D &lt;?&gt; "/>
<menu:menuitem menu:label="a &lt;&gt; b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &lt;&gt; &lt;?&gt; "/>
<menu:menuitem menu:label="a &lt; b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &lt; &lt;?&gt; "/>
<menu:menuitem menu:label="a &lt;= b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &lt;%3D &lt;?&gt; "/>
<menu:menuitem menu:label="a leslant b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; leslant &lt;?&gt; "/>
<menu:menuitem menu:label="a &gt; b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &gt; &lt;?&gt; "/>
<menu:menuitem menu:label="a &gt;= b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; &gt;%3D &lt;?&gt; "/>
<menu:menuitem menu:label="a geslant b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; geslant &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="a approx b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; approx &lt;?&gt; "/>
<menu:menuitem menu:label="a sim b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; sim &lt;?&gt; "/>
<menu:menuitem menu:label="a simeq b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; simeq &lt;?&gt; "/>
<menu:menuitem menu:label="a equiv b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; equiv &lt;?&gt; "/>
<menu:menuitem menu:label="a prop b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; prop &lt;?&gt; "/>
<menu:menuitem menu:label="a parallel b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; parallel &lt;?&gt; "/>
<menu:menuitem menu:label="a ortho b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; ortho &lt;?&gt; "/>
<menu:menuitem menu:label="a divides b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; divides &lt;?&gt; "/>
<menu:menuitem menu:label="a ndivides b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; ndivides &lt;?&gt; "/>
<menu:menuitem menu:label="a toward b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; toward &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="a dlarrow b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; dlarrow &lt;?&gt; "/>
<menu:menuitem menu:label="a dlrarrow b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; dlrarrow &lt;?&gt; "/>
<menu:menuitem menu:label="a drarrow b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; drarrow &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="a prec b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; prec &lt;?&gt; "/>
<menu:menuitem menu:label="a succ b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; succ &lt;?&gt; "/>
<menu:menuitem menu:label="a preccurlyeq b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; preccurlyeq &lt;?&gt; "/>
<menu:menuitem menu:label="a succcurlyeq b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; succcurlyeq &lt;?&gt; "/>
<menu:menuitem menu:label="a precsim b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; precsim &lt;?&gt; "/>
<menu:menuitem menu:label="a succsim b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; succsim &lt;?&gt; "/>
<menu:menuitem menu:label="a nprec b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nprec &lt;?&gt; "/>
<menu:menuitem menu:label="a nsucc b" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsucc &lt;?&gt; "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:SetOperationsMenu">
<menu:menupopup>
<menu:menuitem menu:label="a in A" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; in &lt;?&gt; "/>
<menu:menuitem menu:label="a notin A" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; notin &lt;?&gt; "/>
<menu:menuitem menu:label="A owns a" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; owns &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="A intersection B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; intersection &lt;?&gt; "/>
<menu:menuitem menu:label="A union B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; union &lt;?&gt; "/>
<menu:menuitem menu:label="A \ B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; setminus &lt;?&gt; "/>
<menu:menuitem menu:label="A / B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; slash &lt;?&gt; "/>
<menu:menuitem menu:label="A subset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; subset &lt;?&gt; "/>
<menu:menuitem menu:label="A subseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; subseteq &lt;?&gt; "/>
<menu:menuitem menu:label="A supset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; supset &lt;?&gt; "/>
<menu:menuitem menu:label="A supseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; supseteq &lt;?&gt; "/>
<menu:menuitem menu:label="A nsubset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsubset &lt;?&gt; "/>
<menu:menuitem menu:label="A nsubseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsubseteq &lt;?&gt; "/>
<menu:menuitem menu:label="A nsupset B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsupset &lt;?&gt; "/>
<menu:menuitem menu:label="A nsupseteq B" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; nsupseteq &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="emptyset" menu:id=".uno:InsertCommandText?Text:string=emptyset "/>
<menu:menuitem menu:label="aleph" menu:id=".uno:InsertCommandText?Text:string=aleph "/>
<menu:menuitem menu:label="setN" menu:id=".uno:InsertCommandText?Text:string=setN "/>
<menu:menuitem menu:label="setZ" menu:id=".uno:InsertCommandText?Text:string=setZ "/>
<menu:menuitem menu:label="setQ" menu:id=".uno:InsertCommandText?Text:string=setQ "/>
<menu:menuitem menu:label="setR" menu:id=".uno:InsertCommandText?Text:string=setR "/>
<menu:menuitem menu:label="setC" menu:id=".uno:InsertCommandText?Text:string=setC "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:FunctionsMenu">
<menu:menupopup>
<menu:menuitem menu:label="|x|" menu:id=".uno:InsertCommandText?Text:string=abs{&lt;?&gt;} "/>
<menu:menuitem menu:label="x!" menu:id=".uno:InsertCommandText?Text:string=fact{&lt;?&gt;} "/>
<menu:menuitem menu:label="sqrt x" menu:id=".uno:InsertCommandText?Text:string=sqrt{&lt;?&gt;} "/>
<menu:menuitem menu:label="nroot x y" menu:id=".uno:InsertCommandText?Text:string=nroot{&lt;?&gt;}{&lt;?&gt;} "/>
<menu:menuitem menu:label="x^y" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt;^{&lt;?&gt;}"/>
<menu:menuitem menu:label="e^x" menu:id=".uno:InsertCommandText?Text:string=func e^{&lt;?&gt;} "/>
<menu:menuitem menu:label="ln(x)" menu:id=".uno:InsertCommandText?Text:string=ln(&lt;?&gt;) "/>
<menu:menuitem menu:label="exp(x)" menu:id=".uno:InsertCommandText?Text:string=exp(&lt;?&gt;) "/>
<menu:menuitem menu:label="log(x)" menu:id=".uno:InsertCommandText?Text:string=log(&lt;?&gt;) "/>
<menu:menuseparator/>
<menu:menuitem menu:label="sin(x)" menu:id=".uno:InsertCommandText?Text:string=sin(&lt;?&gt;) "/>
<menu:menuitem menu:label="cos(x)" menu:id=".uno:InsertCommandText?Text:string=cos(&lt;?&gt;) "/>
<menu:menuitem menu:label="tan(x)" menu:id=".uno:InsertCommandText?Text:string=tan(&lt;?&gt;) "/>
<menu:menuitem menu:label="cot(x)" menu:id=".uno:InsertCommandText?Text:string=cot(&lt;?&gt;) "/>
<menu:menuitem menu:label="sinh(x)" menu:id=".uno:InsertCommandText?Text:string=sinh(&lt;?&gt;) "/>
<menu:menuitem menu:label="cosh(x)" menu:id=".uno:InsertCommandText?Text:string=cosh(&lt;?&gt;) "/>
<menu:menuitem menu:label="tanh(x)" menu:id=".uno:InsertCommandText?Text:string=tanh(&lt;?&gt;) "/>
<menu:menuitem menu:label="coth(x)" menu:id=".uno:InsertCommandText?Text:string=coth(&lt;?&gt;) "/>
<menu:menuseparator/>
<menu:menuitem menu:label="arcsin(x)" menu:id=".uno:InsertCommandText?Text:string=arcsin(&lt;?&gt;) "/>
<menu:menuitem menu:label="arccos(x)" menu:id=".uno:InsertCommandText?Text:string=arccos(&lt;?&gt;) "/>
<menu:menuitem menu:label="arctan(x)" menu:id=".uno:InsertCommandText?Text:string=arctan(&lt;?&gt;) "/>
<menu:menuitem menu:label="arccot(x)" menu:id=".uno:InsertCommandText?Text:string=arccot(&lt;?&gt;) "/>
<menu:menuitem menu:label="arsinh(x)" menu:id=".uno:InsertCommandText?Text:string=arsinh(&lt;?&gt;) "/>
<menu:menuitem menu:label="arcosh(x)" menu:id=".uno:InsertCommandText?Text:string=arcosh(&lt;?&gt;) "/>
<menu:menuitem menu:label="artanh(x)" menu:id=".uno:InsertCommandText?Text:string=artanh(&lt;?&gt;) "/>
<menu:menuitem menu:label="arcoth(x)" menu:id=".uno:InsertCommandText?Text:string=arcoth(&lt;?&gt;) "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:OperatorsMenu">
<menu:menupopup>
<menu:menuitem menu:label="lim x" menu:id=".uno:InsertCommandText?Text:string=lim &lt;?&gt; "/>
<menu:menuitem menu:label="sum x" menu:id=".uno:InsertCommandText?Text:string=sum &lt;?&gt; "/>
<menu:menuitem menu:label="prod x" menu:id=".uno:InsertCommandText?Text:string=prod &lt;?&gt; "/>
<menu:menuitem menu:label="coprod x" menu:id=".uno:InsertCommandText?Text:string=coprod &lt;?&gt; "/>
<menu:menuitem menu:label="int x" menu:id=".uno:InsertCommandText?Text:string=int &lt;?&gt; "/>
<menu:menuitem menu:label="iint x" menu:id=".uno:InsertCommandText?Text:string=iint &lt;?&gt; "/>
<menu:menuitem menu:label="iiint x" menu:id=".uno:InsertCommandText?Text:string=iiint &lt;?&gt; "/>
<menu:menuitem menu:label="lint x" menu:id=".uno:InsertCommandText?Text:string=lint &lt;?&gt; "/>
<menu:menuitem menu:label="llint x" menu:id=".uno:InsertCommandText?Text:string=llint &lt;?&gt; "/>
<menu:menuitem menu:label="lllint x" menu:id=".uno:InsertCommandText?Text:string=lllint &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="... from a to b" menu:id=".uno:InsertCommandText?Text:string=from{&lt;?&gt;} to{&lt;?&gt;} &lt;?&gt; "/>
<menu:menuitem menu:label="... from a" menu:id=".uno:InsertCommandText?Text:string=from{&lt;?&gt;} &lt;?&gt; "/>
<menu:menuitem menu:label="... to b" menu:id=".uno:InsertCommandText?Text:string=to{&lt;?&gt;} &lt;?&gt; "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:AttributesMenu">
<menu:menupopup>
<menu:menuitem menu:label="acute a" menu:id=".uno:InsertCommandText?Text:string=acute &lt;?&gt; "/>
<menu:menuitem menu:label="grave a" menu:id=".uno:InsertCommandText?Text:string=grave &lt;?&gt; "/>
<menu:menuitem menu:label="check a" menu:id=".uno:InsertCommandText?Text:string=check &lt;?&gt; "/>
<menu:menuitem menu:label="breve a" menu:id=".uno:InsertCommandText?Text:string=breve &lt;?&gt; "/>
<menu:menuitem menu:label="circle a" menu:id=".uno:InsertCommandText?Text:string=circle &lt;?&gt; "/>
<menu:menuitem menu:label="dot a" menu:id=".uno:InsertCommandText?Text:string=dot &lt;?&gt; "/>
<menu:menuitem menu:label="ddot a" menu:id=".uno:InsertCommandText?Text:string=ddot &lt;?&gt; "/>
<menu:menuitem menu:label="dddot a" menu:id=".uno:InsertCommandText?Text:string=dddot &lt;?&gt; "/>
<menu:menuitem menu:label="bar a" menu:id=".uno:InsertCommandText?Text:string=bar &lt;?&gt; "/>
<menu:menuitem menu:label="vec a" menu:id=".uno:InsertCommandText?Text:string=vec &lt;?&gt; "/>
<menu:menuitem menu:label="tilde a" menu:id=".uno:InsertCommandText?Text:string=tilde &lt;?&gt; "/>
<menu:menuitem menu:label="hat a" menu:id=".uno:InsertCommandText?Text:string=hat &lt;?&gt; "/>
<menu:menuseparator/>
<menu:menuitem menu:label="widevec abc" menu:id=".uno:InsertCommandText?Text:string=widevec {&lt;?&gt;} "/>
<menu:menuitem menu:label="widetilde abc" menu:id=".uno:InsertCommandText?Text:string=widetilde {&lt;?&gt;} "/>
<menu:menuitem menu:label="widehat abc" menu:id=".uno:InsertCommandText?Text:string=widehat {&lt;?&gt;} "/>
<menu:menuitem menu:label="overline abc" menu:id=".uno:InsertCommandText?Text:string=overline {&lt;?&gt;} "/>
<menu:menuitem menu:label="underline abc" menu:id=".uno:InsertCommandText?Text:string=underline {&lt;?&gt;} "/>
<menu:menuitem menu:label="overstrike abc" menu:id=".uno:InsertCommandText?Text:string=overstrike {&lt;?&gt;} "/>
<menu:menuseparator/>
<menu:menuitem menu:label="phantom b" menu:id=".uno:InsertCommandText?Text:string=phantom {&lt;?&gt;} "/>
<menu:menuitem menu:label="bold b" menu:id=".uno:InsertCommandText?Text:string=bold &lt;?&gt; "/>
<menu:menuitem menu:label="ital b" menu:id=".uno:InsertCommandText?Text:string=ital &lt;?&gt; "/>
<menu:menuitem menu:label="size s b" menu:id=".uno:InsertCommandText?Text:string=size &lt;?&gt; {&lt;?&gt;} "/>
<menu:menuitem menu:label="font f b" menu:id=".uno:InsertCommandText?Text:string=font &lt;?&gt; {&lt;?&gt;} "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:BracketsMenu">
<menu:menupopup>
<menu:menuitem menu:label="{...}" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} "/>
<menu:menuseparator/>
<menu:menuitem menu:label="(x)" menu:id=".uno:InsertCommandText?Text:string=(&lt;?&gt;) "/>
<menu:menuitem menu:label="[x]" menu:id=".uno:InsertCommandText?Text:string=[&lt;?&gt;] "/>
<menu:menuitem menu:label="ldbracket x rdbracket " menu:id=".uno:InsertCommandText?Text:string=ldbracket &lt;?&gt; rdbracket "/>
<menu:menuitem menu:label="{x}" menu:id=".uno:InsertCommandText?Text:string=lbrace &lt;?&gt; rbrace "/>
<menu:menuitem menu:label="langle x rangle" menu:id=".uno:InsertCommandText?Text:string=langle &lt;?&gt; rangle "/>
<menu:menuitem menu:label="langle x mline y rangle" menu:id=".uno:InsertCommandText?Text:string=langle &lt;?&gt; mline &lt;?&gt; rangle "/>
<menu:menuitem menu:label="lceil x rceil" menu:id=".uno:InsertCommandText?Text:string=lceil &lt;?&gt; rceil "/>
<menu:menuitem menu:label="lfloor x rfloor" menu:id=".uno:InsertCommandText?Text:string=lfloor &lt;?&gt; rfloor "/>
<menu:menuitem menu:label="lline x rline" menu:id=".uno:InsertCommandText?Text:string=lline &lt;?&gt; rline "/>
<menu:menuitem menu:label="ldline x rdline" menu:id=".uno:InsertCommandText?Text:string=ldline &lt;?&gt; rdline "/>
<menu:menuseparator/>
<menu:menuitem menu:label="left ( x right )" menu:id=".uno:InsertCommandText?Text:string=left ( &lt;?&gt; right ) "/>
<menu:menuitem menu:label="left [ x right ]" menu:id=".uno:InsertCommandText?Text:string=left [ &lt;?&gt; right ] "/>
<menu:menuitem menu:label="left ldbracket x right rdbracket " menu:id=".uno:InsertCommandText?Text:string=left ldbracket &lt;?&gt; right rdbracket "/>
<menu:menuitem menu:label="left { x right }" menu:id=".uno:InsertCommandText?Text:string=left lbrace &lt;?&gt; right rbrace "/>
<menu:menuitem menu:label="left langle x right rangle" menu:id=".uno:InsertCommandText?Text:string=left langle &lt;?&gt; right rangle "/>
<menu:menuitem menu:label="left langle x mline y right rangle" menu:id=".uno:InsertCommandText?Text:string=left langle &lt;?&gt; mline &lt;?&gt; right rangle "/>
<menu:menuitem menu:label="left lceil x right rceil" menu:id=".uno:InsertCommandText?Text:string=left lceil &lt;?&gt; right rceil "/>
<menu:menuitem menu:label="left lfloor x right rfloor" menu:id=".uno:InsertCommandText?Text:string=left lfloor &lt;?&gt; right rfloor "/>
<menu:menuitem menu:label="left lline x right rline" menu:id=".uno:InsertCommandText?Text:string=left lline &lt;?&gt; right rline "/>
<menu:menuitem menu:label="left ldline x right rdline" menu:id=".uno:InsertCommandText?Text:string=left ldline &lt;?&gt; right rdline "/>
<menu:menuitem menu:label="left none x right rline_y" menu:id=".uno:InsertCommandText?Text:string=left none {&lt;?&gt;} right rline_{&lt;?&gt;} "/>
<menu:menuseparator/>
<menu:menuitem menu:label="x overbrace y" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} overbrace {&lt;?&gt;} "/>
<menu:menuitem menu:label="x underbrace y" menu:id=".uno:InsertCommandText?Text:string={&lt;?&gt;} underbrace {&lt;?&gt;} "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:FormatsMenu">
<menu:menupopup>
<menu:menuitem menu:label="^x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt;^{&lt;?&gt;} "/>
<menu:menuitem menu:label="_x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt;_{&lt;?&gt;} "/>
<menu:menuitem menu:label="lsup x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; lsup{&lt;?&gt;} "/>
<menu:menuitem menu:label="lsub x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; lsub{&lt;?&gt;} "/>
<menu:menuitem menu:label="csup x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; csup{&lt;?&gt;} "/>
<menu:menuitem menu:label="csub x" menu:id=".uno:InsertCommandText?Text:string=&lt;?&gt; csub{&lt;?&gt;} "/>
<menu:menuseparator/>
<menu:menuitem menu:id=".uno:InsertCommandText?Text:string=newline "/>
<menu:menuitem menu:id=".uno:InsertCommandText?Text:string=`"/>
<menu:menuitem menu:id=".uno:InsertCommandText?Text:string=~"/>
<menu:menuitem menu:label="nospace {...}" menu:id=".uno:InsertCommandText?Text:string=nospace {&lt;?&gt;} "/>
<menu:menuitem menu:label="binom x y" menu:id=".uno:InsertCommandText?Text:string=binom{&lt;?&gt;}{&lt;?&gt;} "/>
<menu:menuitem menu:label="stack {...}" menu:id=".uno:InsertCommandText?Text:string=stack{&lt;?&gt; # &lt;?&gt; # &lt;?&gt;} "/>
<menu:menuitem menu:label="matrix {...}" menu:id=".uno:InsertCommandText?Text:string=matrix{&lt;?&gt; # &lt;?&gt; ## &lt;?&gt; # &lt;?&gt;} "/>
<menu:menuseparator/>
<menu:menuitem menu:label="alignl x" menu:id=".uno:InsertCommandText?Text:string=alignl &lt;?&gt; "/>
<menu:menuitem menu:label="alignc x" menu:id=".uno:InsertCommandText?Text:string=alignc &lt;?&gt; "/>
<menu:menuitem menu:label="alignr x" menu:id=".uno:InsertCommandText?Text:string=alignr &lt;?&gt; "/>
</menu:menupopup>
</menu:menu>
<menu:menu menu:id=".uno:OthersMenu">
<menu:menupopup>
<menu:menuitem menu:label="infinity" menu:id=".uno:InsertCommandText?Text:string=infinity "/>
<menu:menuitem menu:label="partial" menu:id=".uno:InsertCommandText?Text:string=partial "/>
<menu:menuitem menu:label="nabla" menu:id=".uno:InsertCommandText?Text:string=nabla "/>
<menu:menuitem menu:label="exists" menu:id=".uno:InsertCommandText?Text:string=exists "/>
<menu:menuitem menu:label="not exists" menu:id=".uno:InsertCommandText?Text:string=notexists "/>
<menu:menuitem menu:label="forall" menu:id=".uno:InsertCommandText?Text:string=forall "/>
<menu:menuitem menu:label="hbar" menu:id=".uno:InsertCommandText?Text:string=hbar "/>
<menu:menuitem menu:label="lambdabar" menu:id=".uno:InsertCommandText?Text:string=lambdabar "/>
<menu:menuitem menu:label="Re" menu:id=".uno:InsertCommandText?Text:string=Re "/>
<menu:menuitem menu:label="Im" menu:id=".uno:InsertCommandText?Text:string=Im "/>
<menu:menuitem menu:label="wp" menu:id=".uno:InsertCommandText?Text:string=wp "/>
<menu:menuseparator/>
<menu:menuitem menu:label="leftarrow" menu:id=".uno:InsertCommandText?Text:string=leftarrow "/>
<menu:menuitem menu:label="rightarrow" menu:id=".uno:InsertCommandText?Text:string=rightarrow "/>
<menu:menuitem menu:label="uparrow" menu:id=".uno:InsertCommandText?Text:string=uparrow "/>
<menu:menuitem menu:label="downarrow" menu:id=".uno:InsertCommandText?Text:string=downarrow "/>
<menu:menuseparator/>
<menu:menuitem menu:label="dotslow" menu:id=".uno:InsertCommandText?Text:string=dotslow "/>
<menu:menuitem menu:label="dotsaxis" menu:id=".uno:InsertCommandText?Text:string=dotsaxis "/>
<menu:menuitem menu:label="dotsvert" menu:id=".uno:InsertCommandText?Text:string=dotsvert "/>
<menu:menuitem menu:label="dotsup" menu:id=".uno:InsertCommandText?Text:string=dotsup "/>
<menu:menuitem menu:label="dotsdown" menu:id=".uno:InsertCommandText?Text:string=dotsdown "/>
</menu:menupopup>
</menu:menu>
</menu:menupopup>
<?xml version="1.0" encoding="UTF-8"?>
<!-- Generated with glade 3.20.0 -->
<interface>
<requires lib="gtk+" version="3.10"/>
<object class="GtkMenu" id="menu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="item1">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Unary/Binary Operators</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="+&lt;?&gt; +&lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">+a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="-&lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">-a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="+-&lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">+-a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="-+&lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">-+a</property>
<property name="use_underline">True</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem1">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; + &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a + b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; - &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a - b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; cdot &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a cdot b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; times &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a times b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; * &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a * b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="{&lt;?&gt;} over {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a over b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; div &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a div b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; / &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a / b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; circ &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a circ b</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem2">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="{&lt;?&gt;} wideslash {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a wideslash b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="{&lt;?&gt;} widebslash {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a widebslash b</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem3">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="neg &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">neg a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; and &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a and b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; or &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a or b</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item20">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Relations</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; = &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a = b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; &lt;&gt; &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a &lt;&gt; b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; &lt; &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a &lt; b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; &lt;= &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a &lt;= b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; leslant &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a leslant b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; &gt; &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a &gt; b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; &gt;= &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a &gt;= b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; geslant &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a geslant b</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem5">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; approx &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a approx b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; sim &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a sim b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; simeq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a simeq b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; equiv &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a equiv b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; prop &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a prop b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; parallel &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a parallel b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; ortho &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a ortho b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; divides &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a divides b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; ndivides &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a ndivides b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; toward &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a toward b</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem4">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; dlarrow &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a dlarrow b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; dlrarrow &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a dlrarrow b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; drarrow &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a drarrow b</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem6">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; prec &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a prec b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; succ &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a succ b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; preccurlyeq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a preccurlyeq b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; succcurlyeq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a succcurlyeq b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; precsim &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a precsim b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; succsim &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a succsim b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; nprec &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a nprec b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; nsucc &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a nsucc b</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item50">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Set Operations</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; in &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a in A</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; notin &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">a notin A</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; owns &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A owns a</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem7">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; intersection &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A intersection B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; union &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A union B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; setminus &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A \ B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; slash &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A / B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; subset &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A subset B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; subseteq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A subseteq B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; supset &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A supset B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; supseteq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A supseteq B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; nsubset &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A nsubset B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; nsubseteq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A nsubseteq B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; nsupset &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A nsupset B</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; nsupseteq &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">A nsupseteq B</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem9">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="emptyset ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">emptyset</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="aleph ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">aleph</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="setN ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">setN</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="setZ ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">setZ</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="setQ ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">setQ</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="setR ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">setR</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="setC ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">setC</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item54">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Functions</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="abs{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">|x|</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="fact{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">x!</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="sqrt{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">sqrt x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="nroot{&lt;?&gt;}{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">nroot x y</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt;^{&lt;?&gt;}">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">x^y</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="func e^{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">e^x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="ln(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">ln(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="exp(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">exp(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="log(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">log(x)</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem10">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="sin(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">sin(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="cos(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">cos(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="tan(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">tan(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="cot(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">cot(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="sinh(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">sinh(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="cosh(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">cosh(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="tanh(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">tanh(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="coth(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">coth(x)</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem8">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arcsin(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arcsin(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arccos(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arccos(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arctan(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arctan(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arccot(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arccot(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arsinh(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arsinh(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arcosh(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arcosh(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="artanh(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">artanh(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="arcoth(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">arcoth(x)</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item84">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">O_perators</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="lim &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lim x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="sum &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">sum x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="prod &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">prod x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="coprod &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">coprod x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="int &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">int x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="iint &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">iint x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="iiint &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">iiint x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lint &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lint x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="llint &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">llint x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lllint &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lllint x</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem12">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="from{&lt;?&gt;} to{&lt;?&gt;} &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">... from a to b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="from{&lt;?&gt;} &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">... from a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="to{&lt;?&gt;} &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">... to b</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item110">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Attributes</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="acute &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">acute a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="grave &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">grave a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="check &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">check a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="breve &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">breve a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="circle &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">circle a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dot &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dot a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="ddot &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">ddot a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dddot &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dddot a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="bar &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">bar a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="vec &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">vec a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="tilde &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">tilde a</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="hat &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">hat a</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem13">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="widevec {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">widevec abc</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="widetilde {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">widetilde abc</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="widehat {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">widehat abc</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="overline {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">overline abc</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="underline {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">underline abc</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="overstrike {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">overstrike abc</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem11">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="phantom {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">phantom b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="bold &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">bold b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="ital &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">ital b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="size &lt;?&gt; {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">size s b</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="font &lt;?&gt; {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">font f b</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item137">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Brackets</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">{...}</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem14">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="(&lt;?&gt;) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">(x)</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="[&lt;?&gt;] ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">[x]</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="ldbracket &lt;?&gt; rdbracket ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">ldbracket x rdbracket </property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lbrace &lt;?&gt; rbrace ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">{x}</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="langle &lt;?&gt; rangle ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">langle x rangle</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="langle &lt;?&gt; mline &lt;?&gt; rangle ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">langle x mline y rangle</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lceil &lt;?&gt; rceil ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lceil x rceil</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lfloor &lt;?&gt; rfloor ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lfloor x rfloor</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lline &lt;?&gt; rline ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lline x rline</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="ldline &lt;?&gt; rdline ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">ldline x rdline</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem15">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left ( &lt;?&gt; right ) ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left ( x right )</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left [ &lt;?&gt; right ] ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left [ x right ]</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left ldbracket &lt;?&gt; right rdbracket ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left ldbracket x right rdbracket </property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left lbrace &lt;?&gt; right rbrace ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left { x right }</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left langle &lt;?&gt; right rangle ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left langle x right rangle</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left langle &lt;?&gt; mline &lt;?&gt; right rangle ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left langle x mline y right rangle</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left lceil &lt;?&gt; right rceil ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left lceil x right rceil</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left lfloor &lt;?&gt; right rfloor ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left lfloor x right rfloor</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left lline &lt;?&gt; right rline ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left lline x right rline</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left ldline &lt;?&gt; right rdline ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left ldline x right rdline</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="left none {&lt;?&gt;} right rline_{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">left none x right rline_y</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem16">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="{&lt;?&gt;} overbrace {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">x overbrace y</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="{&lt;?&gt;} underbrace {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">x underbrace y</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item162">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">For_mats</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="&lt;?&gt;^{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">^x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt;_{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">__x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; lsup{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lsup x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; lsub{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lsub x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; csup{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">csup x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="&lt;?&gt; csub{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">csub x</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem18">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="newline ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">New Line</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="`">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">Small Gap</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="~">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">Gap</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="nospace {&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">nospace {...}</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="binom{&lt;?&gt;}{&lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">binom x y</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="stack{&lt;?&gt; # &lt;?&gt; # &lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">stack {...}</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="matrix{&lt;?&gt; # &lt;?&gt; ## &lt;?&gt; # &lt;?&gt;} ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">matrix {...}</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem19">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="alignl &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">alignl x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="alignc &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">alignc x</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="alignr &lt;?&gt; ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">alignr x</property>
</object>
</child>
</object>
</child>
</object>
</child>
<child>
<object class="GtkMenuItem" id="item170">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label" translatable="yes">_Others</property>
<property name="use_underline">True</property>
<child type="submenu">
<object class="GtkMenu">
<property name="visible">True</property>
<property name="can_focus">False</property>
<child>
<object class="GtkMenuItem" id="infinity ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">infinity</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="partial ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">partial</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="nabla ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">nabla</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="exists ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">exists</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="notexists ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">not exists</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="forall ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">forall</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="hbar ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">hbar</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="lambdabar ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">lambdabar</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="Re ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">Re</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="Im ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">Im</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="wp ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">wp</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem20">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="leftarrow ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">leftarrow</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="rightarrow ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">rightarrow</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="uparrow ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">uparrow</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="downarrow ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">downarrow</property>
</object>
</child>
<child>
<object class="GtkSeparatorMenuItem" id="menuitem21">
<property name="visible">True</property>
<property name="can_focus">False</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dotslow ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dotslow</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dotsaxis ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dotsaxis</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dotsvert ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dotsvert</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dotsup ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dotsup</property>
</object>
</child>
<child>
<object class="GtkMenuItem" id="dotsdown ">
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="label">dotsdown</property>
</object>
</child>
</object>
</child>
</object>
</child>
</object>
</interface>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment