% !TEX TS-program = pdflatexmk % Template file for TeXShop by Michael Sharpe, LPPL \documentclass[11pt]{article} \usepackage[margin=1in]{geometry} \usepackage[parfill]{parskip}% Begin paragraphs with an empty line rather than an indent \pdfcompresslevel=0 \pdfgentounicode=1 \input glyphtounicode.tex \usepackage[a-1b]{pdfx} \InputIfFileExists{glyphtounicode-cmr.tex}{}{} \InputIfFileExists{glyphtounicode-ntx.tex}{}{} \pdfmapfile{=ScholaX.map} \usepackage{trace} \usepackage{fonttable} %\usepackage{amssymb}% don't use with newtxmath %SetFonts % scholax+newtxmath \usepackage[theoremfont,foresolidus=.05em,aftsolidus=-.11em]{scholax} % use sb in place of bold \usepackage[T1]{fontenc} \usepackage{textcomp} \usepackage[varqu,varl]{zi4}% inconsolata \usepackage{amsmath,amsthm} \usepackage[scaled=1.075,ncf]{newtxmath} % option vvarbb gives you stix blackboard bold %\useosf % use oldstyle figures except in math %SetFonts \newtheoremstyle{oldplain} {\topsep} % ABOVESPACE {\topsep} % BELOWSPACE {\itshape} % BODYFONT {} % INDENT (empty value is the same as 0pt) {\bfseries} % HEADFONT {.} % HEADPUNC {5pt plus 1pt minus 1pt} % HEADSPACE {} % CUSTOM-HEAD-SPEC \theoremstyle{oldplain} \newtheorem{oldthm}{Theorem}[section] %\newtheoremstyle{plain} % {\medskipamount} % ABOVESPACE % {\medskipamount} % BELOWSPACE % {\thfamily} % BODYFONT % {} % INDENT (empty value is the same as 0pt) % {\bfseries} % HEADFONT % {.} % HEADPUNCT % {5pt plus 1pt minus 1pt} % HEADSPACE % {} % CUSTOM-HEAD-SPEC \theoremstyle{plain} \newtheorem{thm}{Theorem}[section] \usepackage{trace} \title{ScholaX} \author{Michael Sharpe} \date{\today} % Activate to display a given date or no date \begin{document} \maketitle \section*{In short} {\tt ScholaX} has a text part and a math support part that is called with an option to {\tt newtxmath}. The text component has many of the options and macros that are part of the {\tt newtxtext} package, but with Times fonts replaced by {\tt TeXGyreScholaX} fonts, the latter being an an extension of the {\tt TeXGyreSchola} fonts which in turn extended the URW rendering of \emph{New Century Schoolbook} that was donated as open source to the Ghostscript project. The font is based on early nineteenth century ``Scotch'' type, whose dominant features are low contrast as compared to, say, Times and Baskerville, and a relatively tall x-height. Its revivals gained popularity because of studies indicating its readability by children leading to its adoption in many texts for that market. Now that I am approaching the age where second childhood is not uncommon, the font is looking more interesting. Slanted and Bold Slanted styles are provided in addition to the basic Regular, Bold, Italic and Bold Italic. \section*{Options and Macros} {\tt scaled, scale:}\\ Rescales every font in the package. E.g., \begin{verbatim} \usepackage[scaled=1.15]{scholax} \end{verbatim} scales everything up by 15\%. {\tt proportional (p)}, {\tt tabular}, {\tt lining}, {\tt osf}:\\ These affect the figure style used in text. The default is {\tt tabular}, {\tt lining}, which is appropriate for math usage, and will be used in math mode no matter how you set the text figure option. E.g., {\tt p,osf} sets the text figure style to {\tt proportional}, {\tt oldstyle}, like \textosf{12345}, but in math mode, figures will always be tabular, lining. The option {\tt osf} has the same effect as the macro \verb|\useosf|, which must occur in the preamble, but after loading {\tt scholax}. A similar macro \verb|\useproportional| makes proportional figures the default outside math mode. {\tt scosf:}\\ This option makes {\tt osf} the default figure style in small cap text. {\tt theoremfont:}\\ This option makes use of a new text font family, {\tt thfamily}, amounting to Italic with upright punctuation glyphs. (This differs from the behavior in earlier packages, which involved redefining the meaning of \verb|\slshape| and substituting it for \verb|\itshape| in the definition of the {\tt plain} theorem style.)\\ {\thfamily This is how the \verb|\thfamily| looks: it is Italic but has upright punctuation symbols :;!? etc. The figures are not changed, but should in many cases be tabular lining figures, accessed using, e.g.,\/} \verb|\texttlf|. There are two ways to make use of \verb|\thfamily| for body text in theorem-like text. \begin{itemize} \item \textbf{(for {\tt amsthm} and {\tt theorem} only)}---add the option {\tt theoremfont} to {\tt scholax}, which will patch the \verb|\th@plain| command which stores the definition of the plain theorem format, replacing \verb|\itshape| by \verb|\thfamily|. Then, in your document preamble, make the usual theorem specifications, like \begin{verbatim} \theoremstyle{plain} \newtheorem{thm}{Theorem}[section] etc \end{verbatim} \item \textbf{(for {\tt ntheorem} only)} The {\tt theoremfont} option has no effect but will cause no harm. %\begin{verbatim} %\newtheoremstyle{plain} % {\medskipamount} % ABOVESPACE % {\medskipamount} % BELOWSPACE % {\thfamily} % BODYFONT <<<<<<<<x)=\exp(-x/\mu)$, $\bigl(x\in A(n)\bigm|x\in B(n)\bigr)$, \quad $\bigcup_n X_n\bigm\|\bigcap_n Y_n$ % page 178 In text matrices $\binom{1\,1}{0\,1}$ and $\bigl(\genfrac{}{}{0pt}{}{a}{1}\genfrac{}{}{0pt}{}{b}{m}\genfrac{}{}{0pt}{}{c}{n}\bigr)$ % page 142 $$a_0+\frac1{\displaystyle a_1 + {\strut \frac1{\displaystyle a_2 + {\strut \frac1{\displaystyle a_3 + {\strut \frac1{\displaystyle a_4}}}}}}}$$ % page 143 $$\binom{p}{2}x^2y^{p-2} - \frac1{1 - x}\frac{1}{1 - x^2} = \frac{a+1}{b}\bigg/\frac{c+1}{d}.$$ %% page 145 $$\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+x}}}}}$$ %% page 147 $$\left(\frac{\partial^2}{\partial x^2} + \frac{\partial^2}{\partial y^2}\right) \bigl|\varphi(x+iy)\bigr|^2=0$$ %% page 149 % $$\pi(n)=\sum_{m=2}^n\left\lfloor\biggl(\sum_{k=1}^{m-1}\bigl % \lfloor(m/k)\big/\lceil m/k\rceil\bigr\rfloor\biggr)^{-1}\right\rfloor.$$ $$\pi(n)=\sum_{m=2}^n\left\lfloor\Biggl(\sum_{k=1}^{m-1}\bigl \lfloor(m/k)\big/\lceil m/k\rceil\bigr\rfloor\Biggr)^{-1}\right\rfloor.$$ % page 168 $$\int_0^\infty \frac{t - i b}{t^2 + b^2}e^{iat}\,dt=e^{ab}E_1(ab), \quad a,b > 0.$$ % page 176 $$\mathbf{A} \coloneq \begin{pmatrix}x-\lambda&1&0\\ 0&x-\lambda&1\\ 0&0&x-\lambda\end{pmatrix}.$$ $$\left\lgroup\begin{matrix}a&b&c\\ d&e&f\\\end{matrix}\right\rgroup \left\lgroup\begin{matrix}u&x\cr v&y\cr w&z\end{matrix}\right\rgroup$$ % page 177 $$\mathbf{A} = \begin{pmatrix}a_{11}&a_{12}&\ldots&a_{1n}\\ a_{21}&a_{22}&\ldots&a_{2n}\\ \vdots&\vdots&\ddots&\vdots\\ a_{m1}&a_{m2}&\ldots&a_{mn}\end{pmatrix}$$ $$\mathbf{M}=\bordermatrix{&C&I&C'\cr C&1&0&0\cr I&b&1-b&0\cr C'&0&a&1-a}$$ %% page 186 $$\sum_{n=0}^\infty a_nz^n\qquad\hbox{converges if}\qquad |z|<\Bigl(\limsup_{n\to\infty}\root n\of{|a_n|}\,\Bigr)^{-1}.$$ $$\frac{f(x+\Delta x)-f(x)}{\Delta x}\to f'(x) \qquad \hbox{as $\Delta x\to0$.}$$ $$\|u_i\|=1,\qquad u_i\cdot u_j=0\quad\hbox{if $i\ne j$.}$$ %% page 191 $$\it\hbox{The confluent image of}\quad \begin{Bmatrix}\hbox{an arc}\hfill\\\hbox{a circle}\hfill\\ \hbox{a fan}\hfill\\\end{Bmatrix} \quad\hbox{is}\quad \begin{Bmatrix}\hbox{an arc}\hfill\\ \hbox{an arc or a circle}\hfill\\ \hbox{a fan or an arc}\hfill\end{Bmatrix}.$$ %% page 191 \begin{align*} T(n)\le T(2^{\lceil\lg n\rceil}) &\le c(3^{\lceil\lg n\rceil}-2^{\lceil\lg n\rceil})\\ &<3c\cdot3^{\lg n}\\ &=3c\,n^{\lg3}. \end{align*} %\begin{align*} %\left\{% %\begin{gathered}\alpha&=f(z)\\ \beta&=f(z^2)\\ \gamma&=f(z^3) %\end{gathered} %\right\} %\qquad %\left\{% %\begin{gathered} %x&=\alpha^2-\beta\\ y&=2\gamma %\end{gathered} %\right\}% %\end{align*} %$$\left\{ %\begin{align} %\alpha&=f(z)\cr \beta&=f(z^2)\cr \gamma&=f(z^3)\\ %%\end{align} %\right\} %\qquad %\left\{ %%\begin{align} %x&=\alpha^2-\beta\cr y&=2\gamma\\ %\end{align} %\right\}.$$ %%% page 192 \begin{align*} \begin{aligned} (x+y)(x-y)&=x^2-xy+yx-y^2\\ &=x^2-y^2\\ (x+y)^2&=x^2+2xy+y^2. \end{aligned} \end{align*} %% page 192 \begin{align*} \begin{aligned} \biggl(\int_{-\infty}^\infty e^{-x^2}\,dx\biggr)^2 &=\int_{-\infty}^\infty\int_{-\infty}^\infty e^{-(x^2+y^2)}\,dx\,dy\\ &=\int_0^{2\pi}\int_0^\infty e^{-r^2}\,dr\,d\theta\\ &=\int_0^{2\pi}\biggl(e^{-\frac{r^2}{2}} \biggl|_{r=0}^{r=\infty}\,\biggr)\,d\theta\\ &=\pi. \end{aligned} \end{align*} %% page 197 $$\prod_{k\ge0}\frac{1}{(1-q^kz)}= \sum_{n\ge0}z^n\bigg/\!\!\prod_{1\le k\le n}(1-q^k).$$ $$\sum_{\substack{\scriptstyle 0< i\le m\\\scriptstyle0