old-arrows (25aug15)

git-svn-id: svn://tug.org/texlive/trunk@38204 c570f23f-e606-0410-a88d-b1316a301751

51 files changed, 1407 insertions, 1 deletions

diff --git a/Master/texmf-dist/doc/fonts/old-arrows/README.md b/Master/texmf-dist/doc/fonts/old-arrows/README.md
new file mode 100644
index 00000000000..eda935bc420
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/old-arrows/README.md
@@ -0,0 +1,34 @@
+The old-arrows package
+-----------------------------------
+Version: 1.0
+Date: 2015-08-15
+-----------------------------------
+copyright 2015 by Riccardo Dossena
+
+This package provides cm old-style arrows with smaller arrowheads,
+associated with ordinary LaTeX commands. It can be used in a document
+that contains other amsmath arrows characters, like \twoheadrightarrow,
+that also have small arrowheads. The option `new' allows to use the
+usual new-style cm arrows together with the old-style ones:
+simply put \var before every arrows command.
+
+This work may be distributed and/or modified under the
+conditions of the LaTeX Project Public License, either version 1.3
+of this license or (at your option) any later version.
+The latest version of this license is in
+   http://www.latex-project.org/lppl.txt
+and version 1.3 or later is part of all distributions of LaTeX
+version 2005/12/01 or later.
+
+This work has the LPPL maintenance status `maintained'.
+
+The Current Maintainer of this work is Riccardo Dossena
+(riccardo.dossena@gmail.com)
+
+Old Arrows fonts were derived from an old version of
+Blue Sky Computer Modern Math Symbols (1991-1992, released by AMS)
+by deleting many characters with FontForge.
+Old Arrows Font Software is licensed under the SIL Open
+Font License, Version 1.1.
+
+
diff --git a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.pdf b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.pdf
new file mode 100644
index 00000000000..cae68b2cbc8
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.pdf
diff --git a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.tex b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.tex
new file mode 100644
index 00000000000..a8fc8402a76
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.tex
@@ -0,0 +1,330 @@
+%% start of file `old-arrows.tex'.
+%% Copyright 2015 Riccardo Dossena (riccardo.dossena@gmail.com).
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License version 1.3c,
+% available at http://www.latex-project.org/lppl/.
+%%
+% !TEX encoding = UTF-8
+% !TEX program = pdflatex
+\documentclass[11pt,a4paper]{ltxdoc}
+
+\usepackage[utf8]{inputenc}
+\usepackage[italian]{babel}
+\usepackage{amsmath,amssymb,amsthm}
+\usepackage[shortlabels]{enumitem}
+\usepackage[new]{old-arrows}
+\usepackage[margin=3.3cm,footskip=20pt]{geometry}
+\usepackage[colorlinks=true]{hyperref}
+\usepackage[all]{hypcap} % needed to help hyperlinks direct correctly;
+
+\def\fileversion{1.0}
+\def\filedate{15 agosto 2015}
+
+%Logo per MiKTeX e TeXLive
+\newcommand{\MiKTeX}{MiK\TeX}
+\newcommand{\TeXLive}{\mbox{\TeX\ Live}}
+%
+%
+% Symbol Entry for Math Symbol Tables
+%
+\newcommand{\X}[1]{$#1$&\texttt{\string#1}\hspace*{1ex}}
+
+\newcommand{\W}[2]{$#1{#2}$&
+  \texttt{\string#1}\texttt{\string{\string#2\string}}\hspace*{1ex}}
+
+\theoremstyle{remark}
+\newtheorem*{nota}{Nota}
+
+% Mathsymbol Table
+\newsavebox{\symbbox}
+\newenvironment{symbols}[1]%
+{\par\vspace*{2ex}
+\renewcommand{\arraystretch}{1.1}
+\begin{lrbox}{\symbbox}
+\hspace*{4ex}\begin{tabular}{@{}#1@{}}}%
+{\end{tabular}\end{lrbox}\makebox[\textwidth]{\usebox{\symbbox}}\par\medskip}
+
+%Per l'esempio senza amsmath
+\makeatletter
+\def\overrightfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \rightfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\overleftfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \leftfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}%
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\varoverrightfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \varrightfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\varoverleftfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \varleftfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}%
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\rightfrecciafill{$\m@th\smash-\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\mathord\rightarrow$}
+\def\leftfrecciafill{$\m@th\mathord\leftarrow\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\smash-$}
+\def\varrightfrecciafill{$\m@th\smash-\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\mathord\varrightarrow$}
+\def\varleftfrecciafill{$\m@th\mathord\varleftarrow\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\smash-$}
+\makeatother
+
+\begin{document}
+
+\title{Il pacchetto \textsf{old-arrows}}
+\author{Riccardo Dossena\thanks{%
+E-mail: \href{mailto:riccardo.dossena@gmail.com}{\tt riccardo.dossena@gmail.com}}}
+\date{Versione \fileversion, \filedate}
+
+\frenchspacing
+
+\maketitle
+
+\begin{abstract}
+Questo pacchetto rende disponibili le frecce Computer Modern vecchio stile ($\rightarrow$), con una punta più stretta, associate agli usuali comandi \LaTeX. Può essere usato in un documento che prevede altri tipi di frecce definite dal pacchetto \texttt{amsmath}, come $\twoheadrightarrow$, che similmente presentano una punta stretta. È possibile usare le frecce Computer Modern nuovo stile ($\varrightarrow$) insieme a quelle vecchio stile.
+\end{abstract}
+
+\tableofcontents
+
+\section{Introduzione}
+
+ Nel 1992 Donald E. Knuth introdusse diverse correzioni significative ai font \foreignlanguage{english}{Computer Modern}\footnote{Vedi \url{http://www-cs-faculty.stanford.edu/~uno/cm.html}}. In seguito a tali aggiustamenti, i caratteri corrispondenti alle frecce risultarono modificati. Per intenderci, da
+\[
+A \to B
+\]
+si era passati a
+\[
+A \varto B
+\]
+cioè il carattere $\to$ era stato sostituito da $\varto$, che presenta una punta più larga. Lo stesso avvenne per altri caratteri affini. Tuttavia, molti altri caratteri definiti da \texttt{amssymb}, come $\nrightarrow$, $\rightarrowtail$, $\twoheadrightarrow$ e altri ancora, hanno mantenuto una punta piccola e appaiono molto dissimili da $\varto$.
+
+Il pacchetto \texttt{old-arrows}, con la famiglia di font Old Arrows, consente di usare le frecce vecchio stile $\to$, $\gets$~\ldots, associandole ai comandi tradizionali \verb|\rightarrow|, \verb|\leftarrow|\ldots\ Inoltre, l'opzione \texttt{new} permette di ottenere simultaneamente le frecce nuovo stile $\varto$, $\vargets$ \ldots, semplicemente anteponendo  \verb|\var| ai comandi corrispondenti (ad es.~\verb|\varrightarrow|, \verb|\varleftarrow|\ldots).
+
+La famiglia di font Old Arrows deriva da una vecchia versione dei \foreignlanguage{english}{Blue Sky Computer Modern Math Symbols} (1991-1992, rilasciati da AMS) tramite la cancellazione con FontForge di diversi caratteri.
+
+\section{Licenze}
+
+Il codice \LaTeX\ di questo pacchetto è rilasciato sotto la \LaTeX\ Project Public License, v1.3.
+
+I font di questo pacchetto sono rilasciati sotto la SIL Open Font License, v1.1.
+
+\section{Installazione}
+
+\subsection{Copiare i file nell'albero locale}
+
+I file della famiglia Old Arrows sono:
+
+\begin{center}
+\begin{tabular}{p{3cm}p{3cm}p{3cm}l}
+\hline
+\texttt{oasy5.afm}   & \texttt{oasy5.pfm}   & \texttt{oasy5.tfm}   &  \texttt{oasy5.pfb}   \\
+\texttt{oasy6.afm}   & \texttt{oasy6.pfm}   & \texttt{oasy6.tfm}   &  \texttt{oasy6.pfb}   \\
+\texttt{oasy7.afm}   & \texttt{oasy7.pfm}   & \texttt{oasy7.tfm}   &  \texttt{oasy7.pfb}   \\
+\texttt{oasy8.afm}   & \texttt{oasy8.pfm}   & \texttt{oasy8.tfm}   &  \texttt{oasy8.pfb}   \\
+\texttt{oasy9.afm}   & \texttt{oasy9.pfm}   & \texttt{oasy9.tfm}   &  \texttt{oasy9.pfb}   \\
+\texttt{oasy10.afm}  & \texttt{oasy10.pfm}  & \texttt{oasy10.tfm}  &  \texttt{oasy10.pfb}  \\
+\texttt{oabsy5.afm}  & \texttt{oabsy5.pfm}  & \texttt{oabsy5.tfm}  &  \texttt{oabsy5.pfb}  \\
+                     &                      & \texttt{oabsy6.tfm}  &                       \\
+\texttt{oabsy7.afm}  & \texttt{oabsy7.pfm}  & \texttt{oabsy7.tfm}  &  \texttt{oabsy7.pfb}  \\
+                     &                      & \texttt{oabsy8.tfm}  &                       \\
+                     &                      & \texttt{oabsy9.tfm}  &                       \\
+\texttt{oabsy10.afm} & \texttt{oabsy10.pfm} & \texttt{oabsy10.tfm} &  \texttt{oabsy10.pfb} \\
+\hline
+\end{tabular}
+\end{center}
+
+Questi file derivano dai font \texttt{cmbsy5}, \texttt{cmbsy7}, \texttt{cmbsy10}, \texttt{cmsy5}, \texttt{cmsy7}, \texttt{cmsy8}, \texttt{cmsy9} e \texttt{cmsy10} della famiglia Computer Modern.
+
+Indichiamo con \texttt{<localtexmf>} la radice dell'albero locale. Nelle distribuzioni \TeXLive\ essa si trova generalmente in \texttt{/usr/local/texlive/texmf-local}; nella distribuzione \MiKTeX\ può essere invece impostata in qualsiasi directory, mediante la scheda \textsf{Roots} delle ``\MiKTeX\ Options''.
+
+\begin{enumerate}
+\item Copiare i file \texttt{*.afm} e \texttt{*.tfm} nelle corrispondenti directory \texttt{old-arrows} (che devono essere create, come mostrato di seguito):
+    \begin{verbatim}
+    <localtexmf>/fonts/afm/old-arrows
+    <localtexmf>/fonts/tfm/old-arrows
+    \end{verbatim}
+
+\item Copiare i file \texttt{*.pfb} e \texttt{*.pfm} nella directory
+    \begin{verbatim}
+    <localtexmf>/fonts/type1/old-arrows
+    \end{verbatim}
+
+\item Copiare i file \texttt{oasy.enc} e \texttt{oasy.map}, rispettivamente, nelle directory
+    \begin{verbatim}
+    <localtexmf>/fonts/enc/dvips/old-arrows
+    <localtexmf>/fonts/map/dvips/old-arrows
+    \end{verbatim}
+
+\item Copiare il file \texttt{old-arrows.sty} nella directory
+    \begin{verbatim}
+    <localtexmf>/tex/latex/old-arrows
+    \end{verbatim}
+\end{enumerate}
+
+\subsection{Aggiornare il database dei nomi dei file}\label{agg-database-file}
+
+\begin{description}[font=\bfseries\sffamily, leftmargin=5em, style=sameline]
+\item[\MiKTeX] Nella scheda \textsf{General} delle ``MiKTeX Options (Admin)'' cliccare sul pulsante \textsf{Refresh~FNDB}. In alternativa, eseguire dalla linea di comando DOS
+    \begin{verbatim}
+    initexmf --update-fndb
+    \end{verbatim}
+
+\item[\TeXLive] Avviare il ``\TeXLive\ Manager''. Dal menu \textsf{Actions} selezionare \foreignlanguage{english}{\textsf{Update filename database}}. In alternativa, eseguire dalla linea di comando di un terminale
+    \begin{verbatim}
+    mktexlsr
+    \end{verbatim}
+\end{description}
+
+\subsection{Aggiornare i font map file}
+
+\begin{description}[font=\bfseries\sffamily, leftmargin=5em, style=sameline]
+\item[\MiKTeX]
+Per aggiornare il file di configurazione \texttt{updmap.cfg}, eseguire dalla linea di comando DOS
+\begin{verbatim}
+    initexmf --edit-config-file updmap
+\end{verbatim}
+aggiungere al file \texttt{updmap.cfg} (che verrà aperto) la seguente linea
+\begin{verbatim}
+    Map oasy.map
+\end{verbatim}
+salvare, chiudere ed eseguire (sempre dalla linea di comando DOS)
+\begin{verbatim}
+    initexmf --mkmaps
+\end{verbatim}
+
+\item[\TeXLive]
+Eseguire dalla linea di comando del terminale
+\begin{verbatim}
+    updmap-sys --enable Map=oasy.map
+\end{verbatim}
+\end{description}
+È possibile che a questo punto si renda necessario un nuovo aggiornamento del database dei nomi dei file (vedi~\ref{agg-database-file}). Eseguirlo in ogni caso per sicurezza.
+
+\section{Come usare il pacchetto \textsf{old-arrows}}
+
+\subsection{Uso di base}
+
+È sufficiente scrivere nel preambolo del proprio documento \LaTeX\
+\begin{verbatim}
+    \usepackage{old-arrows}
+\end{verbatim}
+e tutti i comandi relativi alle frecce verranno associati alle frecce ``vecchio stile'', come riportato nella tabella~\ref{tab-frecce-vecchie}.
+
+\begin{table}[!htbp]
+\begin{symbols}{*3{cl}}
+ \X{\leftarrow}or \verb|\gets|& \X{\longleftarrow}     & \X{\uparrow}          \\
+ \X{\rightarrow}or \verb|\to|& \X{\longrightarrow}    & \X{\downarrow}        \\
+ \X{\leftrightarrow}    & \X{\longleftrightarrow}& \X{\updownarrow}      \\
+ \X{\mapsto}            & \X{\longmapsto}        & \X{\nearrow}          \\
+ \X{\hookleftarrow}     & \X{\hookrightarrow}    & \X{\searrow}          \\
+ \X{\leftharpoonup}     & \X{\rightharpoonup}    & \X{\swarrow}          \\
+ \X{\leftharpoondown}   & \X{\rightharpoondown}  & \X{\nwarrow}          \\
+\end{symbols}
+\caption{Frecce vecchio stile, disponibili con \texttt{old-arrows}.}\label{tab-frecce-vecchie}
+\end{table}
+
+\subsection{Uso coi pacchetti \texttt{amsmath} e \texttt{lmodern}}
+
+\texttt{old-arrows} non richiede \texttt{amsmath}. In ogni caso, per usarlo insieme al pacchetto \texttt{amsmath}, quest'ultimo deve essere caricato \emph{prima} di \texttt{old-arrows}:
+\begin{verbatim}
+    \usepackage{amsmath}
+    \usepackage{old-arrows}
+\end{verbatim}
+Inoltre, \texttt{old-arrows} è pienamente compatibile coi font Latin Modern, sempre a condizione che il pacchetto \texttt{lmodern} venga caricato \emph{prima} di \texttt{old-arrows}:
+\begin{verbatim}
+    \usepackage{lmodern}
+    \usepackage{amsmath}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+\begin{nota}
+È molto importante che \texttt{old-arrows} venga caricato \emph{dopo} \texttt{amsmath} e \texttt{lmodern}, perché  \texttt{old-arrows} ridefinisce diversi comandi di questi pacchetti. In caso contrario, \texttt{old-arrows} non funzionerà correttamente.
+\end{nota}
+
+Il pacchetto \texttt{amsmath} rende disponibili ulteriori soprassegni, sottosegni (table~\ref{tab-frecce-vecchie-amsmath}) e frecce estendibili (table~\ref{tab-frecce-vecchie-ext}). Da notare che \texttt{amsmath} produce soprassegni leggermente più distanziati dai caratteri, con una resa tipografica migliore. Infatti, i comandi \verb|\overrightarrow{AB}| e \verb|\overlefttarrow{AB}|, senza \texttt{amsmath}, producono rispettivamente
+\[
+\overrightfreccia{AB} \,\text{ anziché }\, \overrightarrow{AB} \qquad \text{e} \qquad \overleftfreccia{AB} \,\text{ anziché }\, \overleftarrow{AB}.
+\]
+I comandi \verb|\rightarrowfill| e \verb|\leftarrowfill| consentono di riempire spazi vuoti con frecce estendibili. Per esempio, il primo comando dato alla fine di questa stessa riga produce \rightarrowfill
+
+\begin{table}[!htbp]
+\begin{symbols}{*3{cl}}
+ \W{\overleftarrow}{AB} & \W{\underleftarrow}{AB}    \\
+ \W{\overrightarrow}{AB} & \W{\underrightarrow}{AB}  \\
+ \W{\overleftrightarrow}{AB} & \W{\underleftrightarrow}{AB} \\
+\end{symbols}
+\caption{Frecce vecchio stile come soprassegni e sottosegni, attivabili \texttt{amsmath}.}\label{tab-frecce-vecchie-amsmath}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\xleftarrow}{ABCDEF} & \W{\xrightarrow}{ABCDEF}          \\
+\end{symbols}
+\caption{Frecce vecchio stile estendibili, attivabili con \texttt{amsmath}.}\label{tab-frecce-vecchie-ext}
+\end{table}
+
+\pagebreak
+
+Infine, il pacchetto \texttt{amsmath} fornisce il comando \verb|\boldsymbol| che rende disponibili i caratteri matematici in grassetto e che può essere utilizzato con \texttt{old-arrows}. Per esempio, i comandi
+\begin{center}
+    \verb|$\boldsymbol{A \to B}$| \quad e \quad \verb|$\boldsymbol{\overrightarrow{AB}}$|
+\end{center}
+producono rispettivamente $\boldsymbol{A \to B}$ e $\boldsymbol{\overrightarrow{AB}}$.
+
+\subsection{L'opzione \textsf{new}}
+
+Caricando \texttt{old-arrows} con l'opzione \texttt{new}
+\begin{verbatim}
+    \usepackage[new]{old-arrows}
+\end{verbatim}
+vengono rese disponibili le frecce nuovo stile contemporaneamente a quelle vecchio stile. Per ottenere le frecce nuovo stile basta anteporre \verb|\var| a tutti i comandi ordinari, come mostrato nelle tabelle~\ref{tab-frecce-nuove}, \ref{tab-frecce-nuove-amsmath} and \ref{tab-frecce-nuove-ext}.
+
+\begin{table}[!htbp]
+\begin{symbols}{*3{cl}}
+ \X{\varleftarrow}or \verb|\vargets|& \X{\varlongleftarrow}     & \X{\varuparrow}          \\
+ \X{\varrightarrow}or \verb|\varto|& \X{\varlongrightarrow}    & \X{\vardownarrow}        \\
+ \X{\varleftrightarrow}    & \X{\varlongleftrightarrow}& \X{\varupdownarrow}      \\
+ \X{\varmapsto}            & \X{\varlongmapsto}        & \X{\varnearrow}          \\
+ \X{\varhookleftarrow}     & \X{\varhookrightarrow}    & \X{\varsearrow}          \\
+ \X{\leftharpoonup}     & \X{\rightharpoonup}    & \X{\varswarrow}          \\
+ \X{\leftharpoondown}   & \X{\rightharpoondown}  & \X{\varnwarrow}          \\
+\end{symbols}
+\caption{Frecce nuovo stile, attivabili con l'opzione \texttt{new}.}\label{tab-frecce-nuove}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\varoverleftarrow}{AB} & \W{\varunderleftarrow}{AB}    \\
+ \W{\varoverrightarrow}{AB} & \W{\varunderrightarrow}{AB}  \\
+ \W{\varoverleftrightarrow}{AB} & \W{\varunderleftrightarrow}{AB} \\
+\end{symbols}
+\caption{Frecce nuovo stile come soprassegni e sottosegni, attivabili con \texttt{amsmath} e l'opzione \texttt{new} di \texttt{old-arrows}.}
+\label{tab-frecce-nuove-amsmath}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\varxleftarrow}{ABCDEF} & \W{\varxrightarrow}{ABCDEF}          \\
+\end{symbols}
+\caption{Frecce nuovo stile estendibili, attivabili con \texttt{amsmath} e l'opzione \texttt{new} di \texttt{old-arrows}.}
+\label{tab-frecce-nuove-ext}
+\end{table}
+
+\pagebreak
+
+Segnaliamo che i comandi
+\begin{center}
+\verb|\leftharpoonup|, \verb|\rightharpoonup|, \verb|\leftharpoondown|, \verb|\rightharpoondown|
+\end{center}
+non sono stati ridefiniti  da \texttt{old-arrows}, perché i corrispondenti caratteri $\leftharpoonup,\rightharpoonup,\leftharpoondown,\rightharpoondown$ non sono stati modificati con l'introduzione del nuovo stile.
+
+I comandi \verb|\varrightarrowfill| e \verb|\varleftarrowfill| permettono di riempire spazi vuoti con frecce estendibili. Il primo comando dato alla fine di questa stessa riga produce \varrightarrowfill
+
+Infine, anche con l'opzione \texttt{new} è possibile usare il comando \verb|\boldsymbol| previsto da \texttt{amsmath}. I seguenti comandi
+\begin{center}
+    \verb|$\boldsymbol{A \varto B}$| \quad e \quad \verb|$\boldsymbol{\varoverrightarrow{AB}}$|
+\end{center}
+producono rispettivamente $\boldsymbol{A \varto B}$ e $\boldsymbol{\varoverrightarrow{AB}}$.
+
+\end{document} 
\ No newline at end of file
diff --git a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.pdf b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.pdf
new file mode 100644
index 00000000000..c829fcc4de6
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.pdf
diff --git a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.tex b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.tex
new file mode 100644
index 00000000000..88c4bb44537
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.tex
@@ -0,0 +1,328 @@
+%% start of file `old-arrows.tex'.
+%% Copyright 2015 Riccardo Dossena (riccardo.dossena@gmail.com).
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License version 1.3c,
+% available at http://www.latex-project.org/lppl/.
+%%
+% !TEX encoding = UTF-8
+% !TEX program = pdflatex
+\documentclass[11pt]{ltxdoc}
+
+\usepackage[english]{babel}
+\usepackage{amsmath,amssymb,amsthm}
+\usepackage[shortlabels]{enumitem}
+\usepackage[new]{old-arrows}
+\usepackage[margin=3.3cm,footskip=20pt]{geometry}
+\usepackage[colorlinks=true]{hyperref}
+\usepackage[all]{hypcap} % needed to help hyperlinks direct correctly;
+
+\def\fileversion{1.0}
+\def\filedate{August 15, 2015}
+
+%Logo per MiKTeX e TeXLive
+\newcommand{\MiKTeX}{MiK\TeX}
+\newcommand{\TeXLive}{\mbox{\TeX\ Live}}
+%
+%
+% Symbol Entry for Math Symbol Tables
+%
+\newcommand{\X}[1]{$#1$&\texttt{\string#1}\hspace*{1ex}}
+
+\newcommand{\W}[2]{$#1{#2}$&
+  \texttt{\string#1}\texttt{\string{\string#2\string}}\hspace*{1ex}}
+
+\theoremstyle{remark}
+\newtheorem*{remark}{Remark}
+
+% Mathsymbol Table
+\newsavebox{\symbbox}
+\newenvironment{symbols}[1]%
+{\par\vspace*{2ex}
+\renewcommand{\arraystretch}{1.1}
+\begin{lrbox}{\symbbox}
+\hspace*{4ex}\begin{tabular}{@{}#1@{}}}%
+{\end{tabular}\end{lrbox}\makebox[\textwidth]{\usebox{\symbbox}}\par\medskip}
+
+%Per l'esempio senza amsmath
+\makeatletter
+\def\overrightfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \rightfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\overleftfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \leftfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}%
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\varoverrightfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \varrightfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\varoverleftfreccia#1{\vbox{\m@th\ialign{##\crcr
+      \varleftfrecciafill\crcr\noalign{\kern-\p@\nointerlineskip}%
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\rightfrecciafill{$\m@th\smash-\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\mathord\rightarrow$}
+\def\leftfrecciafill{$\m@th\mathord\leftarrow\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\smash-$}
+\def\varrightfrecciafill{$\m@th\smash-\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\mathord\varrightarrow$}
+\def\varleftfrecciafill{$\m@th\mathord\varleftarrow\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\smash-$}
+\makeatother
+
+\begin{document}
+
+\title{The \textsf{old-arrows} package}
+\author{Riccardo Dossena\thanks{%
+E-mail: \href{mailto:riccardo.dossena@gmail.com}{\tt riccardo.dossena@gmail.com}}}
+\date{Version \fileversion, released on \filedate}
+
+\maketitle
+
+\begin{abstract}
+This package provides Computer Modern old-style arrows ($\rightarrow$) with smaller arrowheads, associated with
+ordinary \LaTeX\ commands. It can be used in a document that contains
+other \texttt{amsmath} arrow characters, like $\twoheadrightarrow$, that also have small
+arrowheads. It is possible to use the usual new-style Computer Modern arrows ($\varrightarrow$) together with the old-style ones.
+\end{abstract}
+
+\tableofcontents
+
+\section{Introduction}
+
+In 1992, Donald E. Knuth made some important corrections to Computer Modern fonts\footnote{See \url{http://www-cs-faculty.stanford.edu/~uno/cm.html}}. As a consequence, the characters corresponding to arrows have been modified. Just to make things clearer,
+\[
+A \to B
+\]
+became
+\[
+A \varto B
+\]
+ that is, the character $\to$ was replaced by $\varto$, that has a larger arrowhead. The same happened to other arrow characters. However, many arrow characters defined by \texttt{amssymb}, like $\nrightarrow$, $\rightarrowtail$, $\twoheadrightarrow$ and others, maintained a small arrowhead and seem too different from $\varto$.
+
+The \texttt{old-arrows} package with Old Arrows font family allows to use the old-style arrows $\to$, $\gets$~\ldots, with the traditional commands \verb|\rightarrow|, \verb|\leftarrow|\ldots\ Furthermore, the option \texttt{new} allows to obtain simultaneously the new-style arrows $\varto$, $\vargets$ \ldots, just placing  \verb|\var| before the corresponding commands (e.g.,~\verb|\varrightarrow|, \verb|\varleftarrow|\ldots).
+
+Old Arrows font family was derived from an old version of Blue Sky Computer Modern Math Symbols (1991--1992, released by AMS) by deleting many characters with FontForge.
+
+\section{Licenses}
+
+The \LaTeX\ code in this package is licensed under the \LaTeX\ Project Public License, v1.3.
+
+The fonts in this package are licensed under the SIL Open Font License, v1.1.
+
+\section{Installation}
+
+\subsection{Copying the files in the local \texttt{texmf} tree}
+
+The Old Arrows fonts files are:
+
+\begin{center}
+\begin{tabular}{p{3cm}p{3cm}p{3cm}l}
+\hline
+\texttt{oasy5.afm}   & \texttt{oasy5.pfm}   & \texttt{oasy5.tfm}   &  \texttt{oasy5.pfb}   \\
+\texttt{oasy6.afm}   & \texttt{oasy6.pfm}   & \texttt{oasy6.tfm}   &  \texttt{oasy6.pfb}   \\
+\texttt{oasy7.afm}   & \texttt{oasy7.pfm}   & \texttt{oasy7.tfm}   &  \texttt{oasy7.pfb}   \\
+\texttt{oasy8.afm}   & \texttt{oasy8.pfm}   & \texttt{oasy8.tfm}   &  \texttt{oasy8.pfb}   \\
+\texttt{oasy9.afm}   & \texttt{oasy9.pfm}   & \texttt{oasy9.tfm}   &  \texttt{oasy9.pfb}   \\
+\texttt{oasy10.afm}  & \texttt{oasy10.pfm}  & \texttt{oasy10.tfm}  &  \texttt{oasy10.pfb}  \\
+\texttt{oabsy5.afm}  & \texttt{oabsy5.pfm}  & \texttt{oabsy5.tfm}  &  \texttt{oabsy5.pfb}  \\
+                     &                      & \texttt{oabsy6.tfm}  &                       \\
+\texttt{oabsy7.afm}  & \texttt{oabsy7.pfm}  & \texttt{oabsy7.tfm}  &  \texttt{oabsy7.pfb}  \\
+                     &                      & \texttt{oabsy8.tfm}  &                       \\
+                     &                      & \texttt{oabsy9.tfm}  &                       \\
+\texttt{oabsy10.afm} & \texttt{oabsy10.pfm} & \texttt{oabsy10.tfm} &  \texttt{oabsy10.pfb} \\
+\hline
+\end{tabular}
+\end{center}
+
+These files were derived from Computer Modern fonts \texttt{cmbsy5}, \texttt{cmbsy7}, \texttt{cmbsy10}, \texttt{cmsy5}, \texttt{cmsy7}, \texttt{cmsy8}, \texttt{cmsy9} and \texttt{cmsy10}.
+
+Call \texttt{<localtexmf>} the path of your local \texttt{texmf} tree. For \TeXLive, the local tree is usually placed in \texttt{/usr/local/texlive/texmf-local}; for \MiKTeX, it can be set up on any directory, by the \textsf{Roots} tab of ``\MiKTeX\ Options''.
+
+\begin{enumerate}
+\item Copy the \texttt{*.afm} and \texttt{*.tfm} font files into the corresponding \texttt{old-arrows} directories (you have to create them, as shown below):
+    \begin{verbatim}
+    <localtexmf>/fonts/afm/old-arrows
+    <localtexmf>/fonts/tfm/old-arrows
+    \end{verbatim}
+
+\item Copy the \texttt{*.pfb} and \texttt{*.pfm} font files into the directory
+    \begin{verbatim}
+    <localtexmf>/fonts/type1/old-arrows
+    \end{verbatim}
+
+\item Copy the \texttt{oasy.enc} and \texttt{oasy.map} files, respectively, into the directories
+    \begin{verbatim}
+    <localtexmf>/fonts/enc/dvips/old-arrows
+    <localtexmf>/fonts/map/dvips/old-arrows
+    \end{verbatim}
+
+\item Copy the \texttt{old-arrows.sty} file into the directory
+    \begin{verbatim}
+    <localtexmf>/tex/latex/old-arrows
+    \end{verbatim}
+\end{enumerate}
+
+\subsection{Updating the filename database}\label{agg-database-file}
+
+\begin{description}[font=\bfseries\sffamily, leftmargin=5em, style=sameline]
+\item[\MiKTeX] On the \textsf{General} tab of ``MiKTeX Options (Admin)'' click the \textsf{Refresh~FNDB} button. Alternatively, in a DOS command prompt window run
+    \begin{verbatim}
+    initexmf --update-fndb
+    \end{verbatim}
+
+\item[\TeXLive] Start the ``\TeXLive\ Manager''. From \textsf{Actions} menu, select \textsf{Update filename database}. Alternatively, run in a terminal command line
+    \begin{verbatim}
+    mktexlsr
+    \end{verbatim}
+\end{description}
+
+\subsection{Updating the font map files}
+
+\begin{description}[font=\bfseries\sffamily, leftmargin=5em, style=sameline]
+\item[\MiKTeX]
+To update the configuration file \texttt{updmap.cfg}, execute in a DOS command prompt
+\begin{verbatim}
+    initexmf --edit-config-file updmap
+\end{verbatim}
+add to \texttt{updmap.cfg} (that will be opened) the following line
+\begin{verbatim}
+    Map oasy.map
+\end{verbatim}
+save, close and execute (always in the DOS command prompt)
+\begin{verbatim}
+    initexmf --mkmaps
+\end{verbatim}
+
+\item[\TeXLive]
+Execute in a terminal command line
+\begin{verbatim}
+    updmap-sys --enable Map=oasy.map
+\end{verbatim}
+\end{description}
+Finally, it is better to make another update of the filename database (see~\ref{agg-database-file}).
+
+\section{Usage}
+
+\subsection{Basic usage}
+
+Simply type in the preamble of your \LaTeX\ document
+\begin{verbatim}
+    \usepackage{old-arrows}
+\end{verbatim}
+and every arrow command will be associated to the ``old-style'', as indicated in table~\ref{tab-frecce-vecchie}.
+
+\begin{table}[!htbp]
+\begin{symbols}{*3{cl}}
+ \X{\leftarrow}or \verb|\gets|& \X{\longleftarrow}     & \X{\uparrow}          \\
+ \X{\rightarrow}or \verb|\to|& \X{\longrightarrow}    & \X{\downarrow}        \\
+ \X{\leftrightarrow}    & \X{\longleftrightarrow}& \X{\updownarrow}      \\
+ \X{\mapsto}            & \X{\longmapsto}        & \X{\nearrow}          \\
+ \X{\hookleftarrow}     & \X{\hookrightarrow}    & \X{\searrow}          \\
+ \X{\leftharpoonup}     & \X{\rightharpoonup}    & \X{\swarrow}          \\
+ \X{\leftharpoondown}   & \X{\rightharpoondown}  & \X{\nwarrow}          \\
+\end{symbols}
+\caption{Old-style arrows, provided by \texttt{old-arrows}.}\label{tab-frecce-vecchie}
+\end{table}
+
+\subsection{Usage together with \texttt{amsmath} and \texttt{lmodern} packages}
+
+The \texttt{old-arrows} package does not require \texttt{amsmath}. However, if you want to use the \texttt{amsmath} package, you must load it \emph{before} \texttt{old-arrows}:
+\begin{verbatim}
+    \usepackage{amsmath}
+    \usepackage{old-arrows}
+\end{verbatim}
+Moreover, \texttt{old-arrows} is fully compatible with the Latin Modern fonts, always provided that you load the \texttt{lmodern} package \emph{before} \texttt{old-arrows}:
+\begin{verbatim}
+    \usepackage{lmodern}
+    \usepackage{amsmath}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+\begin{remark}
+It is very important that you load \texttt{old-arrows} \emph{after} \texttt{amsmath} and \texttt{lmodern}, because \texttt{old-arrows} redefines many commands provided by these packages. Otherwise, \texttt{old-arrows} won't work properly.
+\end{remark}
+
+The \texttt{amsmath} package makes other over, under (table~\ref{tab-frecce-vecchie-amsmath}) and extensible arrows (table~\ref{tab-frecce-vecchie-ext}) available. Note that \texttt{amsmath} adds more space between the arrow and the characters, with a better typographical result. The commands \verb|\overrightarrow{AB}| and \verb|\overlefttarrow{AB}|, without \texttt{amsmath}, produce respectively
+\[
+\overrightfreccia{AB} \,\text{ rather than }\, \overrightarrow{AB} \qquad \text{and} \qquad \overleftfreccia{AB} \,\text{ rather than }\, \overleftarrow{AB}.
+\]
+The commands \verb|\rightarrowfill| and \verb|\leftarrowfill| allow to fill empty spaces with extensible arrows. For example, the first command at the end of this line gives \rightarrowfill
+
+\begin{table}[!htbp]
+\begin{symbols}{*3{cl}}
+ \W{\overleftarrow}{AB} & \W{\underleftarrow}{AB}    \\
+ \W{\overrightarrow}{AB} & \W{\underrightarrow}{AB}  \\
+ \W{\overleftrightarrow}{AB} & \W{\underleftrightarrow}{AB} \\
+\end{symbols}
+\caption{Old-style over and under arrows provided by \texttt{amsmath}.}\label{tab-frecce-vecchie-amsmath}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\xleftarrow}{ABCDEF} & \W{\xrightarrow}{ABCDEF}          \\
+\end{symbols}
+\caption{Old-style extensible arrows provided by \texttt{amsmath}.}\label{tab-frecce-vecchie-ext}
+\end{table}
+
+Finally, the \texttt{amsmath} package provides the command \verb|\boldsymbol| that allows bold mathematical symbols, which can be used together with \texttt{old-arrows}. For example, the commands
+\begin{center}
+    \verb|$\boldsymbol{A \to B}$| \quad and \quad \verb|$\boldsymbol{\overrightarrow{AB}}$|
+\end{center}
+produce $\boldsymbol{A \to B}$ and $\boldsymbol{\overrightarrow{AB}}$, respectively.
+
+\subsection{The option \textsf{new}}
+
+Loading \texttt{old-arrows} with the option \texttt{new}
+\begin{verbatim}
+    \usepackage[new]{old-arrows}
+\end{verbatim}
+allows to use the new-style and the old-style arrows simultaneously. In order to obtain new-style arrows, just put \verb|\var| before every ordinary command, as shown in tables~\ref{tab-frecce-nuove}, \ref{tab-frecce-nuove-amsmath} and \ref{tab-frecce-nuove-ext}.
+
+\begin{table}[!htbp]
+\begin{symbols}{*3{cl}}
+ \X{\varleftarrow}or \verb|\vargets|& \X{\varlongleftarrow}     & \X{\varuparrow}          \\
+ \X{\varrightarrow}or \verb|\varto|& \X{\varlongrightarrow}    & \X{\vardownarrow}        \\
+ \X{\varleftrightarrow}    & \X{\varlongleftrightarrow}& \X{\varupdownarrow}      \\
+ \X{\varmapsto}            & \X{\varlongmapsto}        & \X{\varnearrow}          \\
+ \X{\varhookleftarrow}     & \X{\varhookrightarrow}    & \X{\varsearrow}          \\
+ \X{\leftharpoonup}     & \X{\rightharpoonup}    & \X{\varswarrow}          \\
+ \X{\leftharpoondown}   & \X{\rightharpoondown}  & \X{\varnwarrow}          \\
+\end{symbols}
+\caption{New-style arrows provided by option \texttt{new}.}\label{tab-frecce-nuove}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\varoverleftarrow}{AB} & \W{\varunderleftarrow}{AB}    \\
+ \W{\varoverrightarrow}{AB} & \W{\varunderrightarrow}{AB}  \\
+ \W{\varoverleftrightarrow}{AB} & \W{\varunderleftrightarrow}{AB} \\
+\end{symbols}
+\caption{New-style over and under arrows provided by \texttt{amsmath} and the option \texttt{new} of \texttt{old-arrows}.}
+\label{tab-frecce-nuove-amsmath}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\varxleftarrow}{ABCDEF} & \W{\varxrightarrow}{ABCDEF}          \\
+\end{symbols}
+\caption{New-style extensible arrows provided by \texttt{amsmath} and the option \texttt{new} of \texttt{old-arrows}.}
+\label{tab-frecce-nuove-ext}
+\end{table}
+
+%\pagebreak
+
+Note that the commands
+\begin{center}
+\verb|\leftharpoonup|, \verb|\rightharpoonup|, \verb|\leftharpoondown|, \verb|\rightharpoondown|
+\end{center}
+have not been redefined by \texttt{old-arrows}, because the corresponding characters $\leftharpoonup,\rightharpoonup,\leftharpoondown,\rightharpoondown$ have not been modified by the introduction of the new-style arrows.
+
+The commands \verb|\varrightarrowfill| and \verb|\varleftarrowfill| allow to fill empty spaces with extensible arrows. The first command at the end of this line gives \varrightarrowfill
+
+Finally, even with the option \texttt{new} it is possibile to use the command \verb|\boldsymbol| provided by \texttt{amsmath}. The following commands
+\begin{center}
+    \verb|$\boldsymbol{A \varto B}$| \quad and \quad \verb|$\boldsymbol{\varoverrightarrow{AB}}$|
+\end{center}
+produce $\boldsymbol{A \varto B}$ and $\boldsymbol{\varoverrightarrow{AB}}$ respectively.
+
+\end{document} 
\ No newline at end of file
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy10.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy10.afm
new file mode 100644
index 00000000000..951cc4b13da
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy10.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:45:42 2015
+FontName OAMathSymbols10-Bold
+FullName OAMathSymbols10-Bold
+FamilyName Old Arrows
+Weight Bold
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 60 -267 1089 767
+StartCharMetrics 12
+C 32 ; WX 1150 ; N shortleftarrow ; B 64 66 1085 435 ;
+C 33 ; WX 1150 ; N shortrightarrow ; B 64 66 1085 435 ;
+C 34 ; WX 575 ; N shortuparrow ; B 78 -194 497 694 ;
+C 35 ; WX 575 ; N shortdownarrow ; B 78 -194 497 694 ;
+C 36 ; WX 1150 ; N arrowboth ; B 64 66 1085 435 ;
+C 37 ; WX 1150 ; N uni2197 ; B 64 -194 1089 697 ;
+C 38 ; WX 1150 ; N uni2198 ; B 64 -197 1089 694 ;
+C 45 ; WX 1150 ; N uni2196 ; B 60 -194 1085 697 ;
+C 46 ; WX 1150 ; N uni2199 ; B 60 -197 1085 694 ;
+C 55 ; WX 0 ; N mapsto ; B 64 53 157 448 ;
+C 108 ; WX 575 ; N arrowupdn ; B 78 -267 497 767 ;
+C 115 ; WX 568 ; N integral ; B 64 -211 632 711 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy5.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy5.afm
new file mode 100644
index 00000000000..22a3ee08939
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy5.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:43:06 2015
+FontName OAMathSymbols5-Bold
+FullName OAMathSymbols5-Bold
+FamilyName Old Arrows
+Weight Bold
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 112 -269 1401 769
+StartCharMetrics 12
+C 32 ; WX 1516 ; N shortleftarrow ; B 114 42 1401 458 ;
+C 33 ; WX 1516 ; N shortrightarrow ; B 114 42 1401 458 ;
+C 34 ; WX 791 ; N shortuparrow ; B 112 -194 678 694 ;
+C 35 ; WX 791 ; N shortdownarrow ; B 112 -194 678 694 ;
+C 36 ; WX 1516 ; N arrowboth ; B 114 42 1401 458 ;
+C 37 ; WX 1516 ; N uni2197 ; B 114 -194 1401 694 ;
+C 38 ; WX 1516 ; N uni2198 ; B 114 -194 1401 694 ;
+C 45 ; WX 1516 ; N uni2196 ; B 114 -194 1401 694 ;
+C 46 ; WX 1516 ; N uni2199 ; B 114 -194 1401 694 ;
+C 55 ; WX 0 ; N mapsto ; B 114 40 240 460 ;
+C 108 ; WX 791 ; N arrowupdn ; B 112 -269 678 769 ;
+C 115 ; WX 745 ; N integral ; B 114 -213 790 713 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy7.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy7.afm
new file mode 100644
index 00000000000..bb5f94dbb52
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oabsy7.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:44:20 2015
+FontName OAMathSymbols7-Bold
+FullName OAMathSymbols7-Bold
+FamilyName Old Arrows
+Weight Bold
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 79 -266 1214 766
+StartCharMetrics 12
+C 32 ; WX 1294 ; N shortleftarrow ; B 79 52 1214 449 ;
+C 33 ; WX 1294 ; N shortrightarrow ; B 79 52 1214 449 ;
+C 34 ; WX 655 ; N shortuparrow ; B 83 -194 572 694 ;
+C 35 ; WX 655 ; N shortdownarrow ; B 83 -194 572 694 ;
+C 36 ; WX 1294 ; N arrowboth ; B 79 52 1214 449 ;
+C 37 ; WX 1294 ; N uni2197 ; B 79 -194 1214 694 ;
+C 38 ; WX 1294 ; N uni2198 ; B 79 -194 1214 694 ;
+C 45 ; WX 1294 ; N uni2196 ; B 79 -194 1214 694 ;
+C 46 ; WX 1294 ; N uni2199 ; B 79 -194 1214 694 ;
+C 55 ; WX 0 ; N mapsto ; B 79 47 188 454 ;
+C 108 ; WX 655 ; N arrowupdn ; B 83 -266 572 766 ;
+C 115 ; WX 639 ; N integral ; B 79 -210 702 710 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oasy10.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy10.afm
new file mode 100644
index 00000000000..d93be746943
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy10.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:45:17 2015
+FontName OAMathSymbols10
+FullName OAMathSymbols10
+FamilyName Old Arrows
+Weight Normal
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 53 -272 946 772
+StartCharMetrics 12
+C 32 ; WX 1000 ; N shortleftarrow ; B 57 72 943 428 ;
+C 33 ; WX 1000 ; N shortrightarrow ; B 56 72 942 428 ;
+C 34 ; WX 500 ; N shortuparrow ; B 72 -194 428 693 ;
+C 35 ; WX 500 ; N shortdownarrow ; B 72 -193 428 694 ;
+C 36 ; WX 1000 ; N arrowboth ; B 57 72 942 428 ;
+C 37 ; WX 1000 ; N uni2197 ; B 56 -193 946 697 ;
+C 38 ; WX 1000 ; N uni2198 ; B 56 -197 946 693 ;
+C 45 ; WX 1000 ; N uni2196 ; B 53 -193 943 697 ;
+C 46 ; WX 1000 ; N uni2199 ; B 53 -197 943 693 ;
+C 55 ; WX 0 ; N mapsto ; B 56 64 124 436 ;
+C 108 ; WX 500 ; N arrowupdn ; B 72 -272 428 772 ;
+C 115 ; WX 416 ; N integral ; B 56 -216 471 716 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oasy5.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy5.afm
new file mode 100644
index 00000000000..fe0b016d1ff
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy5.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:41:45 2015
+FontName OAMathSymbols5
+FullName OAMathSymbols5
+FamilyName Old Arrows
+Weight Normal
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 121 -272 1240 772
+StartCharMetrics 12
+C 32 ; WX 1361 ; N shortleftarrow ; B 125 67 1236 433 ;
+C 33 ; WX 1361 ; N shortrightarrow ; B 125 67 1236 433 ;
+C 34 ; WX 736 ; N shortuparrow ; B 143 -194 593 694 ;
+C 35 ; WX 736 ; N shortdownarrow ; B 143 -194 593 694 ;
+C 36 ; WX 1361 ; N arrowboth ; B 125 67 1236 433 ;
+C 37 ; WX 1361 ; N uni2197 ; B 125 -194 1240 697 ;
+C 38 ; WX 1361 ; N uni2198 ; B 125 -197 1240 694 ;
+C 45 ; WX 1361 ; N uni2196 ; B 121 -194 1236 697 ;
+C 46 ; WX 1361 ; N uni2199 ; B 121 -197 1236 694 ;
+C 55 ; WX 0 ; N mapsto ; B 125 56 216 444 ;
+C 108 ; WX 736 ; N arrowupdn ; B 143 -272 593 772 ;
+C 115 ; WX 631 ; N integral ; B 125 -216 646 716 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oasy6.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy6.afm
new file mode 100644
index 00000000000..6bc551995e2
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy6.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:43:36 2015
+FontName OAMathSymbols6
+FullName OAMathSymbols6
+FamilyName Old Arrows
+Weight Normal
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 90 -271 1131 771
+StartCharMetrics 12
+C 32 ; WX 1222 ; N shortleftarrow ; B 93 68 1128 432 ;
+C 33 ; WX 1222 ; N shortrightarrow ; B 93 68 1128 432 ;
+C 34 ; WX 638 ; N shortuparrow ; B 110 -194 528 694 ;
+C 35 ; WX 638 ; N shortdownarrow ; B 110 -194 528 694 ;
+C 36 ; WX 1222 ; N arrowboth ; B 93 68 1128 432 ;
+C 37 ; WX 1222 ; N uni2197 ; B 93 -194 1131 697 ;
+C 38 ; WX 1222 ; N uni2198 ; B 93 -197 1131 694 ;
+C 45 ; WX 1222 ; N uni2196 ; B 90 -194 1128 697 ;
+C 46 ; WX 1222 ; N uni2199 ; B 90 -197 1128 694 ;
+C 55 ; WX 0 ; N mapsto ; B 93 58 177 442 ;
+C 108 ; WX 638 ; N arrowupdn ; B 110 -271 528 771 ;
+C 115 ; WX 541 ; N integral ; B 93 -215 577 715 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oasy7.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy7.afm
new file mode 100644
index 00000000000..130c775e064
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy7.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:44:00 2015
+FontName OAMathSymbols7
+FullName OAMathSymbols7
+FamilyName Old Arrows
+Weight Normal
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 75 -270 1063 770
+StartCharMetrics 12
+C 32 ; WX 1138 ; N shortleftarrow ; B 78 70 1060 431 ;
+C 33 ; WX 1138 ; N shortrightarrow ; B 78 70 1060 431 ;
+C 34 ; WX 585 ; N shortuparrow ; B 94 -194 491 694 ;
+C 35 ; WX 585 ; N shortdownarrow ; B 94 -194 491 694 ;
+C 36 ; WX 1138 ; N arrowboth ; B 78 70 1060 431 ;
+C 37 ; WX 1138 ; N uni2197 ; B 78 -194 1063 696 ;
+C 38 ; WX 1138 ; N uni2198 ; B 78 -196 1063 694 ;
+C 45 ; WX 1138 ; N uni2196 ; B 75 -194 1060 696 ;
+C 46 ; WX 1138 ; N uni2199 ; B 75 -196 1060 694 ;
+C 55 ; WX 0 ; N mapsto ; B 78 60 158 441 ;
+C 108 ; WX 585 ; N arrowupdn ; B 94 -270 491 770 ;
+C 115 ; WX 493 ; N integral ; B 78 -214 538 714 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oasy8.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy8.afm
new file mode 100644
index 00000000000..16c41489221
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy8.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:44:40 2015
+FontName OAMathSymbols8
+FullName OAMathSymbols8
+FamilyName Old Arrows
+Weight Normal
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 58 -271 1004 771
+StartCharMetrics 12
+C 32 ; WX 1062 ; N shortleftarrow ; B 60 69 1003 431 ;
+C 33 ; WX 1062 ; N shortrightarrow ; B 59 69 1003 431 ;
+C 34 ; WX 531 ; N shortuparrow ; B 74 -194 456 694 ;
+C 35 ; WX 531 ; N shortdownarrow ; B 74 -194 456 694 ;
+C 36 ; WX 1062 ; N arrowboth ; B 60 69 1003 431 ;
+C 37 ; WX 1062 ; N uni2197 ; B 59 -250 1004 695 ;
+C 38 ; WX 1062 ; N uni2198 ; B 59 -195 1004 750 ;
+C 45 ; WX 1062 ; N uni2196 ; B 58 -250 1003 695 ;
+C 46 ; WX 1062 ; N uni2199 ; B 58 -195 1003 750 ;
+C 55 ; WX 0 ; N mapsto ; B 59 61 134 439 ;
+C 108 ; WX 531 ; N arrowupdn ; B 74 -271 456 771 ;
+C 115 ; WX 443 ; N integral ; B 59 -215 502 715 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/afm/public/old-arrows/oasy9.afm b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy9.afm
new file mode 100644
index 00000000000..48d7758541d
--- /dev/null
+++ b/Master/texmf-dist/fonts/afm/public/old-arrows/oasy9.afm
@@ -0,0 +1,30 @@
+StartFontMetrics 2.0
+Comment Generated by FontForge 20150613
+Comment Creation Date: Mon Aug 24 21:44:56 2015
+FontName OAMathSymbols9
+FullName OAMathSymbols9
+FamilyName Old Arrows
+Weight Normal
+Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved.)
+ItalicAngle -14.035
+IsFixedPitch false
+UnderlinePosition 0
+UnderlineThickness 0
+Version 1.0
+EncodingScheme FontSpecific
+FontBBox 55 -272 972 772
+StartCharMetrics 12
+C 32 ; WX 1027 ; N shortleftarrow ; B 57 71 970 430 ;
+C 33 ; WX 1027 ; N shortrightarrow ; B 57 71 970 430 ;
+C 34 ; WX 513 ; N shortuparrow ; B 73 -194 440 694 ;
+C 35 ; WX 513 ; N shortdownarrow ; B 73 -194 440 694 ;
+C 36 ; WX 1027 ; N arrowboth ; B 57 71 970 430 ;
+C 37 ; WX 1027 ; N uni2197 ; B 57 -219 972 696 ;
+C 38 ; WX 1027 ; N uni2198 ; B 57 -196 972 719 ;
+C 45 ; WX 1027 ; N uni2196 ; B 55 -219 970 696 ;
+C 46 ; WX 1027 ; N uni2199 ; B 55 -196 970 719 ;
+C 55 ; WX 0 ; N mapsto ; B 57 63 128 438 ;
+C 108 ; WX 513 ; N arrowupdn ; B 73 -272 440 772 ;
+C 115 ; WX 428 ; N integral ; B 57 -216 484 716 ;
+EndCharMetrics
+EndFontMetrics
diff --git a/Master/texmf-dist/fonts/enc/dvips/old-arrows/oasy.enc b/Master/texmf-dist/fonts/enc/dvips/old-arrows/oasy.enc
new file mode 100644
index 00000000000..aca436b6ea5
--- /dev/null
+++ b/Master/texmf-dist/fonts/enc/dvips/old-arrows/oasy.enc
@@ -0,0 +1,258 @@
+/oamathsymbols[
+ /.notdef		% 0x00
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x10
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /shortleftarrow		% 0x20
+ /shortrightarrow
+ /shortuparrow
+ /shortdownarrow
+ /arrowboth
+ /uni2197
+ /uni2198
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /uni2196
+ /uni2199
+ /.notdef
+ /.notdef		% 0x30
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /mapsto
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x40
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x50
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x60
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /arrowupdn
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x70
+ /.notdef
+ /.notdef
+ /integral
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x80
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0x90
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0xa0
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0xb0
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0xc0
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0xd0
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0xe0
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef		% 0xf0
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+ /.notdef
+] def
diff --git a/Master/texmf-dist/fonts/map/dvips/old-arrows/oasy.map b/Master/texmf-dist/fonts/map/dvips/old-arrows/oasy.map
new file mode 100644
index 00000000000..d29c39a140d
--- /dev/null
+++ b/Master/texmf-dist/fonts/map/dvips/old-arrows/oasy.map
@@ -0,0 +1,12 @@
+oabsy5   OAMathSymbols5-Bold   "oamathsymbols ReEncodeFont" <oasy.enc  <oabsy5.pfb
+oabsy7   OAMathSymbols7-Bold   "oamathsymbols ReEncodeFont" <oasy.enc  <oabsy7.pfb
+oabsy10  OAMathSymbols10-Bold  "oamathsymbols ReEncodeFont" <oasy.enc  <oabsy10.pfb 
+oasy5    OAMathSymbols5        "oamathsymbols ReEncodeFont" <oasy.enc  <oasy5.pfb
+oasy6    OAMathSymbols6        "oamathsymbols ReEncodeFont" <oasy.enc  <oasy6.pfb
+oasy7    OAMathSymbols7        "oamathsymbols ReEncodeFont" <oasy.enc  <oasy7.pfb
+oasy8    OAMathSymbols8        "oamathsymbols ReEncodeFont" <oasy.enc  <oasy8.pfb
+oasy9    OAMathSymbols9        "oamathsymbols ReEncodeFont" <oasy.enc  <oasy9.pfb
+oasy10   OAMathSymbols10       "oamathsymbols ReEncodeFont" <oasy.enc  <oasy10.pfb
+oabsy6   OAMathSymbols7-Bold   "oamathsymbols ReEncodeFont" <oasy.enc  <oabsy7.pfb
+oabsy8   OAMathSymbols7-Bold   "oamathsymbols ReEncodeFont" <oasy.enc  <oabsy7.pfb
+oabsy9   OAMathSymbols10-Bold  "oamathsymbols ReEncodeFont" <oasy.enc  <oabsy10.pfb
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy10.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy10.tfm
new file mode 100644
index 00000000000..7fd46f9bcf3
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy10.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy5.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy5.tfm
new file mode 100644
index 00000000000..2600e02922b
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy5.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy6.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy6.tfm
new file mode 100644
index 00000000000..239dffa4077
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy6.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy7.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy7.tfm
new file mode 100644
index 00000000000..d21f6179001
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy7.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy8.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy8.tfm
new file mode 100644
index 00000000000..93572672367
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy8.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy9.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy9.tfm
new file mode 100644
index 00000000000..1e325447b0c
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oabsy9.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy10.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy10.tfm
new file mode 100644
index 00000000000..375285e4ba4
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy10.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy5.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy5.tfm
new file mode 100644
index 00000000000..8f196137d40
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy5.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy6.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy6.tfm
new file mode 100644
index 00000000000..fbc7d9ac195
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy6.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy7.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy7.tfm
new file mode 100644
index 00000000000..861560e8624
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy7.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy8.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy8.tfm
new file mode 100644
index 00000000000..b9936456517
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy8.tfm
diff --git a/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy9.tfm b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy9.tfm
new file mode 100644
index 00000000000..6d1b2c56739
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/old-arrows/oasy9.tfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy10.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy10.pfb
new file mode 100644
index 00000000000..de2bad6c62f
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy10.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy10.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy10.pfm
new file mode 100644
index 00000000000..2792cd0d97b
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy10.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy5.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy5.pfb
new file mode 100644
index 00000000000..5757e5e3daf
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy5.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy5.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy5.pfm
new file mode 100644
index 00000000000..623e51ed742
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy5.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy7.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy7.pfb
new file mode 100644
index 00000000000..47d9a9d1b60
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy7.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy7.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy7.pfm
new file mode 100644
index 00000000000..120a64b402b
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oabsy7.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy10.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy10.pfb
new file mode 100644
index 00000000000..4775058bd71
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy10.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy10.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy10.pfm
new file mode 100644
index 00000000000..9289b1b7e04
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy10.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy5.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy5.pfb
new file mode 100644
index 00000000000..fa3ac150fb8
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy5.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy5.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy5.pfm
new file mode 100644
index 00000000000..566870133cc
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy5.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy6.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy6.pfb
new file mode 100644
index 00000000000..0f8dbb90a1b
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy6.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy6.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy6.pfm
new file mode 100644
index 00000000000..a769be90091
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy6.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy7.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy7.pfb
new file mode 100644
index 00000000000..d67399beb45
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy7.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy7.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy7.pfm
new file mode 100644
index 00000000000..8145ee0aa87
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy7.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy8.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy8.pfb
new file mode 100644
index 00000000000..e0709f7a475
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy8.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy8.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy8.pfm
new file mode 100644
index 00000000000..f9387d62efd
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy8.pfm
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy9.pfb b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy9.pfb
new file mode 100644
index 00000000000..6d295d0b8d4
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy9.pfb
diff --git a/Master/texmf-dist/fonts/type1/public/old-arrows/oasy9.pfm b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy9.pfm
new file mode 100644
index 00000000000..fe1194f99be
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/old-arrows/oasy9.pfm
diff --git a/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty b/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty
new file mode 100644
index 00000000000..9682143e409
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty
@@ -0,0 +1,171 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% old-arrows.sty. Version: 1.0 - August 15, 2015.
+% Author: Riccardo DOSSENA <riccardo.dossena@gmail.com>
+%
+% This package provides old-style cm arrows with smaller arrowheads,
+% associated with ordinary commands.
+% Use the option `new' if you want to use the new-style
+% cm arrows simultaneously: simply put \var before every command.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%
+% Copyright 2015 R. Dossena
+%
+% This work may be distributed and/or modified under the
+% conditions of the LaTeX Project Public License, either version 1.3
+% of this license or (at your option) any later version.
+% The latest version of this license is in
+%   http://www.latex-project.org/lppl.txt
+% and version 1.3 or later is part of all distributions of LaTeX
+% version 2005/12/01 or later.
+%
+% This work has the LPPL maintenance status `maintained'.
+%
+% The Current Maintainer of this work is R. Dossena.
+%
+%
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{old-arrows}[2015/08/15 v1.0 Old Arrows]
+
+\@ifpackageloaded{lmodern}{%
+\DeclareFontFamily{OMS}{oasy}{\skewchar\font48 }
+\DeclareFontShape{OMS}{oasy}{m}{n}{%
+         <-5.5> oasy5     <5.5-6.5> oasy6
+      <6.5-7.5> oasy7     <7.5-8.5> oasy8
+      <8.5-9.5> oasy9     <9.5->  oasy10
+      }{}
+\DeclareFontShape{OMS}{oasy}{b}{n}{%
+       <-6> oabsy5
+      <6-8> oabsy7
+      <8->  oabsy10
+      }{}
+\relax}{%
+\DeclareFontFamily{OMS}{oasy}{\skewchar\font48 }
+\DeclareFontShape{OMS}{oasy}{m}{n}{%
+      <5><6><7><8><9><10>gen*oasy%
+      <10.95><12><14.4><17.28><20.74><24.88>oasy10%
+      }{}
+\DeclareFontShape{OMS}{oasy}{b}{n}{%
+      <5><6><7><8><9>gen*oabsy%
+      <10><10.95><12><14.4><17.28><20.74><24.88>oabsy10%
+      }{}
+\relax}
+
+\DeclareSymbolFont{oasy}{OMS}{oasy}{m}{n}
+
+\SetSymbolFont{oasy}{normal}{OMS}{oasy}{m}{n}
+\SetSymbolFont{oasy}{bold}{OMS}{oasy}{b}{n}
+
+\DeclareMathSymbol{\leftarrow}          {\mathrel}{oasy}{"20}
+   \let\gets=\leftarrow
+\DeclareMathSymbol{\rightarrow}         {\mathrel}{oasy}{"21}
+   \let\to=\rightarrow
+\DeclareMathSymbol{\leftrightarrow}     {\mathrel}{oasy}{"24}
+\DeclareMathSymbol{\nearrow}            {\mathrel}{oasy}{"25}
+\DeclareMathSymbol{\searrow}            {\mathrel}{oasy}{"26}
+\DeclareMathSymbol{\nwarrow}            {\mathrel}{oasy}{"2D}
+\DeclareMathSymbol{\swarrow}            {\mathrel}{oasy}{"2E}
+\DeclareMathSymbol{\mapstochar}         {\mathrel}{oasy}{"37}
+   \def\mapsto{\mapstochar\rightarrow}
+
+\DeclareMathDelimiter{\uparrow}     {\mathrel}{oasy}{"22}{largesymbols}{"78}
+\DeclareMathDelimiter{\downarrow}   {\mathrel}{oasy}{"23}{largesymbols}{"79}
+\DeclareMathDelimiter{\updownarrow} {\mathrel}{oasy}{"6C}{largesymbols}{"3F}
+
+
+%new style arrows: \var before every command
+\DeclareOption{new}{
+
+\@ifpackageloaded{lmodern}{%
+\DeclareSymbolFont{lmsy}{OMS}{lmsy}{m}{n}
+
+\SetSymbolFont{lmsy}{normal}{OMS}{lmsy}{m}{n}
+\SetSymbolFont{lmsy}{bold}{OMS}{lmsy}{b}{n}
+
+\DeclareMathSymbol{\varleftarrow}{\mathrel}{lmsy}{"20}
+   \let\vargets=\varleftarrow
+\DeclareMathSymbol{\varrightarrow}{\mathrel}{lmsy}{"21}
+   \let\varto=\varrightarrow
+\DeclareMathSymbol{\varleftrightarrow}     {\mathrel}{lmsy}{"24}
+\DeclareMathSymbol{\varnearrow}            {\mathrel}{lmsy}{"25}
+\DeclareMathSymbol{\varsearrow}            {\mathrel}{lmsy}{"26}
+\DeclareMathSymbol{\varnwarrow}            {\mathrel}{lmsy}{"2D}
+\DeclareMathSymbol{\varswarrow}            {\mathrel}{lmsy}{"2E}
+\DeclareMathSymbol{\varmapstochar}         {\mathrel}{lmsy}{"37}
+   \def\varmapsto{\varmapstochar\varrightarrow}
+   \def\varhookrightarrow{\lhook\joinrel\varrightarrow}
+   \def\varhookleftarrow{\varleftarrow\joinrel\rhook}
+
+\DeclareMathDelimiter{\varuparrow}     {\mathrel}{lmsy}{"22}{largesymbols}{"78}
+\DeclareMathDelimiter{\vardownarrow}   {\mathrel}{lmsy}{"23}{largesymbols}{"79}
+\DeclareMathDelimiter{\varupdownarrow} {\mathrel}{lmsy}{"6C}{largesymbols}{"3F}
+\relax}{%
+\DeclareSymbolFont{cmsy}{OMS}{cmsy}{m}{n}
+
+\SetSymbolFont{cmsy}{normal}{OMS}{cmsy}{m}{n}
+\SetSymbolFont{cmsy}{bold}{OMS}{cmsy}{b}{n}
+
+\DeclareMathSymbol{\varleftarrow}{\mathrel}{cmsy}{"20}
+   \let\vargets=\varleftarrow
+\DeclareMathSymbol{\varrightarrow}{\mathrel}{cmsy}{"21}
+   \let\varto=\varrightarrow
+\DeclareMathSymbol{\varleftrightarrow}     {\mathrel}{cmsy}{"24}
+\DeclareMathSymbol{\varnearrow}            {\mathrel}{cmsy}{"25}
+\DeclareMathSymbol{\varsearrow}            {\mathrel}{cmsy}{"26}
+\DeclareMathSymbol{\varnwarrow}            {\mathrel}{cmsy}{"2D}
+\DeclareMathSymbol{\varswarrow}            {\mathrel}{cmsy}{"2E}
+\DeclareMathSymbol{\varmapstochar}         {\mathrel}{cmsy}{"37}
+   \def\varmapsto{\varmapstochar\varrightarrow}
+   \def\varhookrightarrow{\lhook\joinrel\varrightarrow}
+   \def\varhookleftarrow{\varleftarrow\joinrel\rhook}
+
+\DeclareMathDelimiter{\varuparrow}     {\mathrel}{cmsy}{"22}{largesymbols}{"78}
+\DeclareMathDelimiter{\vardownarrow}   {\mathrel}{cmsy}{"23}{largesymbols}{"79}
+\DeclareMathDelimiter{\varupdownarrow} {\mathrel}{cmsy}{"6C}{largesymbols}{"3F}
+\relax}
+
+\def\varoverrightarrow#1{\vbox{\m@th\ialign{##\crcr
+      \varrightarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\varoverleftarrow#1{\vbox{\m@th\ialign{##\crcr
+      \varleftarrowfill\crcr\noalign{\kern-\p@\nointerlineskip}%
+      $\hfil\displaystyle{#1}\hfil$\crcr}}}
+\def\varrightarrowfill{$\m@th\smash-\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\mathord\varrightarrow$}
+\def\varleftarrowfill{$\m@th\mathord\varleftarrow\mkern-7mu%
+  \cleaders\hbox{$\mkern-2mu\smash-\mkern-2mu$}\hfill
+  \mkern-7mu\smash-$}
+
+\DeclareRobustCommand\varlongrightarrow
+     {\relbar\joinrel\varrightarrow}
+\DeclareRobustCommand\varlongleftarrow
+     {\varleftarrow\joinrel\relbar}
+\DeclareRobustCommand
+  \varlongmapsto{\varmapstochar\varlongrightarrow}
+\DeclareRobustCommand
+  \varlongleftrightarrow{\varleftarrow\joinrel\varrightarrow}
+
+%new-style arrows provided by amsmath, if loaded
+\@ifpackageloaded{amsmath}{%
+\def\varleftarrowfill@{\arrowfill@\varleftarrow\relbar\relbar}
+\def\varrightarrowfill@{\arrowfill@\relbar\relbar\varrightarrow}
+\def\varleftrightarrowfill@{\arrowfill@\varleftarrow\relbar\varrightarrow}
+\ams@renewcommand{\varoverrightarrow}{%
+  \mathpalette{\overarrow@\varrightarrowfill@}}
+\ams@renewcommand{\varoverleftarrow}{%
+  \mathpalette{\overarrow@\varleftarrowfill@}}
+\ams@newcommand{\varoverleftrightarrow}{%
+  \mathpalette{\overarrow@\varleftrightarrowfill@}}
+\ams@newcommand{\varunderrightarrow}{%
+  \mathpalette{\underarrow@\varrightarrowfill@}}
+\ams@newcommand{\varunderleftarrow}{%
+  \mathpalette{\underarrow@\varleftarrowfill@}}
+\ams@newcommand{\varunderleftrightarrow}{%
+  \mathpalette{\underarrow@\varleftrightarrowfill@}}
+\newcommand{\varxrightarrow}[2][]{\ext@arrow 0359\varrightarrowfill@{#1}{#2}}
+\newcommand{\varxleftarrow}[2][]{\ext@arrow 3095\varleftarrowfill@{#1}{#2}}
+\relax}{}
+
+}
+\ProcessOptions\relax
+\endinput
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 64c23d94563..1d672e54248 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -402,7 +402,7 @@ my @TLP_working = qw(
   oberdiek objectz obnov
     ocg-p ocgx ocgx2 ocherokee ocr-b ocr-b-outline ocr-latex octavo
     odsfile ofs
-    ogham oinuit oldlatin oldstandard oldstyle
+    ogham oinuit old-arrows oldlatin oldstandard oldstyle
     onlyamsmath onrannual opcit opensans opteng optional
     ordinalpt orkhun oscola ot-tableau othello othelloboard
     oubraces outline outliner outlines overlock overpic
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index efd361fd487..9f3863ed714 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -755,6 +755,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`);
  'ofs',         "&MAKEflatten",
  'ogonek',      "die 'skipping, nonfree license'",
  'oinuit',      "&MAKEflatten",
+ 'old-arrows',	"&MAKEflatten",
  'oldstandard', "&MAKEflatten",
  'omegajapanese',"&MAKEflatten",
  'onepagem',    "die 'skipping, use piff'",
diff --git a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
index 4eea5d5a50e..826d0bfb501 100644
--- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
@@ -109,6 +109,7 @@ depend foekfont
 depend fonetika
 depend fontawesome
 depend fontmfizz
+depend old-arrows
 depend fourier
 depend fouriernc
 depend frcursive
diff --git a/Master/tlpkg/tlpsrc/old-arrows.tlpsrc b/Master/tlpkg/tlpsrc/old-arrows.tlpsrc
new file mode 100644
index 00000000000..2f50013c619
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/old-arrows.tlpsrc
@@ -0,0 +1 @@
+execute addMap oasy.map