old-arrows (12oct15)

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

7 files changed, 507 insertions, 136 deletions

diff --git a/Master/texmf-dist/doc/fonts/old-arrows/README.md b/Master/texmf-dist/doc/fonts/old-arrows/README
index c4eb28f898a..2c4b61741d3 100644
--- a/Master/texmf-dist/doc/fonts/old-arrows/README.md
+++ b/Master/texmf-dist/doc/fonts/old-arrows/README
@@ -1,4 +1,4 @@
-The old-arrows package v1.1 2015/09/10
+The old-arrows package v1.2 2015/10/11
 --------------------------------------------------------------------------
 Riccardo Dossena
 Email: riccardo.dossena@gmail.com
@@ -8,7 +8,7 @@ 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 amssymb arrow characters, like \twoheadrightarrow,
-that also have small arrowheads. The option 'new' allows to use the
+which 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 arrow command.
 
@@ -30,7 +30,6 @@ by deleting many characters with FontForge.
 Old Arrows Font Software is licensed under the SIL Open
 Font License, Version 1.1.
 --------------------------------------------------------------------------
-If you have any ideas, questions, suggestions, feedback or bugs to 
+If you have any ideas, questions, suggestions, feedback or bugs to
 report, please feel free to contact me.
 --------------------------------------------------------------------------
-
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
index c98b28aee95..57488e92c9a 100644
--- a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.pdf
+++ 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
index 3329029bf3d..48cabe6e11b 100644
--- a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.tex
+++ b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows-italian.tex
@@ -10,17 +10,21 @@
 \documentclass[11pt,a4paper]{ltxdoc}
 
 \usepackage[utf8]{inputenc}
-\usepackage[italian]{babel}
+\usepackage[english,italian]{babel}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
 \usepackage{amsmath,amssymb,amsthm}
 \usepackage[shortlabels]{enumitem}
 \usepackage{stmaryrd}
+\usepackage{mathtools}
 \usepackage[new]{old-arrows}
-\usepackage[margin=3.3cm,footskip=20pt]{geometry}
+\usepackage[hmargin=3.3cm,vmargin=3.1cm,footskip=20pt]{geometry}
 \usepackage[colorlinks=true]{hyperref}
 \usepackage[all]{hypcap} % needed to help hyperlinks direct correctly;
+\usepackage[chicago]{ellipsis}
 
-\def\fileversion{1.1}
-\def\filedate{10 settembre 2015}
+\def\fileversion{1.2}
+\def\filedate{11 ottobre 2015}
 
 %Logo per MiKTeX e TeXLive
 \newcommand{\MiKTeX}{MiK\TeX}
@@ -86,14 +90,21 @@ E-mail: \href{mailto:riccardo.dossena@gmail.com}{\tt riccardo.dossena@gmail.com}
 \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{amssymb}, come $\twoheadrightarrow$, che similmente presentano una punta stretta. È possibile usare le frecce Computer Modern nuovo stile ($\varrightarrow$) insieme a quelle vecchio stile.
+Questo pacchetto rende disponibili le frecce Computer Modern vecchio stile~($\rightarrow$), con una punta
+più stretta, associandole agli usuali comandi \LaTeX. Può essere usato in un documento che prevede altri
+tipi di frecce definite dal pacchetto \texttt{amssymb}, 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
+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
 \]
@@ -101,11 +112,20 @@ 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$.
+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).
+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
+(\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.
+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}
 
@@ -115,7 +135,7 @@ I font di questo pacchetto sono rilasciati sotto la SIL Open Font License, v1.1.
 
 \section{Installazione}
 
-\subsection{Copiare i file nell'albero locale}
+\subsection{Copiare i file nell'albero locale del sistema \TeX}
 
 I file della famiglia Old Arrows sono:
 
@@ -138,12 +158,17 @@ I file della famiglia Old Arrows sono:
 \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.
+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''.
+Indichiamo con \texttt{<localtexmf>} la radice dell'albero locale del proprio sistema \TeX. Nelle
+distribuzioni \TeXLive\ si trova in genere in \texttt{/usr/local/texlive/texmf-local}; nella distribuzione
+\MiKTeX\ può essere invece impostata in qualsiasi directory, attraverso 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):
+\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
@@ -169,12 +194,15 @@ Indichiamo con \texttt{<localtexmf>} la radice dell'albero locale. Nelle distrib
 \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
+\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
+\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}
@@ -203,7 +231,8 @@ Eseguire dalla linea di comando del terminale
     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.
+È 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}}
 
@@ -213,45 +242,46 @@ Eseguire dalla linea di comando del terminale
 \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}.
+e tutti i comandi relativi alle frecce verranno associati al ``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}          \\
+ \X{\leftarrow}o \verb|\gets|& \X{\longleftarrow}     & \X{\uparrow}          \\
+ \X{\rightarrow}o \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}, \texttt{lmodern} e \texttt{stmaryrd}}
+I comandi \verb|\rightarrowfill| e \verb|\leftarrowfill| consentono di riempire spazi vuoti con frecce
+estendibili. Per esempio, il primo comando dato alla fine di questo stesso paragrafo produce: 
+\rightarrowfill
 
