old-arrows (25aug15)

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

5 files changed, 692 insertions, 0 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