Added wrapper for amssymb to support amssymb-like commands for both pdflatex and luatex.

src/DOF/latex/DOF-amssymb.sty

@@ -0,0 +1,26 @@
+%% Copyright (C) 2021 University of Exeter
+%%               2021 University of Paris-Saclay
+%%
+%% License:
+%%   This program can be redistributed and/or modified under the terms
+%%   of the LaTeX Project Public License Distributed from CTAN
+%%   archives in directory macros/latex/base/lppl.txt; either
+%%   version 1.3c of the License, or (at your option) any later version.
+%%   OR
+%%   The 2-clause BSD-style license.
+%%
+%%   SPDX-License-Identifier: LPPL-1.3c+ OR BSD-2-Clause
+
+
+\NeedsTeXFormat{LaTeX2e}\relax
+\ProvidesPackage{DOF-COL}
+  [<isadofltxversion>%
+  Document-Type Support Framework for Isabelle (amssymb wrapper for lualatex/pdflatex).]
+
+\usepackage{ifxetex,ifluatex}
+\ifnum 0\ifxetex 1\fi\ifluatex 1\fi=0 % if pdftex
+  \usepackage{amssymb}
+\else % if luatex or xetex
+  \usepackage{unicode-math}
+  \usepackage{latexsymb}
+\fi

src/document-templates/root-eptcs-UNSUPPORTED.tex

@@ -34,7 +34,7 @@
 \usepackage{xcolor}
 \usepackage{isabellesym}
 \usepackage{amsmath}
-\usepackage{amssymb}
+\usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \IfFileExists{DOF-core.sty}{}{%
   \PackageError{DOF-core}{Isabelle/DOF not installed. 

src/document-templates/root-lipics-v2019-UNSUPPORTED.tex

@@ -29,7 +29,7 @@
 \usepackage{isabelle}
 \usepackage{isabellesym}
 % \usepackage{amsmath}
-% \usepackage{amssymb}
+% \usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \IfFileExists{DOF-core.sty}{}{%
   \PackageError{DOF-core}{Isabelle/DOF not installed. 

src/document-templates/root-lncs.tex

@@ -34,7 +34,7 @@
 \usepackage{xcolor}
 \usepackage{isabellesym}
 \usepackage{amsmath}
-\usepackage{amssymb}
+\usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \IfFileExists{DOF-core.sty}{}{%
   \PackageError{DOF-core}{Isabelle/DOF not installed. 

src/document-templates/root-scrartcl.tex

@@ -44,7 +44,7 @@
 \input{ontologies}
 \IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
 \usepackage{amsmath}
-\usepackage{amssymb}
+\usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \usepackage{graphicx}
 \usepackage{hyperref}

src/document-templates/root-scrreprt-modern.tex

@@ -65,7 +65,7 @@
 \input{ontologies}
 \IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
 \usepackage{amsmath}
-\usepackage{amssymb}
+\usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \usepackage{graphicx}
 \usepackage{hyperref}

src/document-templates/root-scrreprt.tex

@@ -44,7 +44,7 @@
 \input{ontologies}
 \IfFileExists{preamble.tex}{\input{preamble.tex}}{}%
 \usepackage{amsmath}
-\usepackage{amssymb}
+\usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
 \usepackage{graphicx}
 \usepackage{hyperref}