-\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 con i font Latin Modern e St Mary's Road, sempre a condizione che i relativi pacchetti \texttt{lmodern} e \texttt{stmaryrd} vengano caricati \emph{prima} di \texttt{old-arrows}:
+\subsection{Uso con altri pacchetti}
+
+\subsubsection{\texttt{amsmath}}
+
+Il pacchetto \texttt{old-arrows} non richiede \texttt{amsmath}. In ogni caso, per usarlo insieme ad
+\texttt{amsmath}, quest'ultimo deve essere caricato \emph{prima} di \texttt{old-arrows}:
 \begin{verbatim}
-    \usepackage{lmodern}
     \usepackage{amsmath}
-    \usepackage{stmaryrd}
     \usepackage{old-arrows}
 \end{verbatim}
 
-\begin{nota}
-È molto importante che \texttt{old-arrows} venga caricato \emph{dopo} \texttt{amsmath}, \texttt{stmaryrd} 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 (tabella~\ref{tab-frecce-vecchie-amsmath}), frecce estendibili (tabella~\ref{tab-frecce-vecchie-ext}) e nomi di operatori (tabella~\ref{tab-operatori-vecchi}). 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|\overleftarrow{AB}|, senza \texttt{amsmath}, producono rispettivamente
+Il pacchetto \texttt{amsmath} rende disponibili ulteriori soprassegni, sottosegni
+(tabella~\ref{tab-frecce-vecchie-amsmath}), frecce estendibili (tabella~\ref{tab-frecce-vecchie-ext}) e nomi
+di operatori (tabella~\ref{tab-operatori-vecchi}). Da notare che \texttt{amsmath} produce soprassegni
+leggermente più distanziati dai caratteri sottostanti, con una resa tipografica migliore. Infatti, i comandi
+\verb|\overrightarrow{AB}| e \verb|\overleftarrow{AB}|, senza \texttt{amsmath}, producono rispettivamente
 \[
-\overrightfreccia{AB} \,\text{ anziché }\, \overrightarrow{AB} \qquad \text{e} \qquad \overleftfreccia{AB} \,\text{ anziché }\, \overleftarrow{AB}.
+\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}}
@@ -259,7 +289,8 @@ I comandi \verb|\rightarrowfill| e \verb|\leftarrowfill| consentono di riempire
  \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}
+\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}}
@@ -274,15 +305,36 @@ I comandi \verb|\rightarrowfill| e \verb|\leftarrowfill| consentono di riempire
 \caption{Nomi di operatori vecchio stile, attivabili con \texttt{amsmath}.}\label{tab-operatori-vecchi}
 \end{table}
 
-\pagebreak
-
-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
+Il pacchetto \texttt{amsmath} fornisce il comando \verb|\boldsymbol| per ottenere i caratteri
+matematici in grassetto. Questo può essere anche 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}}$.
 
-Infine, il pacchetto \texttt{stmaryrd} fornisce diverse frecce con punta stretta, come ad esempio \verb|\shortrightarrow| ($\shortrightarrow$) e \verb|\nnearrow| ($\nnearrow$). Tuttavia, i comandi \verb|\mapsfrom| e \verb|\longmapsfrom|, senza \texttt{old-arrows}, generano le frecce nuovo stile $\varmapsfrom$ e $\varlongmapsfrom$. Il pacchetto \texttt{old-arrows} permette invece di ottenere la versione vecchio stile di tali frecce, come mostra la tabella~\ref{tab-frecce-vecchie-smr}.
+\subsubsection{\texttt{lmodern}}
+
+Il pacchetto \texttt{old-arrows} è completamente compatibile con i font Latin Modern, sempre a condizione che
+il relativo pacchetto \texttt{lmodern} venga caricato \emph{prima} di \texttt{old-arrows}:
+\begin{verbatim}
+    \usepackage{lmodern}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+\subsubsection{\texttt{stmaryrd}}
+
+Il pacchetto \texttt{old-arrows} è anche pienamente compatible con i font St Mary's Road, ancora a condizione
+di caricare il pacchetto \texttt{stmaryrd} \emph{prima} di \texttt{old-arrows}.
+\begin{verbatim}
+    \usepackage{stmaryrd}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+Il pacchetto \texttt{stmaryrd} fornisce diverse frecce con punta stretta, come ad esempio
+\verb|\shortrightarrow| ($\shortrightarrow$) e \verb|\nnearrow| ($\nnearrow$). Tuttavia, i comandi
+\verb|\mapsfrom| e \verb|\longmapsfrom|, senza \texttt{old-arrows}, generano le frecce nuovo stile
+$\varmapsfrom$ e $\varlongmapsfrom$. Il pacchetto \texttt{old-arrows} permette invece di ottenere la versione
+vecchio stile di tali frecce, come mostra la tabella~\ref{tab-frecce-vecchie-smr}.
 \begin{table}[!htbp]
  \begin{symbols}{*2{cl}}
  \X{\mapsfrom} & \X{\longmapsfrom} \\
@@ -290,18 +342,63 @@ Infine, il pacchetto \texttt{stmaryrd} fornisce diverse frecce con punta stretta
 \caption{Frecce vecchio stile disponibili con \texttt{stmaryrd}.}\label{tab-frecce-vecchie-smr}
 \end{table}
 
