CTAN sync 202202180301

7 files changed, 1375 insertions, 0 deletions

diff --git a/fonts/xcharter-math/README.md b/fonts/xcharter-math/README.md
new file mode 100644
index 0000000000..ace23234da
--- /dev/null
+++ b/fonts/xcharter-math/README.md
@@ -0,0 +1,52 @@
+XCharter-Math package
+====================
+
+## Description
+
+`XCharter-Math.otf’ is an OpenType mathematical font to be used 
+with the XCharter text fonts.
+
+## Contents
+
+* XCharter-Math.otf     OpenType Math font
+* xcharter-otf.sty      LaTeX style file
+* XCharter-Math.pdf     Documentation in PDF format
+* XCharter-Math.ltx     Source of XCharter-Math.pdf
+* unimath-xcharter.pdf  Modified version of unimath-symbols.pdf
+                        showing available XCharter-Math symbols compared to
+		                LatinModern, STIXTwo, Erewhon, TeXGyrePagella,
+						Libertinus and EBGaramond.
+* unimath-xcharter.ltx  Source of unimath-xcharter.pdf
+* README.md            (this file)
+
+## Installation
+
+This package is meant to be installed automatically by TeXLive, MikTeX, etc.
+Otherwise, XCharter-Math can be installed under TEXMFHOME or TEXMFLOCAL, f.i.
+XCharter-Math.otf in directory  texmf-local/fonts/opentype/public/xcharter-math/
+and fourier-otf.sty in directory  texmf-local/tex/latex/xcharter-math/.  
+Documentation files and their sources can go to directory
+texmf-local/doc/fonts/public/xcharter-math/
+
+Don't forget to rebuild the file database (mktexlsr or so) if you install
+under TEXMFLOCAL.
+
+Finally, make the system font database aware of the XCharter Math font
+(fontconfig under Linux).
+
+## License
+
+* The font `XCharter-Math.otf’ is licensed under the SIL Open Font License,
+Version 1.1. This license is available with a FAQ at:
+http://scripts.sil.org/OFL
+* The other files are distributed under the terms of the LaTeX Project
+Public License from CTAN archives in directory macros/latex/base/lppl.txt.
+Either version 1.3 or, at your option, any later version.
+
+## Changes
+
+* First public version: 0.30
+	 
+---
+Copyright 2022-  Daniel Flipo  
+E-mail: daniel (dot) flipo (at) free (dot) fr
diff --git a/fonts/xcharter-math/XCharter-Math.ltx b/fonts/xcharter-math/XCharter-Math.ltx
new file mode 100644
index 0000000000..de2d47798f
--- /dev/null
+++ b/fonts/xcharter-math/XCharter-Math.ltx
@@ -0,0 +1,613 @@
+\RequirePackage{pdfmanagement-testphase}
+\DeclareDocumentMetadata{pdfstandard=A-2b, lang=en-GB}
+\documentclass[a4paper,12pt]{scrartcl}
+
+\usepackage{amsmath, array, varioref}
+\usepackage[british]{babel}
+\usepackage{xcharter-otf}
+\usepackage{fourier-orns}
+\setsansfont{Cabin}[Scale=MatchLowercase]
+\setmonofont{Inconsolatazi4}[Scale=MatchLowercase,
+                             HyphenChar=None,StylisticSet={2,3}]
+\usepackage{subfig}
+\captionsetup[subtable]{position=top}
+\usepackage{realscripts}
+\usepackage{microtype}
+\usepackage{hyperref}
+\hypersetup{pdftitle={XCharter-Math User’s Guide},
+            pdfauthor={Daniel FLIPO},
+            bookmarksopen,
+            colorlinks
+            }
+\newcommand*{\hlabel}[1]{\phantomsection\label{#1}}
+
+\newcommand*{\FGUT}{Fourier-GUT\textit{enberg}}
+\newcommand*{\XCotf}{XCharter-Math}
+\newcommand*{\pkg}[1]{\texttt{#1}}
+\newcommand*{\file}[1]{\texttt{#1}}
+\newcommand*{\opt}[1]{\texttt{#1}}
+\newcommand*{\cmd}[1]{\texttt{\textbackslash #1}}\newcommand*{\showtchar}[1]{\cmd{#1}~\csname #1\endcsname}
+\newcommand*{\showmchar}[1]{\cmd{#1}~$(\csname #1\endcsname)$}
+\newcommand*{\showmchardollar}[1]{\texttt{\$\cmd{#1}\$}~$(\csname #1\endcsname)$}
+
+\renewcommand{\labelitemi}{\lefthand}
+
+\title{\decofourleft\,\XCotf\,\decofourright}
+\author{Daniel Flipo \\ \texttt{daniel.flipo@free.fr}}
+
+\newcommand*{\version}{0.30}
+
+\begin{document}
+\maketitle
+
+\section{What is \XCotf{}?}
+
+\XCotf{} is an Opentype mathematical font based on Bitstream Charter
+meant to be used with XCharter text fonts.
+
+Latin and Greek letters and many Math symbols are borrowed or
+derived from Mickael Sharpe’s XCharter fonts. Other sources for Math glyphs
+were found in MathDesign (by Paul Pichaureau)  and \FGUT{} (by Michel Bovani).
+
+It requires LuaTeX or XeTeX as engine and the \pkg{unicode-math} package%
+\footnote{Please read the documentation \file{unicode-math.pdf}.}.
+
+Please note that the current version (\version) is \emph{experimental,
+do expect metrics and glyphs to change} until version 1.0 is reached.
+Comments, suggestions and bug reports are welcome!
+
+\section{Usage}
+
+\subsection{Calling \cmd{setmathfont}}
+
+A basic call for \XCotf{} would be:
+\begin{verbatim}
+\usepackage{unicode-math}
+\setmathfont{XCharter-Math.otf} % Call by file name or
+\setmathfont{XCharter Math}     % Call by font name
+\end{verbatim}
+this loads \XCotf{} as math font with the default options, see
+subsections~\vref{ssection-um}, \vref{ssection-cv} and~\vref{ssection-ss}
+for customisation.
+
+\enlargethispage*{\baselineskip}
+Please note that the three sets of text fonts have to be chosen separately,
+f.i.:\\[.25\baselineskip]
+\verb+\setmainfont{XCharter}+\\
+\verb+\setsansfont{Cabin}[Scale=MatchLowercase]          % sf+\\
+\verb+\setmonofont{Inconsolatazi4}[Scale=MatchLowercase] % tt+\\[.25\baselineskip]
+otherwise you would get Latin Modern for text fonts.
+
+\subsection{Calling \pkg{xcharter-otf.sty} (recommended)}
+
+As an alternative to load \XCotf{} you can type:\\[.5\baselineskip]
+\verb+\usepackage[ +\textit{options}
+\footnote{Possible \textit{options} are \opt{loose}, \opt{no-text}, \opt{Scale=}
+  or any of the options described in sections \ref{ssection-um},
+  \ref{ssection-cv} and \ref{ssection-ss}.}%
+\verb+ ]{xcharter-otf}+\\[.5\baselineskip]
+it loads \pkg{unicode-math} with the default options, sets XCharter-Math
+as Math font and XCharter Text fonts as Roman fonts
+(families \textit{sf} and \textit{tt} left unchanged) but does a bit more:
+\begin{enumerate}
+\item it checks at \verb+\begin{document}+ if packages \pkg{amssymb} or
+  \pkg{latexsym} are loaded and issues warnings in case they are;
+\item it provides aliases for glyphs named differently in Unicode, so that
+  \pkg{latexsym} or AMS names are also available;
+\item it defines specific Math characters like
+  \showmchar{varemptyset},
+  \showmchar{parallelslant},
+  \showmchar{shortparallelslant}, etc.;
+\item it reduces spacing in math mode: \cmd{thinmuskip}, \cmd{medmuskip}
+  and \cmd{thickmuskip} unless the \opt{loose} option is activated.
+\end{enumerate}
+
+Apart from the \opt{loose} option mentionned above, \pkg{xcharter-otf.sty}
+provides two options \opt{no-text} and \opt{Scale=}\textsl{<decimal>} meant to
+be used to load the \XCotf{} font together with roman text fonts other than
+XCharter, while keeping the advantages 1. to~5. pointed in the preceeding list,
+f.i.\\ \verb+\usepackage[no-text,Scale=0.98]{xcharter-otf}+
+
+Option \opt{no-text} can also be useful if XCharter is to be loaded with
+specific options, f.i. \\
+\verb+\usepackage[no-text]{xcharter-otf}+\\
+\verb|\setmainfont{XCharter}[RawFeature=+onum;+ss01]|
+
+\section{What is provided?}
+
+\XCotf{} provides all glyphs supplied by \FGUT{} plus all glyphs available in
+the \pkg{amssymb} and \pkg{latexsym} packages and many more.  Therefore, these
+two packages \emph{should not} be loaded as they might override \XCotf{} glyphs.
+
+Sans-serif, typewriter and fraktur styles are borrowed from Latin Modern fonts.
+See in section~\vref{ssec-math-alphabets} how to choose
+from other Math fonts for these styles.
+
+A full list of available glyphs is shown in file \file{unimath-xcharter.pdf}.
+
+\subsection{Upright or slanted?}
+\label{ssection-um}
+
+Package \pkg{unicode-math} follows \TeX{} conventions for Latin and Greek
+letters: in math mode, the default option (\opt{math-style=TeX}) prints
+Latin letters $a$…$z$ $A$…$Z$ and lowercase greek letters $\alpha$…$\omega$
+slanted (italic) while uppercase greek letters $\Alpha \Beta \Gamma$…$\Omega$
+are printed upright.
+This can be changed by option \opt{math-style} as shown in
+table~\vref{math-style}.
+
+\begin{table}[ht]
+  \centering
+  \caption{Effects of the \opt{math-style} package option.}
+  \hlabel{math-style}
+  \begin{tabular}{@{}>{\ttfamily}lcc@{}}
+    \hline
+      \rmfamily Package option & Latin & Greek \\
+    \hline
+      math-style=ISO & $(a,z,B,X)$ & $\symit{(\alpha,\beta,\Gamma,\Xi)}$ \\
+      math-style=TeX & $(a,z,B,X)$ & $(\symit\alpha,\symit\beta,\symup\Gamma,\symup\Xi)$ \\
+      math-style=french & $(a,z,\symup B,\symup X)$ & $(\symup\alpha,\symup\beta,\symup\Gamma,\symup\Xi)$ \\
+      math-style=upright & $(\symup a,\symup z,\symup B,\symup X)$ & $(\symup\alpha,\symup\beta,\symup\Gamma,\symup\Xi)$ \\
+    \hline
+  \end{tabular}
+\end{table}
+
+Bold letters are printed upright except lowercase Greek letters
+which are slanted (the default option is \opt{bold-style=TeX}). This can be
+changed by option \opt{bold-style} as shown in table~\vref{bold-style}.
+
+\begin{table}[ht]
+  \centering
+  \caption{Effects of the \opt{bold-style} package option.}
+  \hlabel{bold-style}
+  \begin{tabular}{@{}>{\ttfamily}lcc@{}}
+    \hline
+      \rmfamily Package option & Latin & Greek \\
+    \hline
+      bold-style=ISO & $(\symbfit a, \symbfit z, \symbfit B, \symbfit X)$ & $(\symbfit\alpha, \symbfit\beta, \symbfit\Gamma, \symbfit\Xi)$ \\
+      bold-style=TeX & $(\symbfup a,\symbfup z,\symbfup B,\symbfup X)$ & $(\symbfit\alpha, \symbfit\beta,\symbfup \Gamma,\symbfup \Xi)$ \\
+      bold-style=upright & $(\symbfup a,\symbfup z,\symbfup B,\symbfup X)$ & $(\symbfup \alpha,\symbfup \beta,\symbfup \Gamma,\symbfup \Xi)$ \\
+    \hline
+  \end{tabular}
+\end{table}
+
+Other possible customisation: $\nabla$ is printed upright and $\partial$ is
+printed slanted by default, but \opt{nabla=italic} and
+\opt{partial=upright} can change this.
+
+All these options are offered by the \pkg{unicode-math} package but they can
+be added to the \cmd{setmathfont} call%
+\footnote{IMHO it is easier to add \emph{all options} to the \cmd{setmathfont}
+  command.}, for example:
+
+\verb+\setmathfont{XCharter-Math.otf}[math-style=french,partial=upright]+\\
+will print for the code
+\begin{verbatim}
+\[ \frac{\partial f}{\partial x} = \alpha \symbf{V} + a\nabla\Gamma
+                                 + \symbf{\beta}\symbf{M} \]
+\end{verbatim}
+\setmathfont{XCharter-Math.otf}[math-style=french,partial=upright]
+\[\frac{\partial f}{\partial x} = \alpha \symbf{V} + a\nabla\Gamma +
+              \symbf{\beta}\symbf{M} \]
+while the default settings would print
+\setmathfont{XCharter-Math.otf}[math-style=TeX,partial=italic]
+\[\frac{\partial f}{\partial x} = \alpha \symbf{V} + a\nabla\Gamma +
+              \symbf{\beta}\symbf{M} \]
+
+Both shapes remain available anytime: \verb+$\uppi,\itpi$+
+prints $\uppi, \itpi$.
+
+If your text editor is able to handle greek letters or math symbols, they can
+be entered in the code instead control sequences (i.e.
+$\symup{α}$, $\symup{β}$, $\symup{Γ}$,… for \cmd{alpha}, \cmd{beta},
+\cmd{Gamma},…).
+
+\subsection{Character variants}
+\label{ssection-cv}
+
+\XCotf{} provides fourteen ``Character Variants’’ options, listed on
+table~\vref{cv}, to choose between different glyphs for Greek characters
+and some others. Alternative calligraphic capitals have been added for E, Q
+and T in version~0.50.
+
+\begin{table}[ht]
+  \centering  \caption{Character variants.}
+  \hlabel{cv}
+  \begin{tabular}{@{}>{\ttfamily}lccl@{}}
+    \hline
+           & Default       & Variant          & Name\\
+    \hline
+      cv00 & $0$           & $\mupvarzero$    &  0 \\
+      cv01 & $\hslash$     & $\mithbar$       & \cmd{hslash} \\
+      cv02 & $\emptyset$   & $\varemptyset$   & \cmd{emptyset} \\
+      cv03 & $\epsilon$    & $\varepsilon$    & \cmd{epsilon} \\
+      cv04 & $\kappa$      & $\varkappa$      & \cmd{kappa} \\
+      cv05 & $\pi$         & $\varpi$         & \cmd{pi} \\
+      cv06 & $\phi$        & $\varphi$        & \cmd{phi} \\
+      cv07 & $\rho$        & $\varrho$        & \cmd{rho} \\
+      cv08 & $\sigma$      & $\varsigma$      & \cmd{sigma} \\
+      cv09 & $\theta$      & $\vartheta$      & \cmd{theta} \\
+      cv10 & $\Theta$      & $\varTheta$      & \cmd{Theta}\\
+      cv20 & $\symscr{E}$  & $\varsymscrE$    & \cmd{symcal\{E\}}\\
+      cv21 & $\symscr{Q}$  & $\varsymscrQ$    & \cmd{symcal\{Q\}}\\
+      cv22 & $\symscr{T}$  & $\varsymscrT$    & \cmd{symcal\{T\}}\\
+    \hline
+  \end{tabular}
+\end{table}
+
+For instance, to get \cmd{epsilon} and \cmd{phi} typeset as $\varepsilon$
+and $\varphi$ instead of $\epsilon$ and $\phi$, you can add option
+\verb+CharacterVariant={3,6}+ to the \cmd{setmathfont} call:
+\begin{verbatim}
+\setmathfont{XCharter-Math.otf}[CharacterVariant={3,6}]
+\end{verbatim}
+
+This  works for all shapes and weights of these characters: f.i.\ %
+\verb+$\symbf{\epsilon}$+, \verb+$\symbf{\phi}$+ are output as
+\setmathfont{XCharter-Math.otf}[CharacterVariant={3,6}]$\symbf{\epsilon}$,
+$\symbf{\phi}$ instead of
+\setmathfont{XCharter-Math.otf}$\symbf{\epsilon}$, $\symbf{\phi}$.
+
+Similarly with \opt{math-style=french}, \verb+\epsilon+ and \verb+\phi+
+are output as $\symup{\varepsilon}$ and $\symup{\varphi}$ (upright).
+
+Please note that curly braces are mandatory whenever more than one
+``Character Variant’’ is selected.
+
+Note about \cmd{hbar} (v\,0.43): \pkg{unicode-math} defines \cmd{hbar} as
+\cmd{hslash} (U+210F) while \pkg{amsmath} provides two different glyphs
+(italic h with horizontal or diagonal stroke).\\
+\pkg{XCharter Math} now follows \pkg{unicode-math}; the italic h with horizontal
+stroke can be printed using \cmd{hslash} or \cmd{hbar} together with character
+variant \texttt{cv01} or with \cmd{mithbar} (replacement for AMS’ command
+\cmd{hbar}).
+
+
+\subsection{Stylistic sets}
+\label{ssection-ss}
+
+\XCotf{} provides five ``Stylistic Sets’’ options to choose between different
+glyphs for families of mathematical symbols.
+
+\verb+StylisticSet=4+, alias%
+\footnote{These \texttt{Style} aliases are provided by \file{xcharter-otf.sty}.}
+\verb+Style=leqslant+, converts large
+inequalites into their slanted  variants, see table~\vref{ss04}.
+
+\verb+StylisticSet=5+, alias \verb+Style=smaller+, converts some symbols into
+their smaller variants, see table~\vref{ss05}.
+\begin{table}[ht]
+  \centering
+  \caption{Stylistic Sets 4 and 5}
+  \subfloat[\texttt{Style=leqslant\quad (+ss04)}]{\hlabel{ss04}%
+  \begin{tabular}[t]{@{}lcc@{}}
+    \hline
+      Command           & Default         & Variant \\
+    \hline
+      \cmd{leq}         & $\leq$         & $\leqslant$ \\
+      \cmd{geq}         & $\geq$         & $\geqslant$ \\
+      \cmd{nleq}        & $\nleq$        & $\nleqslant$ \\
+      \cmd{ngeq}        & $\ngeq$        & $\ngeqslant$ \\
+      \cmd{leqq}        & $\leqq$        & $\leqqslant$ \\
+      \cmd{geqq}        & $\geqq$        & $\geqqslant$ \\
+      \cmd{eqless}      & $\eqless$      & $\eqslantless$ \\
+      \cmd{eqgtr}       & $\eqgtr$       & $\eqslantgtr$ \\
+      \cmd{lesseqgtr}   & $\lesseqgtr$   & $\lesseqslantgtr$ \\
+      \cmd{gtreqless}   & $\gtreqless$   & $\gtreqslantless$ \\
+      \cmd{lesseqqgtr}  & $\lesseqqgtr$  & $\lesseqqslantgtr$ \\
+      \cmd{gtreqqless}  & $\gtreqqless$  & $\gtreqqslantless$ \\
+   \hline
+  \end{tabular}
+  }\hspace{10mm} % eof subfloat
+  \subfloat[\texttt{Style=smaller\quad (+ss05)}]{\hlabel{ss05}%
+  \begin{tabular}[t]{@{}lcc@{}}
+    \hline
+      Command                & Default             & Variant \\
+    \hline
+      \cmd{in}               & $\in$               & $\smallin$ \\
+      \cmd{ni}               & $\ni$               & $\smallni$ \\
+      \cmd{mid}              & $\mid$              & $\shortmid$ \\
+      \cmd{nmid}             & $\nmid$             & $\nshortmid$ \\
+      \cmd{parallel}         & $\parallel$         & $\shortparallel$ \\
+      \cmd{nparallel}        & $\nparallel$        & $\nshortparallel$ \\
+      \cmd{parallelslant}    & $\parallelslant$    & $\shortparallelslant$ \\
+      \cmd{nparallelslant}   & $\nparallelslant$   & $\nshortparallelslant$ \\
+   \hline
+  \end{tabular}
+  }% eof subfloat
+\end{table}
+
+%\pagebreak[4]
+\verb+StylisticSet=6+, alias \verb+Style=subsetneq+, converts some inclusion
+symbols, as shown in table~\vref{ss06}.
+
+\verb+StylisticSet=7+, alias \verb+Style=parallelslant+, converts
+``parallel’’ symbols into their slanted variants, see table~\vref{ss07}.
+\begin{table}[ht]
+  \centering
+  \caption{Stylistic Sets 6 and 7}
+  \subfloat[\texttt{Style=subsetneq\quad (+ss06)}]{\hlabel{ss06}%
+  \begin{tabular}[t]{@{}lcc@{}}
+    \hline
+      Command           & Default         & Variant \\
+    \hline
+      \cmd{subsetneq}   & $\subsetneq$    & $\varsubsetneq$ \\
+      \cmd{supsetneq}   & $\supsetneq$    & $\varsupsetneq$ \\
+      \cmd{subsetneqq}  & $\subsetneqq$   & $\varsubsetneqq$ \\
+      \cmd{supsetneqq}  & $\supsetneqq$   & $\varsupsetneqq$ \\
+   \hline
+  \end{tabular}
+  }\hspace{10mm} % eof subfloat
+  \subfloat[\texttt{Style=parallelslant\quad (+ss07)}]{\hlabel{ss07}%
+  \begin{tabular}[t]{@{}lcc@{}}
+    \hline
+      Command               & Default            & Variant \\
+    \hline
+      \cmd{parallel}        & $\parallel$        & $\parallelslant$ \\
+      \cmd{nparallel}       & $\nparallel$       & $\nparallelslant$ \\
+      \cmd{shortparallel}   & $\shortparallel$   & $\shortparallelslant$ \\
+      \cmd{nshortparallel}  & $\nshortparallel$  & $\nshortparallelslant$ \\
+   \hline
+  \end{tabular}
+  } % eof subfloat
+\end{table}
+
+To enable Stylistic Sets  4, 6 and 7 for \XCotf{}, you should enter
+\begin{verbatim}
+\setmathfont{XCharter-Math.otf}[StylisticSet={4,6,7}]  or
+\usepackage[Style={leqslant,subsetneq,parallelslant}]{xcharter-otf}
+\end{verbatim}
+then, \verb+\[x\leq y \quad A \subsetneq B \quad D \parallel D'\]+
+will print as
+\setmathfont{XCharter-Math.otf}[StylisticSet={4,6,7}]
+\[x\leq y \quad A \subsetneq B \quad D \parallel D'\]
+instead of
+\setmathfont{XCharter-Math.otf}
+\[x\leq y \quad A \subsetneq B \quad D \parallel D'\]
+
+%\pagebreak[4]
+\verb+StylisticSet=3+, alias%
+\footnote{These \texttt{Style} aliases are provided by \file{xcharter-otf.sty}.}
+\verb+Style=upint+, converts integrals signs into their upright
+variants, see table~\vref{ss03}.
+\begin{table}[ht]
+  \let\DS\displaystyle
+  \centering
+  \caption{Style=upint\quad  (+ss03)}\hlabel{ss03}
+  \begin{tabular}[t]{@{}l*{8}c@{}}
+    \hline
+    Command   &\cmd{int}   &\cmd{iint}  &\cmd{iiint} &\cmd{iiiint}
+                   &\cmd{oint}  &\cmd{oiint} &\cmd{oiiint} \\
+    \hline
+    Default\rule[-15pt]{0pt}{35pt}   &$\DS\int$ &$\DS\iint$ &$\DS\iiint$ &$\DS\iiiint$
+                   &$\DS\oint$ &$\DS\oiint$ &$\DS\oiint$ &$\DS\oiiint$
+    \\[\baselineskip]
+    \setmathfont{XCharter-Math.otf}[Style=upint]
+    Upright\rule[-15pt]{0pt}{30pt}   &$\DS\int$ &$\DS\iint$  &$\DS\iiint$ &$\DS\iiiint$
+                   &$\DS\oint$ &$\DS\oiint$  &$\DS\oiint$ &$\DS\oiiint$ \\
+    \hline
+  \end{tabular}\\[\baselineskip]
+  \setmathfont{XCharter-Math.otf}
+  \begin{tabular}[t]{@{}l*{4}c@{}}
+    \hline
+    Command  &\cmd{intclockwise}  &\cmd{awint}
+                   &\cmd{varointclockwise}  &\cmd{ointctrclockwise} \\
+    \hline
+    Default\rule[-15pt]{0pt}{35pt} &$\DS\intclockwise$ &$\DS\awint$
+                   &$\DS\varointclockwise$ &$\DS\ointctrclockwise$ \\
+    \setmathfont{XCharter-Math.otf}[Style=upint]
+    Upright\rule[-15pt]{0pt}{30pt}  &$\DS\intclockwise$ &$\DS\awint$
+                   &$\DS\varointclockwise$  &$\DS\ointctrclockwise$ \\
+    \hline
+  \end{tabular}
+\end{table}
+\setmathfont{XCharter-Math.otf}
+
+\subsection{Other font features}
+\label{ssec-other-features}
+
+To get oldstyle numbers in Maths, the feature \texttt{+onum} is available:
+\begin{verbatim}
+\setmathfont{XCharter-Math.otf}[Numbers=OldStyle]  or
+\usepackage[Style={fulloldstyle]{xcharter-otf}
+\end{verbatim}
+
+\setmathfont{XCharter-Math.otf}[Numbers=OldStyle]
+$0123456789, \symbf{0123456789}$
+\setmathfont{XCharter-Math.otf}
+
+\subsection{Standard \LaTeX{} math commands}
+\label{ssec-math-commands}
+
+All standard \LaTeX{} math commands, all \pkg{amssymb} commands and all
+\pkg{latexsym} commands are supported by \XCotf{}, for some of them loading
+\pkg{xcharter-otf.sty} is required.
+
+Various wide acccents are also supported:
+\begin{itemize}
+\item \cmd{widehat} and \cmd{widetilde}
+\[\widehat{x}\; \widehat{xx} \;\widehat{xxx} \;\widehat{xxxx}\;
+  \widehat{xxxxx} \;\widehat{xxxxxx} \;\widetilde{x}\; \widetilde{xx}\;
+  \widetilde{xxx} \;\widetilde{xxxx} \;\widetilde{xxxxx}\;
+  \widetilde{xxxxxx}\]
+
+\item \cmd{overline} and \cmd{underline}
+  \[\overline{x}\quad \overline{xy}\quad \overline{xyz}\quad
+    \overline{A\cup B}\quad \overline{A\cup (B\cap C)\cup D}\quad
+    \underline{m+n+p}\]
+
+\item \cmd{wideoverbar}, \cmd{widecheck}  and \cmd{widebreve}
+  \[\wideoverbar{x}\quad \wideoverbar{xy}\quad \wideoverbar{xyz}\quad
+    \widecheck{x}\quad \widecheck{xxxx}\quad \widecheck{xxxxxx}\quad
+    \widebreve{x}\quad \widebreve{xxxx}\quad \widebreve{xxxxxx}
+  \]
+
+\item \cmd{overparen} and \cmd{underparen}
+  \[\overparen{x}\quad \overparen{xy}\quad \overparen{xyz}\quad
+    \mathring{\overparen{A\cup B}}\quad
+    \overparen{A\cup (B\cap C)\cup D}^{\smwhtcircle}\quad
+    \overparen{x+y}^{2}\quad \overparen{a+b+...+z}^{26}\]
+
+\[\underparen{x}\quad \underparen{xz} \quad \underparen{xyz}
+  \quad \underparen{x+z}_{2}\quad \underparen{a+b+...+z}_{26}\]
+
+\item \cmd{overbrace} and \cmd{underbrace}
+  \[\overbrace{a}\quad \overbrace{ab}\quad \overbrace{abc}\quad
+  \overbrace{abcd}\quad \overbrace{abcde}\quad
+  \overbrace{a+b+c}^{3}\quad \overbrace{ a+b+. . . +z }^{26}\]
+
+\[\underbrace{a}\quad\underbrace{ab}\quad\underbrace{abc}\quad
+  \underbrace{abcd}\quad \underbrace{abcde}\quad
+  \underbrace{a+b+c}_{3}  \quad \underbrace{ a+b+...+z }_{26}\]
+
+\item \cmd{overbracket} and \cmd{underbracket}
+  \[\overbracket{a}\quad \overbracket{ab}\quad \overbracket{abc}\quad
+  \overbracket{abcd}\quad \overbracket{abcde}\quad
+  \overbracket{a+b+c}^{3}\quad \overbracket{ a+b+. . . +z }^{26}\]
+
+\[\underbracket{a}\quad\underbracket{ab}\quad\underbracket{abc}\quad
+  \underbracket{abcd}\quad \underbracket{abcde}\quad
+  \underbracket{a+b+c}_{3}  \quad \underbracket{ a+b+...+z }_{26}\]
+
+\item \cmd{overrightarrow} and \cmd{overleftarrow}
+  \[\overrightarrow{v}\quad \overrightarrow{M}\quad \overrightarrow{vv}
+  \quad \overrightarrow{AB}\quad \overrightarrow{ABC}
+  \quad \overrightarrow{ABCD} \quad \overrightarrow{ABCDEFGH}.
+\]
+
+\[\overleftarrow{v}\quad \overleftarrow{M}\quad \overleftarrow{vv}
+  \quad \overleftarrow{AB}\quad \overleftarrow{ABC}
+  \quad \overleftarrow{ABCD} \quad \overleftarrow{ABCDEFGH}\]
+
+\item Finally \cmd{widearc} and \cmd{overrightarc} (loading
+  \pkg{xcharter-otf.sty} is required)
+\[\widearc{AMB}\quad \overrightarc{AMB}\]
+\end{itemize}
+
+\subsection{Mathematical alphabets}
+\label{ssec-math-alphabets}
+
+\begin{itemize}
+\item  All Latin and Greek characters are available in italic, upright, bold
+  and bold italic via the \verb+\symit{}+, \verb+\symup{}+, \verb+\symbf{}+
+  and \verb+\symbfit{}+ commands.
+
+\item Calligraphic alphabet (\cmd{symscr} or \cmd{symcal} or
+  \cmd{mathcal} command), uppercase:
+
+  $\symscr{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$
+
+\item Blackboard-bold alphabet (\cmd{symbb} or \cmd{mathbb} command)
+  uppercase only, plus \verb+\Bbbone+ and \verb+\Bbbk+:
+
+  $\symbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}, \Bbbone, \Bbbk$
+
+\item Fraktur alphabet is borrowed from Latin Modern,
+
+  $\symfrak{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz}$
+
+  but this can overwritten, i.e.
+\begin{verbatim}
+\setmathfont{Asana-Math.otf}[range=frak,Scale=MatchUppercase]
+$\symfrak{ABCDEFGHIJKL...XYZ abcdefghijkl...xyz}$
+\end{verbatim}
+\setmathfont{Asana-Math.otf}[range=frak,Scale=MatchUppercase]
+$\symfrak{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz}$
+
+\item Sans serif alphabet is borrowed from Latin Modern,
+
+$\symsfup{ABCDEFGHIJKLM abcdefghijk}\quad\symsfit{NOPQRSTUVWXYZ mnopqrstuvwxyz}$
+
+  but it can be borrowed from another Math font, i.e.
+\begin{verbatim}
+\setmathfont{STIXTwoMath-Regular.otf}[range={sfup,sfit},
+                                      Scale=MatchUppercase]
+$\symsfup{ABCD...klm}\quad\symsfit{NOPQ...xyz}$
+\end{verbatim}
+\setmathfont{STIXTwoMath-Regular.otf}[range={sfup,sfit},Scale=MatchUppercase]
+$\symsfup{ABCDEFGHIJKLM abcdefghijklm}\quad
+    \symsfit{NOPQRSTUVWXYZ nopqrstuvwxyz}$
+
+\item Typewriter alphabet is borrowed from Latin Modern,
+
+  $\symtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz}$
+
+but it can be borrowed from  another Math font, i.e.
+\begin{verbatim}
+\setmathfont{STIXTwoMath-Regular.otf}[range=tt,
+                                      Scale=MatchUppercase]
+$\symtt{ABCDE...XYZ abcde...xyz}$
+\end{verbatim}
+\setmathfont{STIXTwoMath-Regular.otf}[range=tt,Scale=MatchUppercase]
+$\symtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz}$
+\end{itemize}
+
+%\item Sans serif and Typewriter alphabets are not implemented
+%  but they can be borrowed from another Math font, i.e.
+%\begin{verbatim}
+%\setmathfont{STIXTwoMath-Regular.otf}[range={sfup,sfit,tt},
+%                            Scale=MatchUppercase]
+%$\symsfup{ABCD...klm}\quad\symsfit{NOPQ...xyz}$
+%$\symtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz}$
+%\end{verbatim}
+%\setmathfont{STIXTwoMath-Regular.otf}[range={sfup,sfit,tt},Scale=MatchUppercase]
+%$\symsfup{ABCDEFGHIJKLM abcdefghijklm}\quad
+%    \symsfit{NOPQRSTUVWXYZ nopqrstuvwxyz}$\\
+%$\symtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ abcdefghijklmnopqrstuvwxyz}$
+%\end{itemize}
+
+Like Latin Modern, XCharter Math provides only four lowercase latin letters in
+script (or calligraphic) shape:  $\mscre$, $\mscrg$, $\ell$, $\mscro$
+(\verb+\mscre+, \verb+\mscrg+, \verb+\ell+, \verb+\mscro+).
+
+All others (range \verb+"1D4B6+ to \verb+"1D4CF+) have to be borrowed
+from another Math font if needed, i.e.
+\begin{verbatim}
+\setmathfont{LibertinusMath-Regular.otf}%
+            [range="1D4B6-"1D4CF, Scale=MatchLowercase]
+\end{verbatim}
+
+\subsection{Missing symbols}
+
+\XCotf{} does not aim at being as complete as \file{STIXTwoMath-Regular} or
+\file{Cambria}, the current glyph coverage compares with TeXGyre Math fonts.
+In case some symbols do not show up in the output file, you will see warnings
+in the \file{.log} file, for instance:
+
+\setmathfont{STIXTwoMath-Regular.otf}[range={"2964}]
+\texttt{Missing character: There is no }$⥤$%
+\texttt{ (U+2964) in font XCharterMath}
+
+Borrowing them from a more complete font, say \file{Asana-Math},
+is a possible workaround:
+\verb+\setmathfont{Asana-Math.otf}[range={"2964},Scale=1.02]+\\
+scaling is possible, multiple character ranges are separated with commas:\\
+\verb+\setmathfont{Asana-Math.otf}[range={"294A-"2951,"2964,"2ABB-"2ABE}]+
+
+Let’s mention \pkg{albatross}, a useful tool to find out the list of fonts
+providing a given glyph: f.i. type in a terminal ``\texttt{albatross U+2964}’’,
+see the manpage or \file{albatross-manual.pdf}.
+
+\section{Acknowledgements}
+
+Many thanks to Michael Sharpe for providing the XCharter text fonts in
+OpenType format.
+
+I am grateful to George Williams and his co-workers for providing and
+maintaining FontForge and to Ulrik Vieth for his illuminating paper published
+in TUGboat~2009 Volume~30 about Open Type Math.
+
+
+\bigskip
+\begin{center}\Huge
+\decotwo
+\end{center}
+
+\end{document}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-engine: luatex
+%%% TeX-master: t
+%%% coding: utf-8
+%%% End:
diff --git a/fonts/xcharter-math/XCharter-Math.otf b/fonts/xcharter-math/XCharter-Math.otf
new file mode 100644
index 0000000000..213ad92581
--- /dev/null
+++ b/fonts/xcharter-math/XCharter-Math.otf
diff --git a/fonts/xcharter-math/XCharter-Math.pdf b/fonts/xcharter-math/XCharter-Math.pdf
new file mode 100644
index 0000000000..b442af90ee
--- /dev/null
+++ b/fonts/xcharter-math/XCharter-Math.pdf
diff --git a/fonts/xcharter-math/unimath-xcharter.ltx b/fonts/xcharter-math/unimath-xcharter.ltx
new file mode 100644
index 0000000000..da9391f114
--- /dev/null
+++ b/fonts/xcharter-math/unimath-xcharter.ltx
@@ -0,0 +1,524 @@
+%%^^A%% unimath-symbols.ltx -- part of UNICODE-MATH <wspr.io/unicode-math>
+%%^^A%% Listing of Unicode mathematics symbols using a variety of fonts.
+
+% !TEX TS-program = LuaLaTeX
+
+%% List of fonts changed (df).
+%%
+%% Changes by David Carlisle: https://github.com/wspr/unicode-math/issues/570
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% SYMBOLS DEFINED BY UNICODE-MATH
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\documentclass[final]{article}
+\makeatletter
+
+\usepackage{ragged2e,setspace,booktabs,catchfile,shortvrb,geometry,metalogo,textcomp,longtable,array,hyperref}
+
+\usepackage{ninecolors}
+\NineColors{saturation=high}
+
+\geometry{margin=24mm}
+\hypersetup{colorlinks,linkcolor=black}
+
+\def\cmd#1{\texttt{\textbackslash\expandafter\@gobble\string#1}}
+
+\usepackage{fontspec}
+\setmainfont{texgyrepagella}%
+ [
+  Extension = .otf ,
+  UprightFont = *-regular,
+  ItalicFont = *-italic,
+  BoldFont = *-bold,
+  BoldItalicFont = *-bolditalic,
+  Ligatures=TeX,
+  Numbers={Lowercase,Monospaced},
+ ]
+\usepackage[math-style=literal,bold-style=literal]{unicode-math}
+
+\ExplSyntaxOn
+\cs_generate_variant:Nn \fontspec_set_fontface:NNnn {c}
+
+\def\FINISH{}
+\newcount\Nfonts
+\def\defmathfont#1#2#3#4{
+  \Nfonts=\numexpr\Nfonts+1\relax
+  \tl_set:cn {L#1} {#4}
+  \newcounter{#1}
+  \setcounter{#1}{-1}
+  \setmathfont[version=#1,SizeFeatures={
+      {Size=-10, Colour=999999},
+      {Size=10-, Colour=#3}}]{#2}
+  \fontspec_set_fontface:cNnn {#1} \x {ItalicFont={},BoldFont={}} {#2}
+  \tl_gput_right:Nn \FINISH {
+    \refstepcounter{#1}\label{count:#1}
+  }
+}
+\ExplSyntaxOff
+
+\defmathfont{lm}{latinmodern-math.otf}{red5}{M}
+\defmathfont{stix}{STIXTwoMath-Regular.otf}{green5}{S}
+\defmathfont{erewhon}{Erewhon-Math.otf}{brown5}{E}
+\defmathfont{xcharter}{XCharter-Math.otf}{violet5}{X}
+\defmathfont{pagella}{texgyrepagella-math.otf}{cyan5}{P}
+%\defmathfont{dejavu}{texgyredejavu-math.otf}{violet5}{D}
+\defmathfont{libertinus}{LibertinusMath-Regular.otf}{yellow5}{L}
+\defmathfont{garamond}{Garamond-Math.otf}{magenta5}{G}
+
+\def\INPUT{\input{unicode-math-table.tex}}
+\def\TABLE{%
+\par\noindent
+\setlength\tabcolsep{5pt}%
+\begin{longtable}[l]{@{}l *{\Nfonts}{c} lp{100pt}@{}}
+  \toprule
+  \textsc{usv} & \Llm & \Lstix & \Lerewhon & \Lxcharter & \Lpagella & \Llibertinus
+  & \Lgaramond & Macro & Description \\
+  \midrule \endhead
+  \INPUT\\
+  \bottomrule
+\end{longtable}
+}
+\makeatletter
+\def\USV#1{\footnotesize\scshape\MakeLowercase{u+\@gobble#1}}
+\makeatother
+\def\CMD#1{\footnotesize\cmd#1}
+\def\DESC#1{\vspace{-6pt}%
+  \begin{spacing}{0.5}
+    \RaggedRight\scriptsize #1%
+  \end{spacing}
+}
+
+\newcommand\SHOW[1]{%
+  \def\UnicodeMathSymbol##1##2##3##4{%
+    \def\1{#1}\def\2{##3}%
+    \ifx\1\2\PRINTLINE{##1}{##2}{##4}\fi
+  }%
+  \TABLE
+}
+\ExplSyntaxOn
+\def\PRINTLINE#1#2#3{
+    \def\tempa{
+      \USV{#1} &
+      \SYMB{#2}{lm}{#1} &
+%      \SYMB{#2}{xits}{#1} &
+      \SYMB{#2}{stix}{#1} &
+      \SYMB{#2}{erewhon}{#1} &
+      \SYMB{#2}{xcharter}{#1} &
+      \SYMB{#2}{pagella}{#1} &
+%      \SYMB{#2}{dejavu}{#1} &
+      \SYMB{#2}{libertinus}{#1} &
+      \SYMB{#2}{garamond}{#1} &
+      \CMD{#2}
+      \tl_if_in:NnT \PLAIN {#2}
+        {
+          \makebox[0pt][l]
+            { \color[gray]{0.7} \textsuperscript{\sffamily (p)} }
+        }
+      \tl_if_in:NnT \LTXSYM {#2}
+        {
+          \makebox[0pt][l]
+            { \color[gray]{0.7} \textsuperscript{\sffamily (l)} }
+        }
+      \tl_if_in:NnT \AMSSYMB {#2}
+        {
+          \makebox[0pt][l]
+            { \color[gray]{0.7} \textsuperscript{\sffamily (a)} }
+        }
+      &
+      \DESC{#3} \\
+    }%
+    \expandafter\tempa
+}
+\ExplSyntaxOff
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle#1$%
+  \fi
+}
+
+\def\PLAIN{\alpha\beta\gamma\delta\epsilon\zeta\eta\theta\iota\kappa\lambda\mu\nu\xi\pi\rho\sigma\tau\upsilon\phi\chi\psi\omega\varepsilon\vartheta\varpi\varrho\varsigma\varphi\Gamma\Delta\Theta\Lambda\Xi\Pi\Sigma\Upsilon\Phi\Psi\Omega
+%
+\aleph\hbar\imath\jmath\ell\wp\Re\Im\partial\infty\prime\emptyset\nabla\surd\top\bot\angle\triangle\forall\exists\neg\flat\natural\sharp\clubsuit\diamondsuit\heartsuit\spadesuit
+%
+\coprod\bigvee\bigwedge\biguplus\bigcap\bigcup\int\prod\sum\bigotimes\bigoplus\bigodot\oint\bigsqcup\smallint
+%
+\triangleleft\triangleright\bigtriangleup\bigtriangledown\wedge\land\vee\lor\cap\cup\ddagger\dagger\sqcap\sqcup\uplus\amalg\diamond\bullet\wr\div\odot\oslash\otimes\ominus\oplus\mp\pm\circ\bigcirc\setminus\cdot\ast\times\star\propto\sqsubseteq\sqsupseteq\parallel\mid\dashv\vdash\nearrow\searrow\nwarrow\swarrow\Leftrightarrow\Leftarrow\Rightarrow\neq\ne\lnot\leq\le\geq\ge\succ\prec\approx\succeq\preceq\supset\subset\supseteq\subseteq\in\ni\owns\gg\ll\not\leftrightarrow\leftarrow\gets\rightarrow\to\mapstochar\mapsto\sim\simeq\perp\equiv\asymp\smile\frown\leftharpoonup\leftharpoondown\rightharpoonup\rightharpoondown
+%
+\joinrel\relbar\Relbar\lhook\hookrightarrow\rhook\hookleftarrow\bowtie\models\Longrightarrow\longrightarrow\longleftarrow\Longleftarrow\longmapsto\longleftrightarrow\Longleftrightarrow\iff
+%
+\ldotp\cdotp\colon\ldots\cdots\vdots\ddots
+%
+\acute\grave\ddot\tilde\bar\breve\check\hat\vec\dot\widetilde\widehat
+%
+\overrightarrow\overleftarrow\overbrace\underbrace\lmoustache\rmoustache\lgroup\rgroup\arrowvert\Arrowvert\bracevert\Vert\vert\uparrow\downarrow\updownarrow\Uparrow\Downarrow\Updownarrow\backslash\rangle\langle\rbrace\lbrace\rceil\lceil\rfloor\lfloor\sqrt}
+
+
+\def\LTXSYM{
+\cong
+\notin
+\rightleftharpoons
+\doteq
+\mathring
+}
+
+\def\AMSSYMB{\boxdot\boxplus\boxtimes\square\blacksquare\centerdot\lozenge\blacklozenge\circlearrowright\circlearrowleft\leftrightharpoons\boxminus\Vdash\Vvdash\vDash\twoheadrightarrow\twoheadleftarrow\leftleftarrows\rightrightarrows\upuparrows\downdownarrows\upharpoonright\restriction\downharpoonright\upharpoonleft\downharpoonleft\rightarrowtail\leftarrowtail\leftrightarrows\rightleftarrows\Lsh\Rsh\rightsquigarrow\leftrightsquigarrow\looparrowleft\looparrowright\circeq\succsim\gtrsim\gtrapprox\multimap\therefore\because\doteqdot\Doteq\triangleq\precsim\lesssim\lessapprox\eqslantless\eqslantgtr\curlyeqprec\curlyeqsucc\preccurlyeq\leqq\leqslant\lessgtr\backprime\risingdotseq\fallingdotseq\succcurlyeq\geqq\geqslant\gtrless\vartriangleright\vartriangleleft\trianglerighteq\trianglelefteq\bigstar\between\blacktriangledown\blacktriangleright\blacktriangleleft\vartriangle\blacktriangle\triangledown\eqcirc\lesseqgtr\gtreqless\lesseqqgtr\gtreqqless\Rrightarrow\Lleftarrow\veebar\barwedge\doublebarwedge\measuredangle\sphericalangle\varpropto\smallsmile\smallfrown\Subset\Supset\Cup\doublecup\Cap\doublecap\curlywedge\curlyvee\leftthreetimes\rightthreetimes\subseteqq\supseteqq\bumpeq\Bumpeq\lll\llless\ggg\gggtr\circledS\pitchfork\dotplus\backsim\backsimeq\complement\intercal\circledcirc\circledast\circleddash\lvertneqq\gvertneqq\nleq\ngeq\nless\ngtr\nprec\nsucc\lneqq\gneqq\nleqslant\ngeqslant\lneq\gneq\npreceq\nsucceq\precnsim\succnsim\lnsim\gnsim\nleqq\ngeqq\precneqq\succneqq\precnapprox\succnapprox\lnapprox\gnapprox\nsim\ncong\diagup\diagdown\varsubsetneq\varsupsetneq\nsubseteqq\nsupseteqq\subsetneqq\supsetneqq\varsubsetneqq\varsupsetneqq\subsetneq\supsetneq\nsubseteq\nsupseteq\nparallel\nmid\nshortmid\nshortparallel\nvdash\nVdash\nvDash\nVDash\ntrianglerighteq\ntrianglelefteq\ntriangleleft\ntriangleright\nleftarrow\nrightarrow\nLeftarrow\nRightarrow\nLeftrightarrow\nleftrightarrow\divideontimes\varnothing\nexists\Finv\Game\eth\eqsim\beth\gimel\daleth\lessdot\gtrdot\ltimes\rtimes\shortmid\shortparallel\smallsetminus\thicksim\thickapprox\approxeq\succapprox\precapprox\curvearrowleft\curvearrowright\digamma\varkappa\Bbbk\hslash\backepsilon}
+
+\input{unicode-math.dtx}
+
+\begin{document}
+\MakeShortVerb\|
+\title{Symbols defined by \textsf{unicode-math}}
+\author{Will Robertson}
+\date{Modified (df) to show XCharter Math symbols}
+\maketitle
+
+This document uses the file \texttt{unicode-math-table.tex}
+to print every symbol defined by the \textsf{unicode-math}
+package.
+Use this document to find the command name or the Unicode glyph slot for
+a symbol that you wish to use.
+The following fonts are shown: (with approximate symbol counts)%
+\footnote{Be aware that 48 lowercase latin letters are missing in
+  \textit{Script} and \textit{BoldScript} shapes for both Latin Modern,
+  Erewhon and XCharter, compared to the other four fonts. In addition,
+  XCharter has no lowercase Blackboard Bold (except k).}
+\begin{itemize}
+\item[\Llm] \mathversion{lm} $\mathup{Latin\ Modern\ Math}$ (\ref{count:lm})
+%\item[\Lxits] \mathversion{xits} $\mathup{XITS\ Math}$ (\ref{count:xits})
+\item[\Lstix] \mathversion{stix} $\mathup{STIX\ Two\ Math}$ (\ref{count:stix})
+\item[\Lerewhon] \mathversion{erewhon} $\mathup{Erewhon\ Math}$ (\ref{count:erewhon})
+\item[\Lxcharter] \mathversion{xcharter} $\mathup{XCharter\ Math}$ (\ref{count:xcharter})
+\item[\Lpagella] \mathversion{pagella} $\mathup{TeX\ Gyre\ Pagella\ Math}$ (\ref{count:pagella})
+%\item[\Ldejavu] \mathversion{dejavu} $\mathup{DejaVu\ Math\ TeX\ Gyre}$ (\ref{count:dejavu})
+\item[\Llibertinus] \mathversion{libertinus} $\mathup{Libertinus\ Math}$ (\ref{count:libertinus})
+\item[\Lgaramond] \mathversion{garamond} $\mathup{Garamond\ Math}$ (\ref{count:garamond})
+\end{itemize}
+Symbols defined in Plain \TeX\ are indicated with {\color[gray]{0.6} \textsuperscript{\sffamily (p)}} after their macro name.
+\LaTeX\ follows Plain \TeX, but defines a handful more, indicated with {\color[gray]{0.6} \textsuperscript{\sffamily (l)}}.
+Symbols defined in \textsf{amssymb} are indicated with {\color[gray]{0.6} \textsuperscript{\sffamily (a)}}.
+
+Note that this list of fonts is not intended to be exhaustive but I am happy to add new fonts by request if they are distributed in \TeX\ Live.\footnote{Only a single \TeX\ Gyre Math font is shown here by design as they all largely have the same symbol coverage.}
+
+\tableofcontents
+
+\clearpage
+\section{Opening symbols, \cmd\mathopen}
+\begingroup
+\def\sqrt{\sqrtsign{}}
+\def\cuberoot{\cuberootsign{}}
+\def\fourthroot{\fourthrootsign{}}
+\def\longdivision{\longdivisionsign{}}
+\SHOW\mathopen
+\endgroup
+
+\clearpage
+\section{Closing symbols, \cmd\mathclose}
+\SHOW\mathclose
+
+\section{Fence symbols, \cmd\mathfence}
+\SHOW\mathfence
+
+\clearpage
+\section{Punctuation symbols, \cmd\mathpunct}
+\SHOW\mathpunct
+
+\section{`Over' symbols, \cmd\mathover}
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle #1{\mitx+\mity}$%
+  \fi
+}
+\SHOW\mathover
+\endgroup
+
+\section{`Under' symbols, \cmd\mathunder}
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle #1{\mitx+\mity}$%
+  \fi
+}
+\SHOW\mathunder
+\endgroup
+
+\clearpage
+\section{Accents, \cmd\mathaccent}
+
+Note that accents will only be properly placed if used with an OpenType font with the necessary information.
+
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle#1 \mitx$%
+  \fi
+}
+\SHOW\mathaccent
+\endgroup
+
+% Added (df)
+\section{Accents wide, \cmd\mathaccentwide}
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle#1 {\mitx+\mity}$%
+  \fi
+}
+\SHOW\mathaccentwide
+\endgroup
+
+\section{Bottom accents, \cmd\mathbotaccent}
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle#1 \mitx$%
+  \fi
+}
+\SHOW\mathbotaccent
+\endgroup
+
+% Added (df)
+\section{Bottom accents wide, \cmd\mathbotaccentwide}
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \refstepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle#1 {\mitx+\mity}$%
+  \fi
+}
+\SHOW\mathbotaccentwide
+\endgroup
+
+\clearpage
+\section{Big operators, \cmd\mathop}
+
+Of the operators shown below, a subset need to be flagged by \textsf{unicode-math} for \cmd\nolimits\ adjustments.
+The limits behaviour as specified by \textsf{unicode-math} are shown with grey subscripts and superscripts.
+\begingroup
+\def\SYMB#1#2#3{%
+  \expandafter\iffontchar\csname#2\endcsname #3\relax
+    \stepcounter{#2}%
+    \mathversion{#2}%
+    $\displaystyle#1_0^1$%
+  \fi
+}
+\SHOW\mathop
+\endgroup
+
+%\clearpage
+\section{Binary relations, \cmd\mathbin}
+\SHOW\mathbin
+
+\clearpage
+\section{Ordinary symbols, \cmd\mathord}
+\SHOW\mathord
+
+\clearpage
+\section{Relation symbols, \cmd\mathrel}
+\SHOW\mathrel
+
+\clearpage
+\section{Alphabetical symbols, \cmd\mathalpha}
+
+% first read in all \mathalpha symbols into a variable:
+\ExplSyntaxOn
+\cs_set:Npn \UnicodeMathSymbol #1#2#3#4 {
+  \str_if_eq:nnT {\mathalpha} {#3} {
+    \exp_not:n { \UnicodeMathSymbol {#1}{#2}{#3}{#4} }
+  }
+}
+\CatchFileEdef
+  \ALPHA{unicode-math-table.tex}
+  {\char_set_catcode_space:N \ }
+
+% now each time we print an alphabet we remove the slot;
+% this ensures we won't miss anything
+
+\def\INPUT{\ALPHA}
+\cs_new:Npn \SLOTS #1#2 {
+  \cs_set:Npn \UnicodeMathSymbol ##1##2##3##4 {
+    \bool_lazy_and:nnT
+      { \int_compare_p:n {##1 >= #1} }
+      { \int_compare_p:n {##1 <= #2} }
+      {
+        \PRINTLINE{##1}{##2}{##4}
+      }
+  }
+  \TABLE
+  \cs_set:Npn \UnicodeMathSymbol ##1##2##3##4 {
+    \bool_lazy_or:nnT
+      { \int_compare_p:n {##1 > #2} }
+      { \int_compare_p:n {##1 < #1} }
+      {
+        \exp_not:n { \UnicodeMathSymbol {##1}{##2}{##3}{##4} }
+      }
+  }
+  \edef\ALPHA{\ALPHA}
+}
+
+\ExplSyntaxOff
+
+\subsection{Normal weight}
+
+\subsubsection{Upright Greek, uppercase}
+\SLOTS{"00391}{"003A9}
+
+\subsubsection{Upright Greek, lowercase}
+\SLOTS{"003B1}{"003F5}
+
+\subsubsection{Italic, Latin, uppercase}
+\SLOTS{"1D434}{"1D44D}
+
+\subsubsection{Italic, Latin, lowercase}
+\SLOTS{"1D44E}{"1D467}
+
+\subsubsection{Italic Greek, uppercase}
+\SLOTS{"1D6E2}{"1D6FA}
+
+\subsubsection{Italic Greek, lowercase}
+\SLOTS{"1D6FC}{"1D71B}
+
+\subsubsection{Script, Latin, uppercase}
+\SLOTS{"1D49C}{"1D4B5}
+
+\subsubsection{Script, Latin, lowercase}
+\SLOTS{"1D4B6}{"1D4CF}
+
+\subsubsection{Fraktur, Latin, uppercase}
+\SLOTS{"1D504}{"1D51C}
+
+\subsubsection{Fraktur, Latin, lowercase}
+\SLOTS{"1D51E}{"1D537}
+
+\subsubsection{Blackboard, Latin, uppercase}
+\SLOTS{"1D538}{"1D550}
+
+\subsubsection{Blackboard, Latin, lowercase}
+\SLOTS{"1D552}{"1D56B}
+
+\subsubsection{Sans serif, Latin, uppercase}
+\SLOTS{"1D5A0}{"1D5B9}
+
+\subsubsection{Sans serif, Latin, lowercase}
+\SLOTS{"1D5BA}{"1D5D3}
+
+\subsubsection{Italic sans serif, Latin, uppercase}
+\SLOTS{"1D608}{"1D621}
+
+\subsubsection{Italic sans serif, Latin, lowercase}
+\SLOTS{"1D622}{"1D63B}
+
+\subsubsection{Typewriter, Latin, uppercase}
+\SLOTS{"1D670}{"1D689}
+
+\subsubsection{Typewriter, Latin, lowercase}
+\SLOTS{"1D68A}{"1D6A3}
+
+\subsection{Bold}
+
+\subsubsection{Bold, Latin, uppercase}
+\SLOTS{"1D400}{"1D419}
+
+\subsubsection{Bold, Latin, lowercase}
+\SLOTS{"1D41A}{"1D433}
+
+\subsubsection{Bold Greek, uppercase}
+\SLOTS{"1D6A8}{"1D6C0}
+
+\subsubsection{Bold Greek, lowercase}
+\SLOTS{"1D6C2}{"1D6E1}
+
+\subsubsection{Bold italic, Latin, uppercase}
+\SLOTS{"1D468}{"1D481}
+
+\subsubsection{Bold italic, Latin, lowercase}
+\SLOTS{"1D482}{"1D49B}
+
+\subsubsection{Bold italic Greek, uppercase}
+\SLOTS{"1D71C}{"1D734}
+
+\subsubsection{Bold italic Greek, lowercase}
+\SLOTS{"1D736}{"1D755}
+
+\subsubsection{Bold script, Latin, uppercase}
+\SLOTS{"1D4D0}{"1D4E9}
+
+\subsubsection{Bold script, Latin, lowercase}
+\SLOTS{"1D4EA}{"1D503}
+
+\subsubsection{Bold fraktur, Latin, uppercase}
+\SLOTS{"1D56C}{"1D585}
+
+\subsubsection{Bold fraktur, Latin, lowercase}
+\SLOTS{"1D586}{"1D59F}
+
+\subsubsection{Bold sans serif, Latin, uppercase}
+\SLOTS{"1D5D4}{"1D5ED}
+
+\subsubsection{Bold sans serif, Latin, lowercase}
+\SLOTS{"1D5EE}{"1D607}
+
+\subsubsection{Bold italic sans serif, Latin, uppercase}
+\SLOTS{"1D63C}{"1D655}
+
+\subsubsection{Bold italic sans serif, Latin, lowercase}
+\SLOTS{"1D656}{"1D66F}
+
+\subsubsection{Bold sans serif Greek, uppercase}
+\SLOTS{"1D756}{"1D76E}
+
+\subsubsection{Bold sans serif Greek, lowercase}
+\SLOTS{"1D770}{"1D78F}
+
+\subsubsection{Bold italic sans serif Greek, uppercase}
+\SLOTS{"1D790}{"1D7A8}
+
+\subsubsection{Bold italic sans serif Greek, lowercase}
+\SLOTS{"1D7AA}{"1D7C9}
+
+\subsection{Miscellaneous}
+\def\UnicodeMathSymbol#1#2#3#4{\PRINTLINE{#1}{#2}{#4}}
+\TABLE
+
+\FINISH
+\mbox{}
+\end{document}
+
+\endinput
+
+% /©
+%
+% ------------------------------------------------
+% The UNICODE-MATH package  <wspr.io/unicode-math>
+% ------------------------------------------------
+% This package is free software and may be redistributed and/or modified under
+% the conditions of the LaTeX Project Public License, version 1.3c or higher
+% (your choice): <http://www.latex-project.org/lppl/>.
+% ------------------------------------------------
+% Copyright 2006-2019  Will Robertson, LPPL "maintainer"
+% Copyright 2010-2017  Philipp Stephani
+% Copyright 2011-2017  Joseph Wright
+% Copyright 2012-2015  Khaled Hosny
+% ------------------------------------------------
+%
+% ©/
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: t
+%%% TeX-engine: luatex
+%%% End:
diff --git a/fonts/xcharter-math/unimath-xcharter.pdf b/fonts/xcharter-math/unimath-xcharter.pdf
new file mode 100644
index 0000000000..b6fe24b33b
--- /dev/null
+++ b/fonts/xcharter-math/unimath-xcharter.pdf
diff --git a/fonts/xcharter-math/xcharter-otf.sty b/fonts/xcharter-math/xcharter-otf.sty
new file mode 100644
index 0000000000..049b1654df
--- /dev/null
+++ b/fonts/xcharter-math/xcharter-otf.sty
@@ -0,0 +1,186 @@
+\NeedsTeXFormat{LaTeX2e}[2018/01/01]
+\def\fileversion{0.30}
+\def\filedate{2022-02-16}
+\ProvidesPackage{xcharter-otf}[\filedate\space\fileversion]
+
+% Ensure luatex or xetex engine
+\RequirePackage{iftex}[2019/10/24]
+\RequireTUTeX
+\RequirePackage{unicode-math}
+
+\newopentypefeature{Style}{upint}{ss03}
+\newopentypefeature{Style}{leqslant}{ss04}
+\newopentypefeature{Style}{smaller}{ss05}
+\newopentypefeature{Style}{subsetneq}{ss06}
+\newopentypefeature{Style}{parallelslant}{ss07}
+
+\newcommand*{\XCstore@KV@Option}[2]{%
+  \def\XCot@scale{Scale}\def\XCot@opt{#1}%
+  \ifx\XCot@opt\XCot@scale\XCottoksT={Scale={#2}}\fi
+  \XCottoksM=\expandafter{\the\XCottoksM #1={#2},}}
+
+% Options: forward them to \setmathfont except "tight", "loose" and "no-text".
+\RequirePackage{xkeyval}
+\newtoks\XCottoksT
+\newtoks\XCottoksM
+
+\newif\ifXCot@tight
+\newif\ifXCot@notext
+\DeclareOptionX{no-text}{\XCot@notexttrue}
+\DeclareOptionX{tight}{\XCot@tighttrue}
+\DeclareOptionX{loose}{\XCot@tightfalse}
+\DeclareOptionX{fulloldstyle}{\XCstore@KV@Option{Numbers}{OldStyle}}
+\DeclareOptionX{math-style}{\XCstore@KV@Option{math-style}{#1}}
+\DeclareOptionX{bold-style}{\XCstore@KV@Option{bold-style}{#1}}
+\DeclareOptionX{nabla}{\XCstore@KV@Option{nabla}{#1}}
+\DeclareOptionX{partial}{\XCstore@KV@Option{partial}{#1}}
+\DeclareOptionX{CharacterVariant}{\XCstore@KV@Option{CharacterVariant}{#1}}
+\DeclareOptionX{StylisticSet}{\XCstore@KV@Option{StylisticSet}{#1}}
+\DeclareOptionX{Style}{\XCstore@KV@Option{Style}{#1}}
+\DeclareOptionX{Scale}{\XCstore@KV@Option{Scale}{#1}}
+\ExecuteOptionsX{tight}
+\ProcessOptionsX
+% Math fonts: XCharter-Math
+% Following Joseph Wright in https://tex.stackexchange.com/questions/451
+\begingroup
+  \edef\temp{%
+    \endgroup
+    \noexpand\setmathfont{XCharter-Math.otf}%
+    [\unexpanded\expandafter{\the\XCottoksM}]%
+  }
+  \temp
+%
+\ifXCot@tight
+  \thinmuskip=2mu
+  \medmuskip=2.5mu plus 1mu minus 2.5mu
+  \thickmuskip=3.5mu plus 2.5mu
+\fi
+% Text Serif fonts: XCharter with possible scaling.
+\ifXCot@notext
+\else
+  \setmainfont{XCharter}[\unexpanded\expandafter{\the\XCottoksT}]
+\fi
+
+% Text Sans Serif fonts: default (lmss unless specified)
+% Text Typewriter fonts: default (lmtt unless specified)
+
+\AtBeginDocument{%
+  % XCharter specific math
+  \Umathchardef\Bbbbackslash =        0 0 "E020 \relax
+  \Umathchardef\varemptyset =         0 0 "E021 \relax
+  \Umathchardef\mupvarzero =          0 0 "E022 \relax
+  \Umathchardef\mbfvarzero =          0 0 "E023 \relax
+  \Umathchardef\mupvarvarpi =         0 0 "E032 \relax
+  \Umathchardef\mbfvarpartial =       0 0 "E040 \relax
+  \Umathchardef\mbfvarvarrho =        0 0 "E041 \relax
+  \Umathchardef\mbfvarvarpi =         0 0 "E042 \relax
+  \Umathchardef\mbfvec =              0 0 "E044 \relax
+  \Umathchardef\mbfwp =               0 0 "E045 \relax
+  \Umathchardef\mbfdotlessi =         0 0 "E046 \relax
+  \Umathchardef\mbfdotlessj =         0 0 "E047 \relax
+  \Umathchardef\mbfhbar =             0 0 "E048 \relax
+  \Umathchardef\mbfell =              0 0 "E049 \relax
+  \Umathchardef\mbftriangleleft =     0 0 "E04E \relax
+  \Umathchardef\mbftriangleright =    0 0 "E04F \relax
+  \Umathchardef\mbfitvarpartial =     0 0 "E060 \relax
+  \Umathchardef\mbfitvarvarrho =      0 0 "E061 \relax
+  \Umathchardef\mbfitvarvarpi =       0 0 "E062 \relax
+  \Umathchardef\mbfitwp =             0 0 "E065 \relax
+  \Umathchardef\mbfimath =            0 0 "E066 \relax
+  \Umathchardef\mbfjmath =            0 0 "E067 \relax
+  \Umathchardef\mbfithbar =           0 0 "E068 \relax
+  \Umathchardef\mbfitell =            0 0 "E069 \relax
+  \Umathchardef\varsymbfscrE =        0 0 "E06D \relax
+  \Umathchardef\varsymbfscrQ =        0 0 "E06E \relax
+  \Umathchardef\varsymbfscrT =        0 0 "E06F \relax
+  \Umathchardef\mitvarpartial =       0 0 "E070 \relax
+  \Umathchardef\mitvarvarrho =        0 0 "E071 \relax
+  \Umathchardef\mitvarvarpi =         0 0 "E072 \relax
+  \Umathchardef\mithbar =             0 0 "E078 \relax
+  \Umathchardef\varsymscrE =          0 0 "E07D \relax
+  \Umathchardef\varsymscrQ =          0 0 "E07E \relax
+  \Umathchardef\varsymscrT =          0 0 "E07F \relax
+  \Umathchardef\parallelslant  =      3 0 "E090 \relax
+  \Umathchardef\nparallelslant =      3 0 "E091 \relax
+  \Umathchardef\shortparallelslant =  3 0 "E092 \relax
+  \Umathchardef\nshortparallelslant = 3 0 "E093 \relax
+  \Umathchardef\lesseqslantgtr =      3 0 "E094 \relax
+  \Umathchardef\gtreqslantless =      3 0 "E095 \relax
+  \Umathchardef\lesseqqslantgtr =     3 0 "E096 \relax
+  \Umathchardef\gtreqqslantless =     3 0 "E097 \relax
+  \Umathchardef\nsubseteqq =          3 0 "E0AE \relax
+  \Umathchardef\nsupseteqq =          3 0 "E0AF \relax
+ % \widearc and\overrightarc
+  \newcommand*{\widearc}{\Umathaccent 0 0 "E540 }%
+  \newcommand*{\overrightarc}{\Umathaccent 0 0 "20D5 }%
+  % amssymb
+  \@ifpackageloaded{amssymb}%
+    {\PackageWarning{xcharter-otf}{%
+       XCharter-Math provides all AMS symbols.\MessageBreak
+       Loading amssymb.sty is not advisable.\MessageBreak
+       Reported}%
+    }%
+    {% AMS Symbols not referenced in unicode-math-table.tex
+     % \Umathchardef\<cmd> = <math type> <family> <slot>
+     % <math type> : \mathord=0 \mathrel=3 ; <family>=0
+     \Umathchardef\circledR =       0 0 "24C7 \relax
+     \Umathchardef\circledS =       0 0 "24C8 \relax
+     \Umathchardef\diagup =         0 0 "E0A0 \relax
+     \Umathchardef\diagdown =       0 0 "E0A1 \relax
+     \Umathchardef\shortmid =       3 0 "E0A2 \relax
+     \Umathchardef\shortparallel =  3 0 "E0A3 \relax
+     \Umathchardef\nshortmid =      3 0 "E0A4 \relax
+     \Umathchardef\nshortparallel = 3 0 "E0A5 \relax
+     \Umathchardef\lvertneqq =      3 0 "E0A6 \relax
+     \Umathchardef\gvertneqq =      3 0 "E0A7 \relax
+     \Umathchardef\varsubsetneq =   3 0 "E0AC \relax
+     \Umathchardef\varsupsetneq =   3 0 "E0AD \relax
+     \Umathchardef\varsubsetneqq =  3 0 "E09C \relax
+     \Umathchardef\varsupsetneqq =  3 0 "E09D \relax
+     \Umathchardef\nleqslant =      3 0 "E0A8 \relax
+     \Umathchardef\ngeqslant =      3 0 "E0A9 \relax
+     \Umathchardef\nleqq =          3 0 "E0AA \relax
+     \Umathchardef\ngeqq =          3 0 "E0AB \relax
+     \Umathchardef\npreceq =        3 0 "E098 \relax
+     \Umathchardef\nsucceq =        3 0 "E099 \relax
+     \let\centerdot\cdotp
+     \let\restriction\upharpoonright
+     \let\doteqdot\Doteq
+     \let\doublecup\Cup
+     \let\doublecap\Cap
+     \let\llless\lll
+     \let\gggtr\ggg
+     \let\circlearrowleft\acwopencirclearrow
+     \let\circlearrowright\cwopencirclearrow
+     \let\lozenge\mdlgwhtlozenge
+     \let\blacklozenge\mdlgblklozenge
+     \let\square\mdlgwhtsquare
+     \let\blacksquare\mdlgblksquare
+     \let\dashleftarrow\leftdasharrow
+     \let\dashrightarrow\rightdasharrow
+     \let\ntriangleleft\nvartriangleleft
+     \let\ntriangleright\nvartriangleright
+     \let\varpropto\propto
+     \let\thicksim\sim
+     \let\thickapprox\approx
+     \let\smallsmile\smile
+     \let\smallfrown\frown
+    }%
+  % latexsym
+  \@ifpackageloaded{latexsym}%
+    {\PackageWarning{xcharter-otf}{%
+       XCharter-Math provides all LaTeX symbols.\MessageBreak
+       Loading latexsym.sty is not advisable.\MessageBreak
+       Reported}%
+    }%
+    {\let\lhd\vartriangleleft
+     \let\rhd\vartriangleright
+     \let\unlhd\trianglelefteq
+     \let\unrhd\trianglerighteq
+     \let\leadsto\rightcurvedarrow
+     \let\Box\lgwhtsquare
+     \let\Diamond\mdlgwhtdiamond
+    }%
+}
+
+\endinput