Date: Sun, 18 Oct 2020 06:47:58 +0000 (UTC) From: Rainer Hurling <rhurlin@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r552622 - in head/editors: . setzer Message-ID: <202010180647.09I6lwOn077452@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: rhurlin Date: Sun Oct 18 06:47:57 2020 New Revision: 552622 URL: https://svnweb.freebsd.org/changeset/ports/552622 Log: editors/setzer: New port, version 0.3.4 Write LaTeX documents with an easy to use yet full-featured editor. Rapidly evolving editor, based on Python 3 and Gtk3. Homepage[1] and repository[2]: [1] https://www.cvfosammmm.org/setzer/ [2] https://github.com/cvfosammmm/Setzer PR: 247063 Submitted by: Greg V <greg@unrelenting.technology> (maintainer) Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D26834 Added: head/editors/setzer/ head/editors/setzer/Makefile (contents, props changed) head/editors/setzer/distinfo (contents, props changed) head/editors/setzer/pkg-descr (contents, props changed) head/editors/setzer/pkg-plist (contents, props changed) Modified: head/editors/Makefile Modified: head/editors/Makefile ============================================================================== --- head/editors/Makefile Sun Oct 18 06:04:08 2020 (r552621) +++ head/editors/Makefile Sun Oct 18 06:47:57 2020 (r552622) @@ -227,6 +227,7 @@ SUBDIR += scite SUBDIR += se SUBDIR += semi + SUBDIR += setzer SUBDIR += shed SUBDIR += slime SUBDIR += ssed Added: head/editors/setzer/Makefile ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/editors/setzer/Makefile Sun Oct 18 06:47:57 2020 (r552622) @@ -0,0 +1,32 @@ +# $FreeBSD$ + +PORTNAME= setzer +DISTVERSIONPREFIX=v +DISTVERSION= 0.3.4 +CATEGORIES= editors + +MAINTAINER= greg@unrelenting.technology +COMMENT= LaTeX editor written in Python with Gtk + +LICENSE= GPLv3+ +LICENSE_FILE= ${WRKSRC}/COPYING + +BUILD_DEPENDS= itstool:textproc/itstool +LIB_DEPENDS= libgspell-1.so:textproc/gspell \ + libpoppler-glib.so:graphics/poppler-glib \ + libwebkit2gtk-4.0.so:www/webkit2-gtk3 +RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}xdg>=0:devel/py-xdg@${PY_FLAVOR} \ + xdg-open:devel/xdg-utils + +USES= desktop-file-utils gettext gnome meson pkgconfig python:3.5+ \ + shebangfix +USE_GITHUB= yes +GH_ACCOUNT= cvfosammmm +GH_PROJECT= Setzer +USE_GNOME= glib20 gtk30 gtksourceview4 introspection pango pygobject3 +USE_PYTHON= py3kplist +INSTALLS_ICONS= yes + +SHEBANG_FILES= scripts/* setzer.in + +.include <bsd.port.mk> Added: head/editors/setzer/distinfo ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/editors/setzer/distinfo Sun Oct 18 06:47:57 2020 (r552622) @@ -0,0 +1,3 @@ +TIMESTAMP = 1602948983 +SHA256 (cvfosammmm-Setzer-v0.3.4_GH0.tar.gz) = 2ee22f49e06d89d4007274b261f8711f6de79ee28493ca3a9bffdb5111a129ca +SIZE (cvfosammmm-Setzer-v0.3.4_GH0.tar.gz) = 3959649 Added: head/editors/setzer/pkg-descr ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/editors/setzer/pkg-descr Sun Oct 18 06:47:57 2020 (r552622) @@ -0,0 +1,3 @@ +Simple yet full-featured LaTeX editor, written in Python with Gtk. + +WWW: https://www.cvfosammmm.org/setzer/ Added: head/editors/setzer/pkg-plist ============================================================================== --- /dev/null 00:00:00 1970 (empty, because file is newly added) +++ head/editors/setzer/pkg-plist Sun Oct 18 06:47:57 2020 (r552622) @@ -0,0 +1,985 @@ +bin/setzer +%%PYTHON_SITELIBDIR%%/setzer/app/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/app/autocomplete_provider/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/app/autocomplete_provider/autocomplete_provider.py +%%PYTHON_SITELIBDIR%%/setzer/app/font_manager.py +%%PYTHON_SITELIBDIR%%/setzer/app/service_locator.py +%%PYTHON_SITELIBDIR%%/setzer/app/settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/about/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/about/about.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/add_remove_packages/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/add_remove_packages/add_remove_packages.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/add_remove_packages/add_remove_packages_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/bibtex_wizard.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/bibtex_wizard_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/pages/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/pages/page.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/pages/page_create_new_entry.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/bibtex_wizard/pages/page_fields_entry.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/build_save/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/build_save/build_save.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/building_failed/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/building_failed/building_failed.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/close_confirmation/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/close_confirmation/close_confirmation.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/dialog.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/dialog_locator.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_changed_on_disk/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_changed_on_disk/document_changed_on_disk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/document_wizard.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/document_wizard_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_article_settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_beamer_settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_book_settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_document_class.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_general_settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_letter_settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/document_wizard/pages/page_report_settings.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/include_bibtex_file/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/include_bibtex_file/include_bibtex_file.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/include_bibtex_file/include_bibtex_file_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/include_latex_file/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/include_latex_file/include_latex_file.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/include_latex_file/include_latex_file_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/interpreter_missing/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/interpreter_missing/interpreter_missing.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/keyboard_shortcuts/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/keyboard_shortcuts/keyboard_shortcuts.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/open_document/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/open_document/open_document.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/open_session/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/open_session/open_session.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/pages/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/pages/page_build_system.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/pages/page_editor.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/pages/page_font_color.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/preferences.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/preferences/preferences_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/replace_confirmation/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/replace_confirmation/replace_confirmation.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/save_document/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/save_document/save_document.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/save_session/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/save_session/save_session.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/spellchecking/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/spellchecking/spellchecking.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/spellchecking_language/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/dialogs/spellchecking_language/spellchecking_language.py +%%PYTHON_SITELIBDIR%%/setzer/document/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/autocomplete.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/autocomplete_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/session/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/session/session_begin_end.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/session/session_blank.py +%%PYTHON_SITELIBDIR%%/setzer/document/autocomplete/session/session_default.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/build_system.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/build_system_controller.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/build_system_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_backward_sync.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_build.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_build_biber.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_build_bibtex.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_build_glossaries.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_build_latex.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/builder/builder_forward_sync.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/query/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_system/query/query.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_widget/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_widget/build_widget.py +%%PYTHON_SITELIBDIR%%/setzer/document/build_widget/build_widget_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/code_folding/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/code_folding/code_folding.py +%%PYTHON_SITELIBDIR%%/setzer/document/code_folding/code_folding_controller.py +%%PYTHON_SITELIBDIR%%/setzer/document/code_folding/code_folding_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/code_folding/code_folding_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/context_menu/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/context_menu/context_menu.py +%%PYTHON_SITELIBDIR%%/setzer/document/context_menu/context_menu_controller.py +%%PYTHON_SITELIBDIR%%/setzer/document/context_menu/context_menu_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/context_menu/context_menu_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/document.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_controller.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_switcher_item/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_switcher_item/document_switcher_item.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_switcher_item/document_switcher_item_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_switcher_item/document_switcher_item_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/document_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/parser/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/parser/bibtex_parser.py +%%PYTHON_SITELIBDIR%%/setzer/document/parser/latex_parser.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/preview.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/preview_controller.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/preview_layouter.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/preview_page_renderer.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/preview_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/preview_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/zoom_widget/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/zoom_widget/zoom_widget.py +%%PYTHON_SITELIBDIR%%/setzer/document/preview/zoom_widget/zoom_widget_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/search/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/search/search.py +%%PYTHON_SITELIBDIR%%/setzer/document/search/search_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/shortcutsbar/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/shortcutsbar/shortcutsbar_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/document/shortcutsbar/shortcutsbar_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/document/source_buffer/source_buffer.py +%%PYTHON_SITELIBDIR%%/setzer/document/spellchecker/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/spellchecker/spellchecker.py +%%PYTHON_SITELIBDIR%%/setzer/document/state_manager/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/document/state_manager/state_manager_bibtex.py +%%PYTHON_SITELIBDIR%%/setzer/document/state_manager/state_manager_latex.py +%%PYTHON_SITELIBDIR%%/setzer/helpers/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/helpers/observable.py +%%PYTHON_SITELIBDIR%%/setzer/helpers/popover_menu_builder.py +%%PYTHON_SITELIBDIR%%/setzer/helpers/timer.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/bibtex_shortcutsbar/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/bibtex_shortcutsbar/bibtex_shortcutsbar_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/build_log/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/build_log/build_log.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/build_log/build_log_controller.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/build_log/build_log_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/build_log/build_log_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_chooser/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_chooser/document_chooser_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_chooser/document_chooser_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_switcher/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_switcher/document_switcher.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_switcher/document_switcher_controller.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_switcher/document_switcher_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/document_switcher/document_switcher_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/headerbar/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/headerbar/headerbar_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/headerbar/headerbar_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/help_panel/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/help_panel/help_panel.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/help_panel/help_panel_controller.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/help_panel/help_panel_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/help_panel/help_panel_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/keyboard_shortcuts/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/keyboard_shortcuts/shortcuts.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/preview_panel/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/preview_panel/preview_panel_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/preview_panel/preview_panel_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/shortcutsbar/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/shortcutsbar/shortcutsbar_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/sidebar/__init__.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/sidebar/sidebar.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/sidebar/sidebar_viewgtk.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/workspace.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/workspace_controller.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/workspace_presenter.py +%%PYTHON_SITELIBDIR%%/setzer/workspace/workspace_viewgtk.py +man/man1/setzer.1.gz +share/Setzer/resources/bibliography_styles/abbrv.png +share/Setzer/resources/bibliography_styles/abbrvnat.png +share/Setzer/resources/bibliography_styles/achemso.png +share/Setzer/resources/bibliography_styles/alpha.png +share/Setzer/resources/bibliography_styles/apalike.png +share/Setzer/resources/bibliography_styles/ieeetr.png +share/Setzer/resources/bibliography_styles/plain.png +share/Setzer/resources/bibliography_styles/plainnat.png +share/Setzer/resources/bibliography_styles/unsrtnat.png +share/Setzer/resources/document_wizard/article1.svg +share/Setzer/resources/document_wizard/beamer1.svg +share/Setzer/resources/document_wizard/beamerpreview_AnnArbor_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_AnnArbor_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Antibes_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Antibes_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Bergen_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Bergen_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Berkeley_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Berkeley_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Berlin_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Berlin_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Boadilla_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Boadilla_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_CambridgeUS_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_CambridgeUS_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Copenhagen_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Copenhagen_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Darmstadt_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Darmstadt_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Dresden_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Dresden_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_EastLansing_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_EastLansing_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Frankfurt_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Frankfurt_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Goettingen_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Goettingen_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Hannover_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Hannover_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Ilmenau_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Ilmenau_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_JuanLesPins_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_JuanLesPins_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Luebeck_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Luebeck_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Madrid_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Madrid_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Malmoe_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Malmoe_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Marburg_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Marburg_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Montpellier_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Montpellier_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_PaloAlto_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_PaloAlto_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Pittsburgh_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Pittsburgh_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Rochester_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Rochester_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Singapore_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Singapore_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Szeged_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Szeged_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_Warsaw_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_Warsaw_page_1.png +share/Setzer/resources/document_wizard/beamerpreview_default_page_0.png +share/Setzer/resources/document_wizard/beamerpreview_default_page_1.png +share/Setzer/resources/document_wizard/book1.svg +share/Setzer/resources/document_wizard/letter1.svg +share/Setzer/resources/document_wizard/report1.svg +share/Setzer/resources/gtksourceview/language-specs/Makefile.am +share/Setzer/resources/gtksourceview/language-specs/R.lang +share/Setzer/resources/gtksourceview/language-specs/bibtex.lang +share/Setzer/resources/gtksourceview/language-specs/def.lang +share/Setzer/resources/gtksourceview/language-specs/lang_v1_to_v2.xslt +share/Setzer/resources/gtksourceview/language-specs/language-specs.its +share/Setzer/resources/gtksourceview/language-specs/language-specs.pot +share/Setzer/resources/gtksourceview/language-specs/language.dtd +share/Setzer/resources/gtksourceview/language-specs/language.rng +share/Setzer/resources/gtksourceview/language-specs/language2.rng +share/Setzer/resources/gtksourceview/language-specs/latex.lang +share/Setzer/resources/gtksourceview/styles/default-dark.xml +share/Setzer/resources/gtksourceview/styles/default.xml +share/Setzer/resources/help/images/external-link.png +share/Setzer/resources/help/latex2e-figures/list.png +share/Setzer/resources/help/latex2e_0.html +share/Setzer/resources/help/latex2e_1.html +share/Setzer/resources/help/latex2e_10.html +share/Setzer/resources/help/latex2e_11.html +share/Setzer/resources/help/latex2e_12.html +share/Setzer/resources/help/latex2e_13.html +share/Setzer/resources/help/latex2e_14.html +share/Setzer/resources/help/latex2e_15.html +share/Setzer/resources/help/latex2e_16.html +share/Setzer/resources/help/latex2e_17.html +share/Setzer/resources/help/latex2e_18.html +share/Setzer/resources/help/latex2e_19.html +share/Setzer/resources/help/latex2e_2.html +share/Setzer/resources/help/latex2e_20.html +share/Setzer/resources/help/latex2e_21.html +share/Setzer/resources/help/latex2e_22.html +share/Setzer/resources/help/latex2e_23.html +share/Setzer/resources/help/latex2e_24.html +share/Setzer/resources/help/latex2e_25.html +share/Setzer/resources/help/latex2e_26.html +share/Setzer/resources/help/latex2e_27.html +share/Setzer/resources/help/latex2e_28.html +share/Setzer/resources/help/latex2e_29.html +share/Setzer/resources/help/latex2e_3.html +share/Setzer/resources/help/latex2e_30.html +share/Setzer/resources/help/latex2e_4.html +share/Setzer/resources/help/latex2e_5.html +share/Setzer/resources/help/latex2e_6.html +share/Setzer/resources/help/latex2e_7.html +share/Setzer/resources/help/latex2e_8.html +share/Setzer/resources/help/latex2e_9.html +share/Setzer/resources/help/search_index.pickle +share/Setzer/resources/icons/hicolor/scalable/actions/brush-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/build-log-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/builder-build-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-bottom-pane-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-left-pane-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/builder-view-right-pane-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/document-new-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/external-viewer-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-1-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-10-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-2-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-3-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-4-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-5-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-6-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-7-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-8-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-accents-9-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-1-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-10-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-2-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-3-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-4-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-5-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-6-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-7-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-8-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-accents-9-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-1-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-2-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-3-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-4-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-5-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-6-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-7-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/menu-math-font-styles-8-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-badbox-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-folded-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-insert-object-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-math-menu-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-no-folding-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-no-preview-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-quotes-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-quotes.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-searchandreplacearrow-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-arrows-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-delimiters-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-greek-letters-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-misc-math-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-misc-text-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-operators-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-symbols-relations-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-unfolded-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/own-wizard-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/text-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/view-list-ordered-symbolic.svg +share/Setzer/resources/icons/hicolor/scalable/actions/view-paged-symbolic.svg +share/Setzer/resources/latexdb/commands/additional.xml +share/Setzer/resources/latexdb/commands/amsbsy.xml +share/Setzer/resources/latexdb/commands/amsfonts.xml +share/Setzer/resources/latexdb/commands/amsmath.xml +share/Setzer/resources/latexdb/commands/amsopn.xml +share/Setzer/resources/latexdb/commands/amssymb.xml +share/Setzer/resources/latexdb/commands/amsthm.xml +share/Setzer/resources/latexdb/commands/color.xml +share/Setzer/resources/latexdb/commands/geometry.xml +share/Setzer/resources/latexdb/commands/graphicx.xml +share/Setzer/resources/latexdb/commands/latex-dev.xml +share/Setzer/resources/latexdb/commands/latex-document.xml +share/Setzer/resources/latexdb/commands/tex.xml +share/Setzer/resources/latexdb/commands/textcomp.xml +share/Setzer/resources/latexdb/commands/url.xml +share/Setzer/resources/latexdb/packages/general.xml +share/Setzer/resources/style_gtk.css +share/Setzer/resources/symbols/arrows.xml +share/Setzer/resources/symbols/arrows/sidebar-Downarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Leftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Leftrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Lleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Longleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Longleftrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Longrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Lsh-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Rightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Rsh-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Uparrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-Updownarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-circlearrowleft-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-circlearrowright-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-curvearrowleft-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-curvearrowright-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-dashleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-dashrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-downarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-downdownarrows-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-downharpoonleft-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-downharpoonright-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-hookleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-hookrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftarrowtail-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftharpoondown-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftharpoonup-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftleftarrows-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftrightarrows-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftrightharpoons-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-leftrightsquigarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-longleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-longleftrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-longmapsto-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-longrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-looparrowleft-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-looparrowright-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-mapsto-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nLeftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nLeftrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nRightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nearrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nleftrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-nwarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightarrowtail-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightharpoondown-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightharpoonup-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightleftarrows-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightleftharpoons-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightrightarrows-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-rightsquigarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-searrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-swarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-twoheadleftarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-twoheadrightarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-uparrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-updownarrow-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-upharpoonleft-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-upharpoonright-symbolic.svg +share/Setzer/resources/symbols/arrows/sidebar-upuparrows-symbolic.svg +share/Setzer/resources/symbols/greek_letters.xml +share/Setzer/resources/symbols/greek_letters/sidebar-Delta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Gamma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Lambda-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Omega-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Phi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Pi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Psi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Sigma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Theta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Upsilon-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-Xi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-alpha-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-beta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-chi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-delta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-epsilon-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-eta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-gamma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-iota-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-kappa-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-lambda-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-mu-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-nu-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-omega-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-phi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-pi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-psi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-rho-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-sigma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-tau-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-theta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-upsilon-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varDelta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varGamma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varLambda-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varOmega-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varPhi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varPi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varPsi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varSigma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varTheta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varUpsilon-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varXi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varepsilon-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varphi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varpi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varrho-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-varsigma-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-vartheta-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-xi-symbolic.svg +share/Setzer/resources/symbols/greek_letters/sidebar-zeta-symbolic.svg +share/Setzer/resources/symbols/misc_math.xml +share/Setzer/resources/symbols/misc_math/sidebar-Bbbk-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-Box-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-Diamond-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-Finv-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-Game-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-Im-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-Re-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-acute-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-aleph-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-angle-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-backprime-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-backslash-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-bar-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-bigstar-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-blacklozenge-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-blacksquare-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-blacktriangle-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-blacktriangledown-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-bot-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-breve-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-cdotp-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-cdots-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-check-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-circledR-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-circledS-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-clubsuit-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-colon-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-complement-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ddddot-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-dddot-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ddot-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ddots-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-diagdown-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-diagup-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-diamondsuit-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-dot-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ell-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-emptyset-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-eth-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-exists-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-f1-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-f2-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-flat-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-forall-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-grave-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-hat-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-hbar-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-heartsuit-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-hslash-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-imath-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-in-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-infty-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-jmath-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ldotp-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ldots-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-lozenge-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathbbC-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathbbI-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathbbN-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathbbQ-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathbbR-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathbbZ-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mathring-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-measuredangle-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-mho-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-nabla-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-natural-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-neg-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-nexists-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-ni-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-notin-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-overbrace-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-overleftarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-overleftrightarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-overline-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-overrightarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-partial-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-prime-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-sharp-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-spadesuit-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-sphericalangle-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-sqrt-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-square-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-stackrel-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-surd-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-tilde-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-top-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-triangle-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-triangledown-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-underbrace-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-underleftarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-underleftrightarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-underline-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-underrightarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-varnothing-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-vartriangle-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-vdots-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-vec-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-widehat-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-widetilde-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-wp-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-xleftarrow-symbolic.svg +share/Setzer/resources/symbols/misc_math/sidebar-xrightarrow-symbolic.svg +share/Setzer/resources/symbols/misc_text.xml +share/Setzer/resources/symbols/misc_text/sidebar-CheckedBox-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Cutleft-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Cutline-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Cutright-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Kutline-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Leftscissors-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Rightscissors-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-S-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-Square-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-XBox-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-backslash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-bracevert-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-cbracketl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-cbracketr-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-checkmark-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-dag-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-ddag-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-dollar-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-dots-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-dvertical-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-geneuro-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-geneuronarrow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-geneurowide-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-langle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-lceil-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-lfloor-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-llcorner-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-lrcorner-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-maltese-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-officialeuro-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums0-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums1-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums2-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums3-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums4-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums5-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums6-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums7-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums8-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-oldstylenums9-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-pounds-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-rangle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-rbracketl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-rbracketr-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-rceil-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-rfloor-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-sbracketl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-sbracketr-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-slash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textacutedbl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciiacute-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciibreve-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciicaron-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciicircum-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciidieresis-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciigrave-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciimacron-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasciitilde-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textasteriskcentered-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbackslash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbaht-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbar-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbardbl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbigcircle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textblank-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textborn-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbrokenbar-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textbullet-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcelsius-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcent-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcentoldstyle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcircleda-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcolonmonetary-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcopyleft-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcopyright-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textcurrency-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdblhyphen-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdblhyphenchar-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdegree-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdied-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdiscount-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdiv-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdivorced-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdollar-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdollaroldstyle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdong-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textdownarrow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textemdash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textendash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textestimated-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-texteuro-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textexclamdown-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textflorin-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textfractionsolidus-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textgravedbl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textgreater-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textguarani-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textinterrobang-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textinterrobangdown-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textlangle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textlbrackdbl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textleaf-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textleftarrow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textless-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textlira-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textlnot-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textlquill-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textmarried-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textmho-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textminus-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textmu-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textmusicalnote-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textnaira-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textnumero-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textohm-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textonehalf-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textonequarter-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textonesuperior-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textopenbullet-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textordfeminine-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textordmasculine-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textperiodcentered-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textpertenthousand-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textperthousand-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textpeso-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textpilcrow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textpm-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquestiondown-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquotedblleft-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquotedblright-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquoteleft-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquoteright-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquotesingle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquotestraightbase-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textquotestraightdblbase-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textrangle-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textrbrackdbl-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textrecipe-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textreferencemark-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textregistered-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textrightarrow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textrquill-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textservicemark-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textsurd-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textthreequarters-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textthreequartersemdash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textthreesuperior-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-texttildelow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-texttimes-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-texttrademark-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-texttwelveudash-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-texttwosuperior-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textuparrow-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textvisiblespace-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textwon-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-textyen-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-ulcorner-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-underscore-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-urcorner-symbolic.svg +share/Setzer/resources/symbols/misc_text/sidebar-vertical-symbolic.svg +share/Setzer/resources/symbols/operators.xml +share/Setzer/resources/symbols/operators/sidebar-Cap-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-Cup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-amalg-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-ast-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-barwedge-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigcap-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigcirc-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigcup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigodot-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigoplus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigotimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigsqcup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigtriangledown-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigtriangleup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-biguplus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigvee-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bigwedge-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-boxdot-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-boxminus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-boxplus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-boxtimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-bullet-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-cap-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-cdot-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-circ-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-circledast-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-circledcirc-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-circleddash-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-coprod-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-cup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-curlyvee-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-curlywedge-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-dagger-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-ddagger-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-diamond-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-div-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-divideontimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-dotplus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-doublebarwedge-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-idotsint-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-iiiint-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-iiint-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-iint-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-int-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-intercal-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-leftthreetimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-lhd-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-ltimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-mp-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-odot-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-oint-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-ominus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-oplus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-oslash-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-otimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-pm-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-prod-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-rhd-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-rightthreetimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-rtimes-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-setminus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-smallsetminus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-sqcap-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-sqcup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-star-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-sum-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-times-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-triangleleft-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-triangleright-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-unlhd-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-unrhd-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-uplus-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-varinjlim-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-varliminf-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-varlimsup-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-varprojlim-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-vee-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-veebar-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-wedge-symbolic.svg +share/Setzer/resources/symbols/operators/sidebar-wr-symbolic.svg +share/Setzer/resources/symbols/relations.xml +share/Setzer/resources/symbols/relations/sidebar-Join-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-Subset-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-Supset-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-Vdash-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-Vvdash-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-approx-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-approxeq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-asymp-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-backepsilon-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-backsimeq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-because-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-between-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-blacktriangleleft-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-blacktriangleright-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-bowtie-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-cong-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-curlyeqprec-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-curlyeqsucc-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-dashv-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-eqslantgtr-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-eqslantless-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-equals-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-equiv-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-frown-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-geq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-geqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-geqslant-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gg-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ggg-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gnapprox-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gneq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gneqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gnsim-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gt-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gtrapprox-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gtrdot-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gtreqless-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gtreqqless-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gtrless-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gtrsim-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-gvertneqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-leq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-leqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-leqslant-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lessapprox-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lessdot-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lesseqgtr-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lesseqqgtr-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lessgtr-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lesssim-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ll-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lll-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lnapprox-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lneq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lneqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lnsim-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lt-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-lvertneqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-mid-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-models-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-multimap-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nVDash-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ncong-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-neq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ngeq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ngeqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ngeqslant-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ngtr-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nleq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nleqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nleqslant-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nless-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nmid-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nparallel-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nprec-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-npreceq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nshortmid-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nshortparallel-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nsubseteq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nsubseteqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nsucc-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nsucceq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nsupseteq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nsupseteqq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ntriangleleft-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ntrianglelefteq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ntriangleright-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-ntrianglerighteq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nvDash-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-nvdash-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-parallel-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-perp-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-pitchfork-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-prec-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-precapprox-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-preccurlyeq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-preceq-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-precnapprox-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-precnsim-symbolic.svg +share/Setzer/resources/symbols/relations/sidebar-precsim-symbolic.svg *** DIFF OUTPUT TRUNCATED AT 1000 LINES ***
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202010180647.09I6lwOn077452>