+\subsubsection{\texttt{mathtools}}
+
+Il pacchetto \texttt{old-arrows} può essere usato congiuntamente al pacchetto \texttt{mathtools}, purché
+quest'ultimo venga caricato \emph{prima} di \texttt{old-arrows}.
+\begin{verbatim}
+    \usepackage{mathtools}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+Il pacchetto \texttt{mathtools} mette a disposizione ulteriori frecce estendibili
+(tabella~\ref{tab-frecce-vecchie-mt}).
+
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\xleftrightarrow}{ABCDEF} & \W{\xmapsto}{ABCDEF}         \\
+ \W{\xhookleftarrow}{ABCDEF}  & \W{\xhookrightarrow}{ABCDEF} \\
+\end{symbols}
+\caption{Frecce vecchio stile estendibili disponibili con \texttt{mathtools}.}\label{tab-frecce-vecchie-mt}
+\end{table}
+
+Ogni freccia estendibile può ricevere un argomento facoltativo che produce un pedice. Per esempio, i comandi
+\begin{center}
+    \verb|\xrightarrow[G]{ABCDEF}| \quad e \quad \verb|\xmapsto[G]{ABCDEF}|
+\end{center}
+danno come risultato
+\begin{center}
+$\xrightarrow[G]{ABCDEF}$ \quad e \quad $\xmapsto[G]{ABCDEF}$
+\end{center}
+
+\begin{nota}
+È molto importante che \texttt{old-arrows} venga caricato \emph{dopo} \texttt{amsmath}, \texttt{stmaryrd},
+\texttt{lmodern} e \texttt{mathtools}, dato che \texttt{old-arrows} ridefinisce diversi comandi di questi
+pacchetti. In caso contrario, \texttt{old-arrows} non funzionerà correttamente.
+\begin{verbatim}
+    \usepackage{lmodern}
+    \usepackage{amsmath}
+    \usepackage{stmaryrd}
+    \usepackage{mathtools}
+    \usepackage{old-arrows}
+\end{verbatim}
+\end{nota}
+
 \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}, \ref{tab-frecce-nuove-ext}, \ref{tab-operatori-nuovi} e \ref{tab-frecce-nuove-smr}.
+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 mostrano le
+tabelle~\ref{tab-frecce-nuove}, \ref{tab-frecce-nuove-amsmath}, \ref{tab-frecce-nuove-ext},
+\ref{tab-operatori-nuovi}, \ref{tab-frecce-nuove-smr} e \ref{tab-frecce-nuove-mt}.
 
 \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{\varleftarrow}o \verb|\vargets|& \X{\varlongleftarrow}     & \X{\varuparrow}          \\
+ \X{\varrightarrow}o \verb|\varto|& \X{\varlongrightarrow}    & \X{\vardownarrow}        \\
  \X{\varleftrightarrow}    & \X{\varlongleftrightarrow}& \X{\varupdownarrow}      \\
  \X{\varmapsto}            & \X{\varlongmapsto}        & \X{\varnearrow}          \\
  \X{\varhookleftarrow}     & \X{\varhookrightarrow}    & \X{\varsearrow}          \\
@@ -316,49 +413,96 @@ vengono rese disponibili le frecce nuovo stile contemporaneamente a quelle vecch
  \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}.}
+\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}.}
+\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}
 \begin{table}[!htbp]
 \begin{symbols}{*2{cl}}
  \X{\varvarinjlim} & \X{\varvarprojlim} \\
 \end{symbols}
