\documentclass[a4paper]{article}

\usepackage{pl46-fonts}
\usepackage{url}

\title{PL46 OpenType Fonts}
\author{u6771}
\date{v0.101}

\begin{document}

\maketitle
\tableofcontents

\begin{abstract}
\texttt{pl46-fonts} is an OpenType text and mathematics font package for
Xe\LaTeX{} and Lua\LaTeX{}. It loads PL46 Regular and PL46 Bold as the main
text family, PL46 Mono as the monospaced text font, and PL46 Math as the
mathematics font.

The PL46 fonts are developed at \url{https://github.com/u6771/pl46}.
\end{abstract}

\section{Usage}

Load \texttt{pl46-fonts} with

\begin{verbatim}
\usepackage[<options>]{pl46-fonts}
\end{verbatim}

By default, \texttt{pl46-fonts} selects PL46 Regular as the main text font,
PL46 Bold as its bold face, PL46 Mono as the monospaced text font, and PL46
Math as the mathematics font.

The PL46 font family currently has no italic or bold italic text face. PL46
Mono currently has only a regular face.

\texttt{pl46-fonts} provides the following option:

\begin{description}
\item[\normalfont\texttt{no-text}] Leave the main and monospaced text fonts unchanged
and select only PL46 Math as the mathematics font.
\end{description}

All other options are passed to \texttt{unicode-math}. For example,

\begin{verbatim}
\usepackage[no-text,math-style=ISO]{pl46-fonts}
\end{verbatim}

\texttt{pl46-fonts} requires Xe\LaTeX{} or Lua\LaTeX{} and loads
\texttt{iftex} and \texttt{unicode-math}.

\section{Font Specimens}

The following is a representative selection of PL46 Math. For a complete list of encoded Unicode characters, see \texttt{pl46-fonts-table.pdf}.

\subsection{Examples}

An equation:
\[
\sum_{n=1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6},
\]
and another equation:
\[
\int_{-\infty}^{\infty} e^{-x^2} \, \mathrm{d}x = \sqrt{\pi}.
\]

\subsection{Digits}

\begin{itemize}
\item Digits (\verb|\symup|): \hfill $ \symup{0123456789} $
\item Typewriter Digits (\verb|\symtt|): \hfill $ \symtt{0123456789} $
\item Bold Digits (\verb|\symbf|): \hfill $ \symbf{0123456789} $
\end{itemize}

\subsection{Alphabets}

\begin{itemize}
\item Upright Latin Uppercase (\verb|\symup|):
\[
\symup{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
\]
\item Upright Latin Lowercase (\verb|\symup|):
\[
\symup{abcdefghijklmnopqrstuvwxyz}
\]
\item Upright Greek Uppercase (\verb|\symup|):
\[
\symup{ΑΒΓΔΕΖΗΘΙΚΛΜΝΞΟΠΡΣΤΥΦΧΨΩ}
\]
\item Upright Greek Lowercase (\verb|\symup|):
\[
\symup{αβγδεζηθικλμνξοπρστυφχψω}
\]
\item Italic Latin Lowercase (\verb|\symit|):
\[
\symit{fx}
\]
\item Script Latin Uppercase (\verb|\symscr|):
\[
\symscr{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
\]
\item Fraktur Latin Uppercase (\verb|\symfrak|):
\[
\symfrak{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
\]
\item Fraktur Latin Lowercase (\verb|\symfrak|):
\[
\symfrak{abcdefghijklmnopqrstuvwxyz}
\]
\item Blackboard Latin Uppercase (\verb|\symbb|):
\[
\symbb{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
\]
\item Typewriter Latin Uppercase (\verb|\symtt|):
\[
\symtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
\]
\item Typewriter Latin Lowercase (\verb|\symtt|):
\[
\symtt{abcdefghijklmnopqrstuvwxyz}
\]
\item Bold Latin Uppercase (\verb|\symbf|):
\[
\symbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}
\]
\item Bold Latin Lowercase (\verb|\symbf|):
\[
\symbf{abcdefghijklmnopqrstuvwxyz}
\]
\end{itemize}

\subsection{Delimiters}

\begin{itemize}
\item \verb|()|, \verb|[]|, and \verb|\{\}|:
\[
\Biggl(  \biggl(  \Bigl(  \bigl(   (x)  \bigr)  \Bigr)  \biggr)  \Biggr)  \quad
\Biggl[  \biggl[  \Bigl[  \bigl[   [x]  \bigr]  \Bigr]  \biggr]  \Biggr]  \quad
\Biggl\{ \biggl\{ \Bigl\{ \bigl\{ \{x\} \bigr\} \Bigr\} \biggr\} \Biggr\}
\]
\item \verb|\lceil| (\verb|\rceil|), \verb|\lfloor| (\verb|\rfloor|), and
\verb|\lBrack| (\verb|\rBrack|):
\[
\Biggl\lceil  \biggl\lceil  \Bigl\lceil  \bigl\lceil   \lceil x \rceil  \bigr\rceil  \Bigr\rceil  \biggr\rceil  \Biggr\rceil  \quad
\Biggl\lfloor  \biggl\lfloor  \Bigl\lfloor  \bigl\lfloor   \lfloor x \rfloor  \bigr\rfloor  \Bigr\rfloor  \biggr\rfloor  \Biggr\rfloor  \quad
\Biggl\lBrack  \biggl\lBrack  \Bigl\lBrack  \bigl\lBrack   \lBrack x \rBrack  \bigr\rBrack  \Bigr\rBrack  \biggr\rBrack  \Biggr\rBrack
\]
\item \verb|\langle| (\verb|\rangle|) and \verb|\lAngle| (\verb|\rAngle|):
\[
\Biggl\langle  \biggl\langle  \Bigl\langle  \bigl\langle   \langle x \rangle  \bigr\rangle  \Bigr\rangle  \biggr\rangle  \Biggr\rangle  \quad
\Biggl\lAngle  \biggl\lAngle  \Bigl\lAngle  \bigl\lAngle   \lAngle x \rAngle  \bigr\rAngle  \Bigr\rAngle  \biggr\rAngle  \Biggr\rAngle
\]
\item \verb|\vert| and \verb|\Vert|:
\[
\Biggl\vert  \biggl\vert  \Bigl\vert  \bigl\vert   \vert x \vert  \bigr\vert  \Bigr\vert  \biggr\vert  \Biggr\vert  \quad
\Biggl\Vert  \biggl\Vert  \Bigl\Vert  \bigl\Vert   \Vert x \Vert  \bigr\Vert  \Bigr\Vert  \biggr\Vert  \Biggr\Vert
\]
\end{itemize}

\subsection{Radicals}

\begin{itemize}
\item \verb|\sqrt| and \verb|\sqrt[n]|:
\[
\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{\sqrt{x}}}}}}}} \quad
\sqrt[n]{\sqrt[n]{\sqrt[n]{\sqrt[n]{\sqrt[n]{\sqrt[n]{\sqrt[n]{\sqrt[n]{x}}}}}}}}
\]
\end{itemize}

