Attachment 216338 Details for Bug 247063 – setzer.patch v3

[patch] setzer.patch v3

setzer.patch (text/plain), 66.19 KB, created by Val Packett on 2020-07-09 11:50:33 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Val Packett

Created: 2020-07-09 11:50:33 UTC

Size: 66.19 KB

patch

obsolete

>diff --git c/editors/setzer/Makefile w/editors/setzer/Makefile
>new file mode 100644
>index 000000000000..6f9a83192daf
>--- /dev/null
>+++ w/editors/setzer/Makefile
>@@ -0,0 +1,31 @@
>+# $FreeBSD$
>+
>+PORTNAME=	setzer
>+DISTVERSIONPREFIX=v
>+DISTVERSION=	0.2.8
>+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=	libwebkit2gtk-4.0.so:www/webkit2-gtk3 \
>+		libpoppler-glib.so:graphics/poppler-glib \
>+		libgspell-1.so:textproc/gspell
>+RUN_DEPENDS=	${PYTHON_PKGNAMEPREFIX}xdg>=0:devel/py-xdg@${PY_FLAVOR} \
>+		xdg-open:devel/xdg-utils
>+
>+USES=		python:3.5+ pkgconfig gnome gettext meson shebangfix desktop-file-utils
>+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>
>diff --git c/editors/setzer/distinfo w/editors/setzer/distinfo
>new file mode 100644
>index 000000000000..4df4c56bab6d
>--- /dev/null
>+++ w/editors/setzer/distinfo
>@@ -0,0 +1,3 @@
>+TIMESTAMP = 1591559233
>+SHA256 (cvfosammmm-Setzer-v0.2.8_GH0.tar.gz) = b08e764bbaab44d2ed51cf46a045b0d12f44941c9b42be2912fa92a5e85190ec
>+SIZE (cvfosammmm-Setzer-v0.2.8_GH0.tar.gz) = 3824033
>diff --git c/editors/setzer/pkg-descr w/editors/setzer/pkg-descr
>new file mode 100644
>index 000000000000..9616dc92d1e5
>--- /dev/null
>+++ w/editors/setzer/pkg-descr
>@@ -0,0 +1,3 @@
>+Simple yet full-featured LaTeX editor, written in Python with Gtk.
>+
>+WWW: https://www.cvfosammmm.org/setzer/
>diff --git c/editors/setzer/pkg-plist w/editors/setzer/pkg-plist
>new file mode 100644
>index 000000000000..93b5c2226dfa
>--- /dev/null
>+++ w/editors/setzer/pkg-plist
>@@ -0,0 +1,924 @@
>+bin/setzer
>+%%PYTHON_SITELIBDIR%%/setzer/app/__init__.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/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/build_system/__init__.py
>+%%PYTHON_SITELIBDIR%%/setzer/document/build_system/build_system.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/document.py
>+%%PYTHON_SITELIBDIR%%/setzer/document/document_builder.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/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_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/styles/setzer-dark.xml
>+share/Setzer/resources/gtksourceview/styles/setzer.xml
>+share/Setzer/resources/help/images/external-link.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/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/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
>+share/Setzer/resources/symbols/relations/sidebar-propto-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-shortmid-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-shortparallel-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-sim-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-simeq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-smallfrown-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-smallsmile-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-smile-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-sqsubset-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-sqsubseteq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-sqsupset-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-sqsupseteq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-subset-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-subseteq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-subseteqq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-subsetneq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-subsetneqq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succ-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succapprox-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succcurlyeq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succeq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succnapprox-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succnsim-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-succsim-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-supset-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-supseteq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-supseteqq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-supsetneq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-supsetneqq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-therefore-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-trianglelefteq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-trianglerighteq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-vDash-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-varpropto-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-varsubsetneq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-varsupsetneq-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-vartriangleleft-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-vartriangleright-symbolic.svg
>+share/Setzer/resources/symbols/relations/sidebar-vdash-symbolic.svg
>+share/applications/org.cvfosammmm.Setzer.desktop
>+share/icons/hicolor/scalable/apps/org.cvfosammmm.Setzer.svg
>+share/locale/de/LC_MESSAGES/setzer.mo
>+share/locale/it/LC_MESSAGES/setzer.mo
>+share/metainfo/org.cvfosammmm.Setzer.appdata.xml

Actions: View | Diff

Attachments on bug 247063: 215333 | 215963 | 216338 | 218842