-\caption{Nomi di operatori nuovo stile, attivabili con \texttt{amsmath} e l'opzione \texttt{new} di \texttt{old-arrows}.}\label{tab-operatori-nuovi}
+\caption{Nomi di operatori nuovo stile, attivabili con \texttt{amsmath} e l'opzione \texttt{new} di
+\texttt{old-arrows}.}\label{tab-operatori-nuovi}
 \end{table}
 \begin{table}[!htbp]
  \begin{symbols}{*2{cl}}
  \X{\varmapsfrom} & \X{\varlongmapsfrom} \\
 \end{symbols}
-\caption{Frecce nuovo stile disponibili con \texttt{stmaryrd} e l'opzione \texttt{new} di \texttt{old-arrows}.}\label{tab-frecce-nuove-smr}
+\caption{Frecce nuovo stile disponibili con \texttt{stmaryrd} e l'opzione \texttt{new} di
+\texttt{old-arrows}.}\label{tab-frecce-nuove-smr}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\varxleftrightarrow}{ABCDEF} & \W{\varxmapsto}{ABCDEF}         \\
+ \W{\varxhookleftarrow}{ABCDEF}  & \W{\varxhookrightarrow}{ABCDEF} \\
+\end{symbols}
+\caption{Frecce nuovo stile estendibili, disponibili con \texttt{mathtools} e l'opzione \texttt{new} di
+\texttt{old-arrows}.}\label{tab-frecce-nuove-mt}
 \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.
+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
+I comandi \verb|\varrightarrowfill| e \verb|\varleftarrowfill| permettono di riempire spazi vuoti con frecce
+estendibili. Il primo comando dato alla fine di questo stesso paragrafo produce: \varrightarrowfill
 
-Se si vuole usare l'opzione \texttt{new} insieme all'opzione \texttt{only} del pacchetto \texttt{stmaryrd}, è necessario scrivere nell'elenco delle opzioni il comando da definire in entrambe le versioni: normale e \verb|\var|. Ad esempio, con le opzioni seguenti
+Se si vuole usare l'opzione \texttt{new} insieme all'opzione \texttt{only} del pacchetto \texttt{stmaryrd}, è
+necessario scrivere nell'elenco delle opzioni il comando da definire in entrambe le versioni: normale e
+\verb|\var|. Ad esempio, con le opzioni seguenti
 \begin{verbatim}
     \usepackage[only,mapsfrom,varmapsfrom]{stmaryrd}
     \usepackage[new]{old-arrows}
 \end{verbatim}
 verranno definiti da \texttt{stmaryrd} solo i simboli $\mapsfrom$ e $\varmapsfrom$.
 
-Infine, anche con l'opzione \texttt{new} è possibile usare il comando \verb|\boldsymbol| previsto da \texttt{amsmath}. I seguenti comandi
+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
+\subsection{Comandi aggiuntivi disponibili con \texttt{old-arrows}}
+
+Il pacchetto \texttt{old-arrows} fornisce comandi aggiuntivi per nuovi tipi di frecce, come mostra la
+tabella~\ref{tab-comandi-nuovi}.
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \X{\longhookrightarrow}          & \X{\longhookleftarrow}    \\
+ \X{\varlonghookrightarrow}$^a$   & \X{\varlonghookleftarrow}$^a$ \\
+ \X{\longleftharpoonup}           & \X{\longleftharpoondown}  \\
+ \X{\longrightharpoonup}          & \X{\longrightharpoondown} \\
+\end{symbols}
+\centerline{\footnotesize $^a$Attivabile con l'opzione \texttt{new}.}
+\caption{Frecce aggiuntive disponibili con \texttt{old-arrows}.}\label{tab-comandi-nuovi}
+\end{table}
+
+Infine, sono previsti comandi per frecce estendibili del tipo ``mapsfrom'' (tabella~\ref{tab-frecce-mt-smr})
+che sono disponibili solo se anche \texttt{mathtools} e \texttt{stmaryrd} vengono caricati con
+\texttt{old-arrows} (in quanto dipendono a loro volta da altri comandi definiti da questi due pacchetti).
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\xmapsfrom}{ABCDEF} & \W{\varxmapsfrom}{ABCDEF}$^a$  \\
+\end{symbols}
+\centerline{\footnotesize $^a$Attivabile con l'opzione \texttt{new}.}
+\caption{Frecce estendibili fornite da \texttt{old-arrows} insieme a \texttt{mathtools} e
+\texttt{stmaryrd}.}
+\label{tab-frecce-mt-smr}
+\end{table}
+
+\end{document}
diff --git a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.pdf b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.pdf
index eda8d597baf..c7468245569 100644
--- a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.pdf
+++ 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
index 9d0adc1d077..b61941cff89 100644
--- a/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.tex
+++ b/Master/texmf-dist/doc/fonts/old-arrows/old-arrows.tex
@@ -10,16 +10,19 @@
 \documentclass[11pt]{ltxdoc}
 
 \usepackage[english]{babel}
+\usepackage[T1]{fontenc}
 \usepackage{amsmath,amssymb,amsthm}
 \usepackage[shortlabels]{enumitem}
 \usepackage{stmaryrd}
+\usepackage{mathtools}
 \usepackage[new]{old-arrows}
-\usepackage[margin=3.3cm,footskip=20pt]{geometry}
+\usepackage[hmargin=3.3cm,vmargin=3.0cm,footskip=20pt]{geometry}
 \usepackage[colorlinks=true]{hyperref}
 \usepackage[all]{hypcap} % needed to help hyperlinks direct correctly;
+\usepackage[chicago]{ellipsis}
 
-\def\fileversion{1.1}
-\def\filedate{September 10, 2015}
+\def\fileversion{1.2}
+\def\filedate{October 11, 2015}
 
 %Logo per MiKTeX e TeXLive
 \newcommand{\MiKTeX}{MiK\TeX}
@@ -83,17 +86,21 @@ E-mail: \href{mailto:riccardo.dossena@gmail.com}{\tt riccardo.dossena@gmail.com}
 \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{amssymb} 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.
+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{amssymb} arrow
+characters, like $\twoheadrightarrow$, which 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
 
+%\pagebreak
+
 \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,
+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
 \]
@@ -101,11 +108,19 @@ 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$.
+that is, the character $\to$ was replaced by $\varto$, which 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).
+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 (\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.
+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}
 
@@ -138,53 +153,59 @@ The Old Arrows fonts files are:
 \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}.
+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''.
+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}
+\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}
+\end{verbatim}
 
 \item Copy the \texttt{*.pfb} and \texttt{*.pfm} font files into the directory
-    \begin{verbatim}
+\begin{verbatim}
     <localtexmf>/fonts/type1/old-arrows
-    \end{verbatim}
+\end{verbatim}
 
 \item Copy the \texttt{oasy.enc} and \texttt{oasy.map} files, respectively, into the directories
-    \begin{verbatim}
+\begin{verbatim}
     <localtexmf>/fonts/enc/dvips/old-arrows
     <localtexmf>/fonts/map/dvips/old-arrows
-    \end{verbatim}
+\end{verbatim}
 
 \item Copy the \texttt{old-arrows.sty} file into the directory
-    \begin{verbatim}
+\begin{verbatim}
     <localtexmf>/tex/latex/old-arrows
-    \end{verbatim}
+\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}
+\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}
+\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}
+\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{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
+\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}
@@ -197,8 +218,7 @@ save, close and execute (always in the DOS command prompt)
     initexmf --mkmaps
 \end{verbatim}
 
