# The interface is designed (partially) following the KDE Human Interface
# Guidelines (http://usability.kde.org/hig/)
+# Casing Rules:
+# Capitalize all words in the element, with the following exceptions:
+# * Articles: a, an, the.
+# * Conjunctions: and, but, for, not, so, yet ...
+# * Prepositions of three or fewer letters: at, for, by, in, to ...
+# (http://library.gnome.org/devel/hig-book/stable/design-text-labels.html.en)
+
Menuset
#
Item "AMS gather Environment|g" "math-mutate gather"
Item "AMS multline Environment|m" "math-mutate multline"
End
-
+
Menu "context-math"
Item "Inline Formula|I" "math-mutate simple"
Item "Displayed Formula|D" "math-mutate equation"
Item "Eqnarray Environment|E" "math-mutate eqnarray"
Submenu "AMS Environment|A" "ams_environment"
Separator
- OptItem "Number whole Formula|N" "math-number-toggle"
- OptItem "Number this Line|u" "math-number-line-toggle"
+ OptItem "Number Whole Formula|N" "math-number-toggle"
+ OptItem "Number This Line|u" "math-number-line-toggle"
OptItem "Equation Label|L" "label-insert"
OptItem "Copy as Reference|R" "copy-label-as-reference"
Separator
Item "Next Cross-Reference|N" "reference-next"
Item "Go to Label|G" "label-goto"
Separator
- Item "<reference>|r" "next-inset-modify changetype ref"
- Item "(<reference>)|e" "next-inset-modify changetype eqref"
- Item "<page>|p" "next-inset-modify changetype pageref"
- Item "on page <page>|o" "next-inset-modify changetype vpageref"
- Item "<reference> on page <page>|f" "next-inset-modify changetype vref"
- Item "Formatted reference|t" "next-inset-modify changetype prettyref"
+ Item "<Reference>|R" "next-inset-modify changetype ref"
+ Item "(<Reference>)|E" "next-inset-modify changetype eqref"
+ Item "<Page>|P" "next-inset-modify changetype pageref"
+ Item "On Page <Page>|o" "next-inset-modify changetype vpageref"
+ Item "<Reference> on Page <Page>|f" "next-inset-modify changetype vref"
+ Item "Formatted Reference|t" "next-inset-modify changetype prettyref"
Separator
Item "Settings...|S" "inset-settings"
End
#
Menu "context-label"
Item "Next Cross-Reference|N" "reference-next"
- Item "Go back|G" "bookmark-goto 0"
+ Item "Go Back|G" "bookmark-goto 0"
Separator
Item "Copy as Reference|C" "copy-label-as-reference"
Separator
Menu "context-bibtex"
Item "Settings...|S" "inset-settings"
Separator
- Item "Edit Database(s) externally...|x" "inset-edit"
+ Item "Edit Database(s) Externally...|x" "inset-edit"
End
Menu "context-box"
Item "Frameless|l" "next-inset-modify changetype Frameless"
- Item "Simple frame|f" "next-inset-modify changetype Boxed"
- Item "Simple frame, page breaks|p" "next-inset-modify changetype Framed"
- Item "Oval, thin|a" "next-inset-modify changetype ovalbox"
- Item "Oval, thick|v" "next-inset-modify changetype Ovalbox"
+ Item "Simple Frame|F" "next-inset-modify changetype Boxed"
+ Item "Simple Frame, Page Breaks|P" "next-inset-modify changetype Framed"
+ Item "Oval, Thin|a" "next-inset-modify changetype ovalbox"
+ Item "Oval, Thick|v" "next-inset-modify changetype Ovalbox"
Item "Drop Shadow|w" "next-inset-modify changetype Shadowbox"
- Item "Shaded background|b" "next-inset-modify changetype Shaded"
- Item "Double frame|u" "next-inset-modify changetype Doublebox"
+ Item "Shaded Background|B" "next-inset-modify changetype Shaded"
+ Item "Double Frame|u" "next-inset-modify changetype Doublebox"
Separator
OptItem "Open Inset|O" "inset-toggle open"
OptItem "Close Inset|C" "inset-toggle close"
Separator
Item "Settings...|S" "inset-settings"
Separator
- Item "Edit included file...|E" "inset-edit"
+ Item "Edit Included File...|E" "inset-edit"
End
#
Separator
OptItem "Promote Section|r" "outline-out"
OptItem "Demote Section|m" "outline-in"
- OptItem "Move Section down|d" "outline-down"
- OptItem "Move Section up|u" "outline-up"
+ OptItem "Move Section Down|D" "outline-down"
+ OptItem "Move Section Up|U" "outline-up"
OptItem "Insert Short Title|T" "optional-insert"
Separator
OptItem "Accept Change|c" "change-accept"
Menu "context-math-macro-definition"
Item "Append Argument" "math-macro-add-param"
Item "Remove Last Argument" "math-macro-remove-param"
- Separator
- Item "Make First Non-Optional into Optional Argument" "math-macro-make-optional"
- Item "Make Last Optional into Non-Optional Argument" "math-macro-make-nonoptional"
- Item "Insert Optional Argument" "math-macro-add-optional-param"
- Item "Remove Optional Argument" "math-macro-remove-optional-param"
Separator
- Item "Append Argument Eating From The Right" "math-macro-append-greedy-param"
- Item "Append Optional Argument Eating From The Right" "math-macro-add-greedy-optional-param"
- Item "Remove Last Argument Spitting Out To The Right" "math-macro-remove-greedy-param"
+ Item "Make First Non-Optional Into Optional Argument" "math-macro-make-optional"
+ Item "Make Last Optional Into Non-Optional Argument" "math-macro-make-nonoptional"
+ Item "Insert Optional Argument" "math-macro-add-optional-param"
+ Item "Remove Optional Argument" "math-macro-remove-optional-param"
+ Separator
+ Item "Append Argument Eating From the Right" "math-macro-append-greedy-param"
+ Item "Append Optional Argument Eating From the Right" "math-macro-add-greedy-optional-param"
+ Item "Remove Last Argument Spitting out to the Right" "math-macro-remove-greedy-param"
End
#
Menu "context-graphics"
Item "Settings...|S" "inset-settings"
Separator
- Item "Edit externally...|x" "inset-edit"
+ Item "Edit Externally...|x" "inset-edit"
Separator
GraphicsGroups
End
Menu "context-external"
Item "Settings...|S" "inset-settings"
Separator
- Item "Edit externally...|x" "inset-edit"
+ Item "Edit Externally...|x" "inset-edit"
End
#
Separator
Item "Settings...|S" "inset-settings"
Separator
- Item "Edit included file...|E" "inset-edit"
+ Item "Edit Included File...|E" "inset-edit"
End
#
# The interface is designed (partially) following the KDE Human Interface
# Guidelines (http://usability.kde.org/hig/)
+# Casing Rules:
+# Capitalize all words in the element, with the following exceptions:
+# * Articles: a, an, the.
+# * Conjunctions: and, but, for, not, so, yet ...
+# * Prepositions of three or fewer letters: at, for, by, in, to ...
+# (http://library.gnome.org/devel/hig-book/stable/design-text-labels.html.en)
+
Menuset
Menubar
Menu "file_vc"
OptItem "Register...|R" "vc-register"
- OptItem "Check In Changes...|I" "vc-check-in"
- OptItem "Check Out for Edit|O" "vc-check-out"
+ OptItem "Check in Changes...|I" "vc-check-in"
+ OptItem "Check out for Edit|O" "vc-check-out"
OptItem "Revert to Repository Version|R" "vc-revert"
OptItem "Undo Last Check In|U" "vc-undo-last"
OptItem "Show History...|H" "dialog-show vclog"
Item "Selection|S" "primary-selection-paste"
Item "Selection, Join Lines|i" "primary-selection-paste paragraph"
Separator
- Item "Paste As LinkBack PDF" "paste linkback"
- Item "Paste As PDF" "paste pdf"
- Item "Paste As PNG" "paste png"
- Item "Paste As JPEG" "paste jpeg"
+ Item "Paste as LinkBack PDF" "paste linkback"
+ Item "Paste as PDF" "paste pdf"
+ Item "Paste as PNG" "paste png"
+ Item "Paste as JPEG" "paste jpeg"
End
Menu "edit_pasterecent"
End
Menu "edit_textstyles"
- Item "Dissolve CharStyle" "inset-dissolve charstyle"
+ Item "Dissolve Text Style" "inset-dissolve charstyle"
CharStyles
Elements
Separator
End
Menu "edit_math"
- Item "Number whole Formula|N" "math-number-toggle"
- Item "Number this Line|u" "math-number-line-toggle"
+ Item "Number Whole Formula|N" "math-number-toggle"
+ Item "Number This Line|u" "math-number-line-toggle"
Submenu "Change Limits Type|L" "edit_math_limits"
Submenu "Macro Definition" "edit_math_macro_definition"
Separator
Menu "edit_math_macro_definition"
Item "Append Argument" "math-macro-add-param"
Item "Remove Last Argument" "math-macro-remove-param"
- Separator
+ Separator
Item "Make First Non-Optional into Optional Argument" "math-macro-make-optional"
Item "Make Last Optional into Non-Optional Argument" "math-macro-make-nonoptional"
- Item "Insert Optional Argument" "math-macro-add-optional-param"
- Item "Remove Optional Argument" "math-macro-remove-optional-param"
+ Item "Insert Optional Argument" "math-macro-add-optional-param"
+ Item "Remove Optional Argument" "math-macro-remove-optional-param"
Separator
- Item "Append Argument Eating From The Right" "math-macro-append-greedy-param"
- Item "Append Optional Argument Eating From The Right" "math-macro-add-greedy-optional-param"
- Item "Remove Last Argument Spitting Out To The Right" "math-macro-remove-greedy-param"
+ Item "Append Argument Eating From the Right" "math-macro-append-greedy-param"
+ Item "Append Optional Argument Eating From the Right" "math-macro-add-greedy-optional-param"
+ Item "Remove Last Argument Spitting out to the Right" "math-macro-remove-greedy-param"
End
Menu "edit_math_limits"
Item "Maxima|M" "math-extern maxima"
Item "Mathematica|a" "math-extern mathematica"
Separator
- Item "Maple, simplify|s" "math-extern maple simplify"
- Item "Maple, factor|f" "math-extern maple factor"
- Item "Maple, evalm|e" "math-extern maple evalm"
- Item "Maple, evalf|v" "math-extern maple evalf"
+ Item "Maple, Simplify|S" "math-extern maple simplify"
+ Item "Maple, Factor|F" "math-extern maple factor"
+ Item "Maple, Evalm|E" "math-extern maple evalm"
+ Item "Maple, Evalf|v" "math-extern maple evalf"
End
Menu "edit_math_mutate"
Item "Inline Formula|I" "math-mutate simple"
Item "Displayed Formula|D" "math-mutate equation"
Item "Eqnarray Environment|E" "math-mutate eqnarray"
- Item "AMS align Environment|a" "math-mutate align"
+ Item "AMS align Environment|A" "math-mutate align"
Item "AMS alignat Environment|t" "math-mutate alignat"
- Item "AMS flalign Environment|f" "math-mutate flalign"
- Item "AMS gather Environment|g" "math-mutate gather"
- Item "AMS multline Environment|m" "math-mutate multline"
+ Item "AMS flalign Environment|F" "math-mutate flalign"
+ Item "AMS gather Environment|G" "math-mutate gather"
+ Item "AMS multline Environment|M" "math-mutate multline"
End
#
Item "Update Output|U" "buffer-update"
OptItem "View Master Document|M" "master-buffer-view"
OptItem "Update Master Document|a" "master-buffer-update"
- Submenu "View (other formats)|f" "view_others"
- Submenu "Update (other formats)|p" "view_update"
+ Submenu "View (Other Formats)|F" "view_others"
+ Submenu "Update (Other Formats)|p" "view_update"
Separator
- Item "Split View Into Left And Right Half|i" "split-view horizontal"
- Item "Split View Into Upper And Lower Half|e" "split-view vertical"
+ Item "Split View Into Left and Right Half|i" "split-view horizontal"
+ Item "Split View Into Upper and Lower Half|e" "split-view vertical"
Item "Close Tab Group|G" "close-tab-group"
Item "Fullscreen|l" "ui-toggle fullscreen"
Submenu "Toolbars|b" "toolbars"
Separator
- Documents
+ Documents
End
Menu "view_others"
Submenu "Float|a" "insert_float"
Submenu "Note|N" "insert_note"
Submenu "Branch|B" "insert_branches"
- Submenu "Custom insets" "insert_custom"
+ Submenu "Custom Insets" "insert_custom"
Submenu "File|e" "insert_file"
Item "Box[[Menu]]" "box-insert Frameless"
Separator
Item "Display Formula|D" "math-display"
Item "Numbered Formula|N" "command-sequence math-display; math-number-toggle;"
Item "Eqnarray Environment|E" "command-sequence math-mode on; math-mutate eqnarray;"
- Item "AMS align Environment|a" "command-sequence math-mode on; math-mutate align;"
- Item "AMS alignat Environment|t" "command-sequence math-mode on; math-mutate alignat;"
- Item "AMS flalign Environment|f" "command-sequence math-mode on; math-mutate flalign;"
- Item "AMS gather Environment|g" "command-sequence math-mode on; math-mutate gather;"
- Item "AMS multline Environment|m" "command-sequence math-mode on; math-mutate multline;"
+ Item "AMS Align Environment|A" "command-sequence math-mode on; math-mutate align;"
+ Item "AMS AlignAt Environment|t" "command-sequence math-mode on; math-mutate alignat;"
+ Item "AMS FlAlign Environment|F" "command-sequence math-mode on; math-mutate flalign;"
+ Item "AMS Gather Environment|G" "command-sequence math-mode on; math-mutate gather;"
+ Item "AMS Multline Environment|M" "command-sequence math-mode on; math-mutate multline;"
Separator
Item "Array Environment|y" "math-matrix 2 2"
Item "Cases Environment|C" "command-sequence math-mode on; math-insert \cases"
Menu "insert_phantom"
Item "Phantom" "phantom-insert Phantom"
- Item "Horiz. Phantom" "phantom-insert HPhantom"
- Item "Vert. Phantom" "phantom-insert VPhantom"
+ Item "Horizontal Phantom" "phantom-insert HPhantom"
+ Item "Vertical Phantom" "phantom-insert VPhantom"
End
Menu "insert_custom"
# The interface is designed (partially) following the KDE Human Interface
# Guidelines (http://usability.kde.org/hig/)
+# Casing rules "The tooltip":
+# Capitalize the first letter of the first word, and any other words normally
+# capitalized in sentences, such as application names.
+#
+# Casing Rules for the "GUI Name":
+# Capitalize all words in the element, with the following exceptions:
+# * Articles: a, an, the.
+# * Conjunctions: and, but, for, not, so, yet ...
+# * Prepositions of three or fewer letters: at, for, by, in, to ...
+#
+# (http://library.gnome.org/devel/hig-book/stable/design-text-labels.html.en)
+
# A Toolbar starts like :
#
# Toolbar "name" "GUI Name"
#
# TableInsert "The tooltip" adds a special widget for quick insertion of tables
#
-# PopupMenu "name" "GUI Name"
+# PopupMenu "name" "The tooltip"
#
# ... inserts a button with a popup menu derived from Toolbar "name"
#
-# IconPalette "name" "GUI Name"
+# IconPalette "name" "The tooltip"
#
# ... inserts a button with a popup iconpalette derived from Toolbar "name"
#
Item "Insert graphics" "dialog-show-new-inset graphics"
TableInsert "Insert table"
Separator
- Item "Toggle Outline" "dialog-toggle toc"
- Item "Toggle Math Toolbar" "toolbar-toggle math"
- Item "Toggle Table Toolbar" "toolbar-toggle table"
+ Item "Toggle outline" "dialog-toggle toc"
+ Item "Toggle math toolbar" "toolbar-toggle math"
+ Item "Toggle table toolbar" "toolbar-toggle table"
End
-
+
Toolbar "extra" "Extra"
Item "Default" "layout"
Item "Numbered list" "layout Enumerate"
Item "Insert margin note" "marginalnote-insert"
Item "Insert note" "note-insert"
Item "Insert box" "box-insert Frameless"
- Item "Insert Hyperlink" "href-insert"
+ Item "Insert hyperlink" "href-insert"
Item "Insert TeX code" "ert-insert"
Item "Insert math macro" "math-macro newmacroname newcommand"
Item "Include file" "dialog-show-new-inset include"
Item "Delete row" "tabular-feature delete-row"
Item "Delete column" "tabular-feature delete-column"
Separator
- Item "Toggle Math Panels" "toolbar-toggle math_panels"
+ Item "Toggle math panels" "toolbar-toggle math_panels"
End
Toolbar "mathmacrotemplate" "Math Macros"
- Item "Remove Last Argument" "math-macro-remove-param"
- Item "Append Argument" "math-macro-add-param"
- Separator
- Item "Make First Non-Optional into Optional Argument" "math-macro-make-optional"
- Item "Make Last Optional into Non-Optional Argument"
+ Item "Remove last argument" "math-macro-remove-param"
+ Item "Append argument" "math-macro-add-param"
+ Separator
+ Item "Make first non-optional into optional argument" "math-macro-make-optional"
+ Item "Make last optional into non-optional argument"
"math-macro-make-nonoptional"
- Item "Remove Optional Argument" "math-macro-remove-optional-param"
- Item "Insert Optional Argument" "math-macro-add-optional-param"
+ Item "Remove optional argument" "math-macro-remove-optional-param"
+ Item "Insert optional argument" "math-macro-add-optional-param"
Separator
- Item "Remove Last Argument Spitting Out To The Right" "math-macro-remove-greedy-param"
- Item "Append Argument Eating From The Right" "math-macro-append-greedy-param"
- Item "Append Optional Argument Eating From The Right" "math-macro-add-greedy-optional-param"
+ Item "Remove last argument spitting out to the right" "math-macro-remove-greedy-param"
+ Item "Append argument eating from the right" "math-macro-append-greedy-param"
+ Item "Append optional argument eating from the right" "math-macro-add-greedy-optional-param"
End
-
+
Toolbar "minibuffer" "Command Buffer"
Minibuffer
End
Toolbar "view/update" "View/Update"
Item "View" "buffer-view"
Item "Update" "buffer-update"
- Item "View Master Document" "master-buffer-view"
- Item "Update Master Document" "master-buffer-update"
+ Item "View master document" "master-buffer-view"
+ Item "Update master document" "master-buffer-update"
Separator
- StickyPopupMenu "view-others" "View Other Formats"
- StickyPopupMenu "update-others" "Update Other Formats"
+ StickyPopupMenu "view-others" "View other formats"
+ StickyPopupMenu "update-others" "Update other formats"
End
Toolbar "view-others" "View Other Formats"
# Toolbar "import/export" "Import/Export"
# Item "Import" "buffer-import"
# Item "Export" "buffer-export"
-# StickyPopupMenu "import-others" "Import Other Formats"
-# StickyPopupMenu "export-others" "Export Other Formats"
+# StickyPopupMenu "import-others" "Import other formats"
+# StickyPopupMenu "export-others" "Export other formats"
# End
# Toolbar "import-others" "Import Other Formats"
Item "View revision log" "dialog-show vclog"
Item "Revert changes" "vc-revert"
Separator
- Item "Use SVN File Locking Property" "vc-locking-toggle"
+ Item "Use SVN file locking property" "vc-locking-toggle"
End
Toolbar "math_panels" "Math Panels"
- PopupMenu "space" "Math Spacings"
+ PopupMenu "space" "Math spacings"
PopupMenu "style" "Styles"
PopupMenu "frac-square" "Fractions"
PopupMenu "font" "Fonts"
PopupMenu "functions" "Functions"
- IconPalette "latex_deco" "Frame Decorations"
- IconPalette "latex_varsz" "Big Operators"
+ IconPalette "latex_deco" "Frame decorations"
+ IconPalette "latex_varsz" "Big operators"
IconPalette "latex_misc" "Miscellaneous"
IconPalette "latex_greek" "Greek"
IconPalette "latex_arrow" "Arrows"
- IconPalette "latex_ams_arrows" "AMS Arrows"
+ IconPalette "latex_ams_arrows" "AMS arrows"
IconPalette "latex_bop" "Operators"
IconPalette "latex_brel" "Relations"
- IconPalette "latex_ams_rel" "AMS Relations"
- IconPalette "latex_ams_nrel" "AMS Negative Relations"
+ IconPalette "latex_ams_rel" "AMS relations"
+ IconPalette "latex_ams_nrel" "AMS negative relations"
IconPalette "latex_dots" "Dots"
- IconPalette "latex_ams_ops" "AMS Operators"
- IconPalette "latex_ams_misc" "AMS Miscellaneous"
+ IconPalette "latex_ams_ops" "AMS operators"
+ IconPalette "latex_ams_misc" "AMS miscellaneous"
End
Toolbar "functions" "Functions"
Item "Horizontal placeholder \\hphantom" "math-insert \hphantom"
Item "Vertical placeholder \\vphantom" "math-insert \vphantom"
End
-
+
Toolbar "sqrt-square" "Roots"
Item "Square root \\sqrt" "math-insert \sqrt"
Item "Other root \\root" "math-insert \root"
Item "Script (small) style \\scriptstyle" "math-size \scriptstyle"
Item "Scriptscript (smaller) style \\scriptscriptstyle" "math-size \scriptscriptstyle"
End
-
+
Toolbar "frac-square" "Fractions"
Item "Standard \\frac" "math-insert \frac"
Item "Nice fraction (3/4) \\nicefrac" "math-insert \nicefrac"
Item "Text binomial \\tbinom" "math-insert \tbinom"
Item "Display binomial \\dbinom" "math-insert \dbinom"
End
-
+
Toolbar "font" "Fonts"
Item "Roman \\mathrm" "math-insert \mathrm"
Item "Bold \\mathbf" "math-insert \mathbf"
# Do not show it as long as it does not load mathdots automatically
# Item "iddots" "math-insert \iddots"
End
-
+
Toolbar "latex_deco" "Frame Decorations"
Item "hat" "math-insert \hat"
Item "tilde" "math-insert \tilde"
Item "underleftrightarrow" "math-insert \underleftrightarrow"
Item "underset" "math-insert \underset"
End
-
+
Toolbar "latex_arrow" "Arrows"
Item "leftarrow" "math-insert \leftarrow"
Item "rightarrow" "math-insert \rightarrow"
Item "searrow" "math-insert \searrow"
Item "rightleftharpoons" "math-insert \rightleftharpoons"
End
-
+
Toolbar "latex_bop" "Operators"
Item "pm" "math-insert \pm"
Item "cap" "math-insert \cap"
Item "wr" "math-insert \wr"
Item "ddagger" "math-insert \ddagger"
End
-
+
Toolbar "latex_brel" "Relations"
Item "leq" "math-insert \leq"
Item "geq" "math-insert \geq"
Item "dashv" "math-insert \dashv"
Item "bowtie" "math-insert \bowtie"
End
-
+
Toolbar "latex_greek" "Greek"
Item "alpha" "math-insert \alpha"
Item "beta" "math-insert \beta"
Item "Psi" "math-insert \Psi"
Item "Omega" "math-insert \Omega"
End
-
+
Toolbar "latex_misc" "Miscellaneous"
Item "nabla" "math-insert \nabla"
Item "partial" "math-insert \partial"
Item "mathcal H" "math-insert \mathcal H"
Item "mathcal O" "math-insert \mathcal O"
End
-
+
Toolbar "latex_varsz" "Big Operators"
Item "intop" "math-insert \intop"
Item "int" "math-insert \int"
Item "bigvee" "math-insert \bigvee"
Item "bigwedge" "math-insert \bigwedge"
End
-
+
Toolbar "latex_ams_misc" "AMS Miscellaneous"
Item "digamma" "math-insert \digamma"
Item "varkappa" "math-insert \varkappa"
Item "diagup" "math-insert \diagup"
Item "diagdown" "math-insert \diagdown"
End
-
+
Toolbar "latex_ams_arrows" "AMS Arrows"
Item "dashleftarrow" "math-insert \dashleftarrow"
Item "dashrightarrow" "math-insert \dashrightarrow"
Item "nLeftrightarrow" "math-insert \nLeftrightarrow"
Item "multimap" "math-insert \multimap"
End
-
+
Toolbar "latex_ams_rel" "AMS Relations"
Item "leqq" "math-insert \leqq"
Item "geqq" "math-insert \geqq"
Item "between" "math-insert \between"
Item "pitchfork" "math-insert \pitchfork"
End
-
+
Toolbar "latex_ams_nrel" "AMS Negative Relations"
Item "nless" "math-insert \nless"
Item "ngtr" "math-insert \ngtr"
Item "nparallel" "math-insert \nparallel"
Item "nshortparallel" "math-insert \nshortparallel"
End
-
+
Toolbar "latex_ams_ops" "AMS Operators"
Item "dotplus" "math-insert \dotplus"
Item "smallsetminus" "math-insert \smallsetminus"