\subsection{Accents}

\begin{itemize}
\item \verb|\overparen|:
\[
\overparen{x} \quad \overparen{xx} \quad \overparen{xxx} \quad \overparen{xxxx} \quad \overparen{xxxxx} \quad \overparen{x \cdots x}^{n}
\]
\item \verb|\overbracket|:
\[
\overbracket{x} \quad \overbracket{xx} \quad \overbracket{xxx} \quad \overbracket{xxxx} \quad \overbracket{xxxxx} \quad \overbracket{x \cdots x}^{n}
\]
\item \verb|\overbrace|:
\[
\overbrace{x} \quad \overbrace{xx} \quad \overbrace{xxx} \quad \overbrace{xxxx} \quad \overbrace{xxxxx} \quad \overbrace{x \cdots x}^{n}
\]
\item \verb|\underparen|:
\[
\underparen{x} \quad \underparen{xx} \quad \underparen{xxx} \quad \underparen{xxxx} \quad \underparen{xxxxx} \quad \underparen{x \cdots x}_{n}
\]
\item \verb|\underbracket|:
\[
\underbracket{x} \quad \underbracket{xx} \quad \underbracket{xxx} \quad \underbracket{xxxx} \quad \underbracket{xxxxx} \quad \underbracket{x \cdots x}_{n}
\]
\item \verb|\underbrace|:
\[
\underbrace{x} \quad \underbrace{xx} \quad \underbrace{xxx} \quad \underbrace{xxxx} \quad \underbrace{xxxxx} \quad \underbrace{x \cdots x}_{n}
\]
\item \verb|\wideoverbar|:
\[
\wideoverbar{x} \quad \wideoverbar{xx} \quad \wideoverbar{xxx} \quad \wideoverbar{xxxx} \quad \wideoverbar{xxxxx}
\]
\item \verb|\mathunderbar|:
\[
\mathunderbar{x} \quad \mathunderbar{xx} \quad \mathunderbar{xxx} \quad \mathunderbar{xxxx} \quad \mathunderbar{xxxxx}
\]
\item \verb|\overleftharpoon|:
\[
\overleftharpoon{x} \quad \overleftharpoon{xx} \quad \overleftharpoon{xxx} \quad \overleftharpoon{xxxx} \quad \overleftharpoon{xxxxx}
\]
\item \verb|\overrightharpoon|:
\[
\overrightharpoon{x} \quad \overrightharpoon{xx} \quad \overrightharpoon{xxx} \quad \overrightharpoon{xxxx} \quad \overrightharpoon{xxxxx}
\]
\item \verb|\overrightarrow|:
\[
\overrightarrow{x} \quad \overrightarrow{xx} \quad \overrightarrow{xxx} \quad \overrightarrow{xxxx} \quad \overrightarrow{xxxxx}
\]
\item \verb|\widehat|:
\[
\widehat{x} \quad \widehat{xx} \quad \widehat{xxx}
\]
\item \verb|\widecheck|:
\[
\widecheck{x} \quad \widecheck{xx} \quad \widecheck{xxx}
\]
\item \verb|\widetilde|:
\[
\widetilde{x} \quad \widetilde{xx} \quad \widetilde{xxx}
\]
\item \verb|\dot|, \verb|\ddot|, \verb|\dddot|, and \verb|\ddddot|:
\[
\dot{x} \quad \ddot{x} \quad \dddot{x} \quad \ddddot{x}
\]
\item \verb|'|, \verb|''|, \verb|'''|, and \verb|''''|:
\[
x' \quad x'' \quad x''' \quad x''''
\]
\end{itemize}

\subsection{Big Operators}

\begin{itemize}
\item \verb|\prod|, \verb|\coprod|, and \verb|\sum|:
\[
\prod_{i = 0}^{n} \quad \coprod_{i = 0}^{n} \quad \sum_{i = 0}^{n}
\]
\item \verb|\bigcap|, \verb|\bigcup|, \verb|\bigcupdot|, and
\verb|\biguplus|:
\[
\bigcap_{i = 0}^{n} \quad \bigcup_{i = 0}^{n} \quad
\bigcupdot_{i = 0}^{n} \quad \biguplus_{i = 0}^{n}
\]
\item \verb|\bigsqcap|, \verb|\bigsqcup|, \verb|\bigwedge|, and \verb|\bigvee|:
\[
\bigsqcap_{i = 0}^{n} \quad \bigsqcup_{i = 0}^{n} \quad
\bigwedge_{i = 0}^{n} \quad \bigvee_{i = 0}^{n}
\]
\item \verb|\bigodot|, \verb|\bigoplus|, and \verb|\bigotimes|:
\[
\bigodot_{i = 0}^{n} \quad \bigoplus_{i = 0}^{n} \quad
\bigotimes_{i = 0}^{n}
\]
\item \verb|\int|, \verb|\iint|, \verb|\iiint|, and \verb|\iiiint|:
\[
\int_{0}^{1} \quad \iint_{\Omega} \quad \iiint_{\Omega} \quad
\iiiint_{\Omega}
\]
\item \verb|\intclockwise|, \verb|\awint|,\\
\verb|\varointclockwise|, and \verb|\ointctrclockwise|:
\[
\intclockwise_{\Omega} \quad \awint_{\Omega} \quad
\varointclockwise_{\Omega} \quad \ointctrclockwise_{\Omega}
\]
\item \verb|\oint|, \verb|\oiint|, and \verb|\oiiint|:
\[
\oint_{\Omega} \quad \oiint_{\Omega} \quad \oiiint_{\Omega}
\]
\end{itemize}

\subsection{Binary Operators}

\begin{itemize}
\item \verb|+|, \verb|-|, \verb|\times|, and \verb|\div|:
\[
a + b \quad a - b \quad a \times b \quad a \div b
\]
\item \verb|\pm| and \verb|\mp|:
\[
a \pm b \quad a \mp b
\]
\item \verb|\cdot|, \verb|\ast|, \verb|\star|, and \verb|\circ|:
\[
a \cdot b \quad a \ast b \quad a \star b \quad a \circ b
\]
\item \verb|\oplus|, \verb|\ominus|, \verb|\otimes|, and \verb|\oslash|:
\[
A \oplus B \quad A \ominus B \quad A \otimes B \quad A \oslash B
\]
\item \verb|\amalg|, \verb|\fracslash|, \verb|\divslash|, and
\verb|\setminus|:
\[
A \amalg B \quad A \fracslash B \quad A \divslash B \quad A \setminus B
\]
\item \verb|\cap|, \verb|\cup|, \verb|\cupdot|, and \verb|\uplus|:
\[
A \cap B \quad A \cup B \quad A \cupdot B \quad A \uplus B
\]
\item \verb|\sqcap|, \verb|\sqcup|, \verb|\wedge|, and \verb|\vee|:
\[
A \sqcap B \quad A \sqcup B \quad A \wedge B \quad A \vee B
\]
\item \verb|\ltimes|, \verb|\rtimes|, \verb|\leftthreetimes|, and
\verb|\rightthreetimes|:
\[
A \ltimes B \quad A \rtimes B \quad A \leftthreetimes B \quad A \rightthreetimes B
\]
\end{itemize}

\subsection{Ordinary Symbols}

\begin{itemize}
\item \verb|\neg|, \verb|\forall|, and \verb|\exists|:
\[
\neg \quad \forall \quad \exists
\]
\item \verb|\partial|, \verb|\nabla|, and \verb|\increment|:
\[
\partial \quad \nabla \quad \increment
\]
\item \verb|\hbar|, \verb|\imath|, and \verb|\jmath|:
\[
\hbar \quad \imath \quad \jmath
\]
\item \verb|\ell| and \verb|\wp|:
\[
\ell \quad \wp
\]
\item \verb|\flat|, \verb|\natural|, and \verb|\sharp|:
\[
\flat \quad \natural \quad \sharp
\]
\item \verb|\aleph|, \verb|\beth|, \verb|\gimel|, and \verb|\daleth|:
\[
\aleph \quad \beth \quad \gimel \quad \daleth
\]
\end{itemize}

\subsection{Relation Symbols}

\begin{itemize}
\item \verb|<|, \verb|\leq|, and \verb|=|:
\[
a < b \quad a \leq b \quad a = b
\]
\item \verb|\sim|, \verb|\simeq|, and \verb|\cong|:
\[
a \sim b \quad A \simeq B \quad A \cong B
\]
\item \verb|\in|, \verb|\subset|, and \verb|\subseteq|:
\[
a \in A \quad A \subset B \quad A \subseteq B
\]
\item \verb|\mapsto|, \verb|\rightarrow|,\\
\verb|\hookrightarrow|, and \verb|\twoheadrightarrow|:
\[
a \mapsto b \quad A \rightarrow B \quad
A \hookrightarrow B \quad A \twoheadrightarrow B
\]
\item \verb|\implies| and \verb|\iff|:
\[
A \implies B \qquad A \iff B
\]
\end{itemize}

\end{document}