-\item[\TeXLive]
-Execute in a terminal command line
+\item[\TeXLive] Execute in a terminal command line
 \begin{verbatim}
     updmap-sys --enable Map=oasy.map
 \end{verbatim}
@@ -213,7 +233,8 @@ 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}.
+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}}
@@ -225,33 +246,41 @@ and every arrow command will be associated to the ``old-style'', as indicated in
  \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}
+\caption{Old-style arrows provided by \texttt{old-arrows}.}\label{tab-frecce-vecchie}
 \end{table}
 
-\subsection{Usage together with \texttt{amsmath}, \texttt{lmodern} and \texttt{stmaryrd} packages}
+The commands \verb|\rightarrowfill| and \verb|\leftarrowfill| allow to fill empty spaces with extensible
+arrows. For example, the first command written at the end of this paragraph gives the following result:
+\rightarrowfill
 
-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 and the St Mary's Road symbol fonts, always provided that you load the \texttt{lmodern} and \texttt{stmaryrd} packages \emph{before} \texttt{old-arrows}:
+\subsection{Usage together with other packages}
+
+\subsubsection{\texttt{amsmath}}
+
+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{lmodern}
     \usepackage{amsmath}
-    \usepackage{stmaryrd}
     \usepackage{old-arrows}
 \end{verbatim}
 
-\begin{remark}
-It is very important that you load \texttt{old-arrows} \emph{after} \texttt{amsmath}, \texttt{stmaryrd} 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}), extensible (table~\ref{tab-frecce-vecchie-ext}) arrows and operator names (table~\ref{tab-operatori-vecchi}) 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|\overleftarrow{AB}|, without \texttt{amsmath}, produce respectively
+The \texttt{amsmath} package makes additional over, under (table~\ref{tab-frecce-vecchie-amsmath}),
+extensible (table~\ref{tab-frecce-vecchie-ext}) arrows and operator names (table~\ref{tab-operatori-vecchi})
+available. Note that \texttt{amsmath} adds more space between the arrow above and the characters below, with
+a better typographical result. The commands \verb|\overrightarrow{AB}| and \verb|\overleftarrow{AB}|, without
+\texttt{amsmath}, produce respectively
 \[
-\overrightfreccia{AB} \,\text{ rather than }\, \overrightarrow{AB} \qquad \text{and} \qquad \overleftfreccia{AB} \,\text{ rather than }\, \overleftarrow{AB}.
+\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
+
+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.
 
 \begin{table}[!htbp]
 \begin{symbols}{*3{cl}}
@@ -274,13 +303,30 @@ The commands \verb|\rightarrowfill| and \verb|\leftarrowfill| allow to fill empt
 \caption{Old-style operator names provided by \texttt{amsmath}.}\label{tab-operatori-vecchi}
 \end{table}
 
-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.
+\subsubsection{\texttt{lmodern}}
+
+The \texttt{old-arrows} package is fully compatible with the Latin Modern fonts, provided that you load the
+\texttt{lmodern} package \emph{before} \texttt{old-arrows}.
+\begin{verbatim}
+    \usepackage{lmodern}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+\subsubsection{\texttt{stmaryrd}}
+
+The \texttt{old-arrows} package is also fully compatible with the St Mary's Road symbol font, always provided
+that you load the \texttt{stmaryrd} package \emph{before} \texttt{old-arrows}.
+\begin{verbatim}
+    \usepackage{stmaryrd}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+The \texttt{stmaryrd} package provides several arrow characters with small arrowheads, like
+\verb|\shortrightarrow| ($\shortrightarrow$) and \verb|\nnearrow| ($\nnearrow$). However, without
+\texttt{old-arrows}, the commands \verb|\mapsfrom| and \verb|\longmapsfrom| produce the new-style arrows
+$\varmapsfrom$ and $\varlongmapsfrom$. Instead, the \texttt{old-arrows} package allows to obtain the
+old-style version of these arrows, as shown in table~\ref{tab-frecce-vecchie-smr}.
 
-Finally, the \texttt{stmaryrd} package provides several arrow characters with small arrowheads, like \verb|\shortrightarrow| ($\shortrightarrow$) and \verb|\nnearrow| ($\nnearrow$). However, without \texttt{old-arrows}, the commands \verb|\mapsfrom| and \verb|\longmapsfrom| produce the new-style arrows $\varmapsfrom$ and $\varlongmapsfrom$. Instead, the \texttt{old-arrows} package allows to obtain the old-style version of these arrows, as shown in table~\ref{tab-frecce-vecchie-smr}.
 \begin{table}[!htbp]
  \begin{symbols}{*2{cl}}
  \X{\mapsfrom} & \X{\longmapsfrom} \\
@@ -288,6 +334,53 @@ Finally, the \texttt{stmaryrd} package provides several arrow characters with sm
 \caption{Old-style arrows provided by \texttt{stmaryrd}.}\label{tab-frecce-vecchie-smr}
 \end{table}
 
+\pagebreak
+
+\subsubsection{\texttt{mathtools}}
+
+
+The \texttt{old-arrows} package can be used together with the \texttt{mathtools} package, always on condition
+that you load it \emph{before} \texttt{old-arrows}.
+\begin{verbatim}
+    \usepackage{mathtools}
+    \usepackage{old-arrows}
+\end{verbatim}
+
+The \texttt{mathtools} package makes additional extensible arrows available
+(table~\ref{tab-frecce-vecchie-mt}).
+
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\xleftrightarrow}{ABCDEF} & \W{\xmapsto}{ABCDEF}         \\
+ \W{\xhookleftarrow}{ABCDEF}  & \W{\xhookrightarrow}{ABCDEF} \\
+\end{symbols}
+\caption{Old-style extensible arrows provided by \texttt{mathtools}.}\label{tab-frecce-vecchie-mt}
+\end{table}
+
+Every extensible arrow can take an optional argument that produces a subscript. For example, the commands
+\begin{center}
+    \verb|\xrightarrow[G]{ABCDEF}| \quad and \quad \verb|\xmapsto[G]{ABCDEF}|
+\end{center}
+produce
+\begin{center}
+$\xrightarrow[G]{ABCDEF}$ \quad and \quad $\xmapsto[G]{ABCDEF}$
+\end{center}
+
+%\pagebreak
+
+\begin{remark}
+It is very important that you load \texttt{old-arrows} \emph{after} \texttt{amsmath}, \texttt{stmaryrd},
+\texttt{lmodern} and \texttt{mathtools}, because many commands of these packages must be redefined by
+\texttt{old-arrows}. Otherwise, \texttt{old-arrows} won't work properly.
+\begin{verbatim}
+    \usepackage{lmodern}
+    \usepackage{amsmath}
+    \usepackage{stmaryrd}
+    \usepackage{mathtools}
+    \usepackage{old-arrows}
+\end{verbatim}
+\end{remark}
+
 
 \subsection{The option \textsf{new}}
 
@@ -295,7 +388,10 @@ 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}, \ref{tab-frecce-nuove-ext}, \ref{tab-operatori-nuovi} and \ref{tab-frecce-nuove-smr}.
+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}, \ref{tab-frecce-nuove-ext}, \ref{tab-operatori-nuovi},
+\ref{tab-frecce-nuove-smr} and \ref{tab-frecce-nuove-mt}.
 
 \begin{table}[!htbp]
 \begin{symbols}{*3{cl}}
@@ -315,52 +411,98 @@ allows to use the new-style and the old-style arrows simultaneously. In order to
  \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}.}
+\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}.}
+\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}
 \begin{table}[!htbp]
 \begin{symbols}{*2{cl}}
  \X{\varvarinjlim} & \X{\varvarprojlim} \\
 \end{symbols}
-\caption{New-style operator names provided by \texttt{amsmath} and the option \texttt{new} of \texttt{old-arrows}.}\label{tab-operatori-nuovi}
+\caption{New-style operator names provided by \texttt{amsmath} and the option \texttt{new} of
+\texttt{old-arrows}.}\label{tab-operatori-nuovi}
 \end{table}
 \begin{table}[!htbp]
  \begin{symbols}{*2{cl}}
  \X{\varmapsfrom} & \X{\varlongmapsfrom} \\
 \end{symbols}
-\caption{New-style arrows provided by \texttt{stmaryrd} and the option \texttt{new} of \texttt{old-arrows}.}\label{tab-frecce-nuove-smr}
+\caption{New-style arrows provided by \texttt{stmaryrd} and the option \texttt{new} of
+\texttt{old-arrows}.}\label{tab-frecce-nuove-smr}
+\end{table}
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\varxleftrightarrow}{ABCDEF} & \W{\varxmapsto}{ABCDEF}         \\
+ \W{\varxhookleftarrow}{ABCDEF}  & \W{\varxhookrightarrow}{ABCDEF} \\
+\end{symbols}
+\caption{New-style extensible arrows provided by \texttt{mathtools} and the option \texttt{new} of
+\texttt{old-arrows}.}\label{tab-frecce-nuove-mt}
 \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.
+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
+The commands \verb|\varrightarrowfill| and \verb|\varleftarrowfill| allow to fill empty spaces with
+extensible arrows. For example, the first command written at the end of this paragraph gives the following
+result: \varrightarrowfill
 
-If you want to use the option \texttt{new} and the option \texttt{only} provided by the \texttt{stmaryrd} package, you must write in the option list the command you wish to define in both ordinary and \verb|\var| versions. For example:
+If you want to use the option \texttt{new} and the option \texttt{only} provided by the \texttt{stmaryrd}
+package, you must write the command you wish to define in both ordinary and \verb|\var| versions in the
+option list. For example:
 \begin{verbatim}
     \usepackage[only,mapsfrom,varmapsfrom]{stmaryrd}
     \usepackage[new]{old-arrows}
 \end{verbatim}
 says that only the symbols $\mapsfrom$ and $\varmapsfrom$ will be defined by \texttt{stmaryrd}.
 
-Finally, even with the option \texttt{new} it is possibile to use the command \verb|\boldsymbol| provided by \texttt{amsmath}. The following commands
+Furthermore, with the option \texttt{new} it is also 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.
 
+%\pagebreak
+
+\subsection{Additional arrow commands provided by \texttt{old-arrows}}
 
+The \texttt{old-arrows} package provides additional arrow commands that are listed in
+table~\ref{tab-comandi-nuovi}.
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \X{\longhookrightarrow}          & \X{\longhookleftarrow}    \\
+ \X{\varlonghookrightarrow}$^a$   & \X{\varlonghookleftarrow}$^a$ \\
+ \X{\longleftharpoonup}           & \X{\longleftharpoondown}  \\
+ \X{\longrightharpoonup}          & \X{\longrightharpoondown} \\
+\end{symbols}
+\centerline{\footnotesize $^a$Available with the option \texttt{new}.}
+\caption{Arrow commands provided by \texttt{old-arrows}.}\label{tab-comandi-nuovi}
+\end{table}
+
+Finally, there are extensible ``mapsfrom'' arrows (table~\ref{tab-frecce-mt-smr}) that are available only if
+both \texttt{mathtools} and \texttt{stmaryrd} are loaded together with \texttt{old-arrows} (as they depend on
+commands defined by these two packages).
+\begin{table}[!htbp]
+\begin{symbols}{*2{cl}}
+ \W{\xmapsfrom}{ABCDEF} & \W{\varxmapsfrom}{ABCDEF}$^a$  \\
+\end{symbols}
+\centerline{\footnotesize $^a$Available with the option \texttt{new}.}
+\caption{Extensible arrows provided by \texttt{old-arrows} together with \texttt{mathtools} and
+\texttt{stmaryrd}.}
+\label{tab-frecce-mt-smr}
+\end{table}
 
-\end{document} 
\ No newline at end of file
+\end{document}
diff --git a/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty b/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty
index eedce346cdf..fcec4b658da 100644
--- a/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty
+++ b/Master/texmf-dist/tex/latex/old-arrows/old-arrows.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% old-arrows.sty. Version: 1.1 - September 10, 2015.
+% old-arrows.sty. Version: 1.2 - October 11, 2015.
 % Author: Riccardo DOSSENA <riccardo.dossena@gmail.com>
 %
 % This package provides old-style cm arrows with smaller arrowheads,
@@ -24,7 +24,7 @@
 %
 %
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{old-arrows}[2015/09/10 v1.1 Old Arrows]
+\ProvidesPackage{old-arrows}[2015/10/11 v1.2 Old Arrows]
 
 \@ifpackageloaded{lmodern}{%
 \DeclareFontFamily{OMS}{oasy}{\skewchar\font48 }
@@ -71,16 +71,18 @@
 \DeclareMathDelimiter{\downarrow}   {\mathrel}{oasy}{"23}{largesymbols}{"79}
 \DeclareMathDelimiter{\updownarrow} {\mathrel}{oasy}{"6C}{largesymbols}{"3F}
 
-%definitions of \meno and \relbarra
+%definitions of \meno, \joinrelaz and \relbarra
 \DeclareMathSymbol{\meno} {\mathbin}{oasy}{"00}
 \DeclareRobustCommand
+  \joinrelaz{\mathrel{\mkern-3mu}}
+\DeclareRobustCommand
   \relbarra{\mathrel{\smash\meno}} % \smash, because -
                                % has the same height as +
 
 \DeclareRobustCommand\longrightarrow
-     {\relbarra\joinrel\rightarrow}
+     {\relbarra\joinrelaz\rightarrow}
 \DeclareRobustCommand\longleftarrow
-     {\leftarrow\joinrel\relbarra}
+     {\leftarrow\joinrelaz\relbarra}
 
 \def\rightarrowfill{$\m@th\smash\meno\mkern-7mu%
   \cleaders\hbox{$\mkern-2mu\smash\meno\mkern-2mu$}\hfill
@@ -89,6 +91,7 @@
   \cleaders\hbox{$\mkern-2mu\smash\meno\mkern-2mu$}\hfill
   \mkern-7mu\smash\meno$}
 
+%amsmath redefinitions, if loaded
 \@ifpackageloaded{amsmath}{%
 \ams@def\relbarra{\mathrel{\mathpalette\mathsm@sh\meno}}
 \def\leftarrowfill@{\arrowfill@\leftarrow\relbarra\relbarra}
@@ -96,6 +99,50 @@
 \def\leftrightarrowfill@{\arrowfill@\leftarrow\relbarra\rightarrow}
 \relax}{}
 
+%mathtools redefinitions, if loaded
+\@ifpackageloaded{mathtools}{%
+\renewcommand{\xleftrightarrow}[2][]{%
+  \ext@arrow 3095\MTleftrightarrowfill@{#1}{#2}}
+\def\MTleftrightarrowfill@{%
+  \arrowfill@\leftarrow\relbarra\rightarrow}
+\renewcommand{\xhookleftarrow}[2][]{%
+  \ext@arrow 3095\MThookleftfill@{#1}{#2}}
+\def\MThookleftfill@{%
+  \arrowfill@\leftarrow\relbarra{\relbarra\joinrelaz\rhook}}
+\renewcommand{\xhookrightarrow}[2][]{%
+  \ext@arrow 3095\MThookrightfill@{#1}{#2}}
+\def\MThookrightfill@{%
+  \arrowfill@{\lhook\joinrelaz\relbarra}\relbarra\rightarrow}
+\renewcommand{\xmapsto}[2][]{%
+  \ext@arrow 0395\MTmapstofill@{#1}{#2}}
+\def\MTmapstofill@{%
+  \arrowfill@{\mapstochar\relbarra}\relbarra\rightarrow}
+\relax}{}
+
+%stmaryrd xmapsfrom (mathtools or amsmath needed)
+\@ifpackageloaded{stmaryrd}{%
+\newcommand{\xmapsfrom}[2][]{%
+  \ext@arrow 3095\SMRmapsfromfill@{#1}{#2}}
+\def\SMRmapsfromfill@{%
+  \arrowfill@\leftarrow\relbarra{\relbarra\mapsfromchar}}
+\relax}{}
+
+
+%arrow commands provided by old-arrows
+\DeclareRobustCommand\longhookrightarrow
+    {\lhook\joinrelaz\longrightarrow}
+\DeclareRobustCommand\longhookleftarrow
+    {\longleftarrow\joinrelaz\rhook}
+\DeclareRobustCommand\longrightharpoonup
+    {\relbar\joinrel\rightharpoonup}
+\DeclareRobustCommand\longrightharpoondown
+    {\relbar\joinrel\rightharpoondown}
+\DeclareRobustCommand\longleftharpoonup
+    {\leftharpoonup\joinrel\relbar}
+\DeclareRobustCommand\longleftharpoondown
+    {\leftharpoondown\joinrel\relbar}
+
+
 %new style arrows: \var before every command
 \DeclareOption{new}{
 
@@ -169,6 +216,13 @@
 \DeclareRobustCommand
   \varlongleftrightarrow{\varleftarrow\joinrel\varrightarrow}
 
+%new commands provided by old-arrows with option new
+\DeclareRobustCommand\varlonghookrightarrow
+    {\lhook\joinrel\varlongrightarrow}
+\DeclareRobustCommand\varlonghookleftarrow
+    {\varlongleftarrow\joinrel\rhook}
+
+
 %new-style arrows provided by amsmath, if loaded
 \@ifpackageloaded{amsmath}{%
 \def\varleftarrowfill@{\arrowfill@\varleftarrow\relbar\relbar}
@@ -196,10 +250,35 @@
 }
 \relax}{}
 
+%new-style support for mathtools
+\@ifpackageloaded{mathtools}{%
+\newcommand{\varxleftrightarrow}[2][]{%
+  \ext@arrow 3095\varMTleftrightarrowfill@{#1}{#2}}
+\def\varMTleftrightarrowfill@{%
+  \arrowfill@\varleftarrow\relbar\varrightarrow}
+\newcommand{\varxhookleftarrow}[2][]{%
+  \ext@arrow 3095\varMThookleftfill@{#1}{#2}}
+\def\varMThookleftfill@{%
+  \arrowfill@\varleftarrow\relbar{\relbar\joinrel\rhook}}
+\newcommand{\varxhookrightarrow}[2][]{%
+  \ext@arrow 3095\varMThookrightfill@{#1}{#2}}
+\def\varMThookrightfill@{%
+  \arrowfill@{\lhook\joinrel\relbar}\relbar\varrightarrow}
+\newcommand{\varxmapsto}[2][]{%
+  \ext@arrow 0395\varMTmapstofill@{#1}{#2}}
+\def\varMTmapstofill@{%
+  \arrowfill@{\mapstochar\relbar}\relbar\varrightarrow}
+\relax}{}
+
 %new-style support for St Mary's Road fonts
 \@ifpackageloaded{stmaryrd}{%
 \stmry@if\def\varmapsfrom{\varleftarrow\mapsfromchar}\fi
 \stmry@if\def\varlongmapsfrom{\varlongleftarrow\mapsfromchar}\fi
+%stmaryrd new-style xmapsfrom (mathtools or amsmath needed)
+\newcommand{\varxmapsfrom}[2][]{%
+  \ext@arrow 3095\varSMRmapsfromfill@{#1}{#2}}
+\def\varSMRmapsfromfill@{%
+  \arrowfill@\varleftarrow\relbar{\relbar\mapsfromchar}}
 \relax}{}
 
 }
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo
index 67fc1e0f392..f7e67749c63 100755
--- a/Master/tlpkg/bin/tlpkginfo
+++ b/Master/tlpkg/bin/tlpkginfo
@@ -255,7 +255,7 @@ sub find_ctan_dir {
 }
 
 
-# If the .tlpsrc file for ME has a catalogue entry, return it,
+# If the .tlpsrc file for ME specifies a catalogue entry, return it,
 # else return empty string.
 # 
 sub tlpsrc_find_catalogue {
@@ -340,8 +340,8 @@ sub catalogue_find_ctan_path {
 }
 
 # 
-# Create a tmpdir with the tds-ready tree unpacked if any,
-# else return the normal ctan dir.
+# Create a tmpdir with the tds-ready tree for PKG unpacked, if it exists,
+# else return the normal ctan dir for PKG.
 #
 sub prepare {
   my ($pkg) = @_;
@@ -349,6 +349,7 @@ sub prepare {
 
   # find the real ctan dir and return it if our tds is erroneous
   my $ctan_loc = &find_ctan_dir ($pkg, 1); # pass do_copy=1
+#warn "prepare: ctan_loc for $pkg = $ctan_loc\n";
   return $ctan_loc if $pkg =~ /^($erroneous_tds)$/;
 
   # tds path is usually in ctan/install...
@@ -369,6 +370,12 @@ sub prepare {
     # and do the rest in ctan2tds as usual.
     $tds_path = "$CTAN/systems/enctex/enctex.tar.gz";
 
+  } elsif ($pkg eq "fibeamer") {
+    # we need to parse the Catalogue .xml for the <install> path,
+    # but hack around it since this is the only (?) one
+    # that doesn't fit the pattern.
+    $tds_path = "$CTAN/install/macros/latex/contrib/$pkg.tds.zip";
+
   } elsif ($pkg eq "hfoldsty") {
     $tds_path = glob ("$CTAN/fonts/hfoldsty/hfoldsty-v*.zip");