witharrows (12jan18)

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

3 files changed, 306 insertions, 165 deletions

diff --git a/Master/texmf-dist/doc/latex/witharrows/witharrows.pdf b/Master/texmf-dist/doc/latex/witharrows/witharrows.pdf
index 583cc1dc849..feb137d799c 100644
--- a/Master/texmf-dist/doc/latex/witharrows/witharrows.pdf
+++ b/Master/texmf-dist/doc/latex/witharrows/witharrows.pdf
diff --git a/Master/texmf-dist/source/latex/witharrows/witharrows.dtx b/Master/texmf-dist/source/latex/witharrows/witharrows.dtx
index 5dd68ff86ab..0af363d1b94 100644
--- a/Master/texmf-dist/source/latex/witharrows/witharrows.dtx
+++ b/Master/texmf-dist/source/latex/witharrows/witharrows.dtx
@@ -15,8 +15,8 @@
 %
 % \fi
 % \iffalse
-\def\myfileversion{1.2}
-\def\myfiledate{2017/11/29}
+\def\myfileversion{1.3}
+\def\myfiledate{2018/01/11}
 %
 %
 %<*batchfile>
@@ -80,12 +80,13 @@ version 2005/12/01 or later.
 % \end{abstract}
 %
 %
-% \vskip1cm
+% \vskip1cm 
 % This package can be used with |xelatex|, |lualatex|, |pdflatex| but also by the classical workflow
 % |latex|-|dvips|-|ps2pdf| (or Adobe Distiller). Two compilations may be necessary. This package requires the
 % packages \pkg{expl3}, \pkg{xparse}, \pkg{footnote}\footnote{The package footnote is used to extract the notes
-% from the environments \texttt{\{WithArrows\}}.} and \pkg{tikz}. The following Tikz libraries are also required:
-% \pkg{calc}, \pkg{arrows.meta} and \pkg{bending}.
+% from the environments \texttt{\{WithArrows\}}. This package must be loaded \emph{after} the package
+% \pkg{xcolor}.} and \pkg{tikz}. The following Tikz libraries are also required: \pkg{calc}, \pkg{arrows.meta} and
+% \pkg{bending}.
 %
 % \bigskip
 % This package gives an environment |{WithArrows}| to construct alignments of equations with arrows for the
@@ -105,8 +106,8 @@ version 2005/12/01 or later.
 %
 %
 % \medskip
-% The arrow has been drawn with the command |\Arrow| on the line from which it starts. The command |\Arrow| can be
-% used anywhere on the line but the best way is to put it at the end.
+% The arrow has been drawn with the command |\Arrow| on the line from which it starts. The command |\Arrow| must be used
+% in the second column (the best way is to put it at the end of the second cell of the line as in the previous exemple).
 %
 %
 % \section{Options for the shape of the arrows}
@@ -115,14 +116,14 @@ version 2005/12/01 or later.
 % mandatory argument.
 %
 % The option |jump| gives the number\footnote{It's not possible to give a non-positive value to \texttt{jump}. See
-% below the way to draw an arrow which goes backwards.} of lines the arrow must jump (the default value is, of
-% course,~$1$).
+% below (p.~\pageref{Backwards}) the way to draw an arrow which goes backwards.} of lines the arrow must jump (the
+% default value is, of course,~$1$).
 %
 % 
 % \begin{Verbatim}
 % $\begin{WithArrows}
 % A & = \bigl((a+b)+1\bigr)^2 \Arrow[~emphase#jump=2@]{we expand} \\
-%   & = (a+b)^2 + 2(a+b) +1 \\
+%   & = (a+b)^2 +  2(a+b) +1 \\
 %   & = a^2 + 2ab + b^2 + 2a + 2b +1 
 % \end{WithArrows}$
 % \end{Verbatim}
@@ -192,7 +193,8 @@ version 2005/12/01 or later.
 % \interitem
 % It's also possible to change the arrowheads. For example, we can draw an arrow which goes backwards with the Tikz
 % option~|<-|.
-% %
+% \label{Backwards} 
+%
 % \begin{Verbatim}
 % $\begin{WithArrows}
 % A & = (a+1)^2 \Arrow~emphase#[tikz=<-]@{we factorize} \\
@@ -424,14 +426,17 @@ version 2005/12/01 or later.
 % \tikzset{TipsOfWithArrows/.style= { > = {Latex[scale=1.2,bend]}} }
 % \end{Verbatim}
 %
-% The names of the Tikz nodes created by \pkg{witharrows} in the whole document are explained below.
+% The names of the Tikz nodes created by \pkg{witharrows} in the whole document are explained
+% p.~\pageref{NamesOfTheNodes}. 
 %
 %
 % \section{Precise positioning of the arrows}
 %
 %
 % The environment |{WithArrows}| defines, during the composition of the array, two series of nodes materialized in
-% red in the following example.\footnote{The option \texttt{shownodes} can be used to materialize the nodes.}
+% red in the following example.\footnote{The option \texttt{shownodes} can be used to materialize the nodes. The
+% nodes are in fact Tikz nodes of shape ``rectangle'', but with zero width. An arrow between two nodes starts at
+% the \emph{south} anchor of the first node and arrives at the \emph{north} anchor of the second node.}
 %
 % \smallskip
 % $\begin{WithArrows}[displaystyle,shownodes]
@@ -549,9 +554,8 @@ version 2005/12/01 or later.
 % the default value. In this case, it's still possible to come back to the default behaviour for a given
 % environment |{WithArrows}| with the option |rr|: |\begin{WithArrows}{rr}|
 %
-% \section{Comparison with the environment \{aligned\}}
-%
 %
+% \section{Comparison with the environment \{aligned\}}
 %
 % |{WithArrows}| bears similarities with the environment |{aligned}| of the extension \pkg{amsmath}. These are only
 % similarities because |{WithArrows}| has not been written upon the environment |{aligned}|.\footnote{In fact, it's
@@ -591,12 +595,14 @@ version 2005/12/01 or later.
 % \end{WithArrows}$
 % \end{Verbatim}
 %
+%
 % $\begin{WithArrows}[displaystyle,jot=2ex]
 % F & = \frac12G     \Arrow{we expand}\\
 %   & = H + \frac12K \Arrow{we go on}\\
 %   & = K 
 % \end{WithArrows}$
 %
+%
 % \bigskip
 % However, this new value of |\jot| will also be used in other alignments included in the
 % environment~|{WithArrows}|:
@@ -735,8 +741,6 @@ version 2005/12/01 or later.
 % \right.$
 %
 %
-%
-%
 % \section{Examples}
 %
 % \subsection{With only one column}
@@ -761,7 +765,7 @@ version 2005/12/01 or later.
 %
 % \subsection{MoveEqLeft}
 %
-% It's possible to use |\MoveEqLeft| of \pkg{mathtools} (if we don't want ampersand on the firt line):
+% It's possible to use |\MoveEqLeft| of \pkg{mathtools} (if we don't want ampersand on the first line):
 % %
 % \begin{Verbatim}[formatcom=\small\color{gray}]
 % $\begin{WithArrows}[jot=2mm]
@@ -902,8 +906,50 @@ version 2005/12/01 or later.
 % \end{scope}
 %
 %
+%
+%\section{Fine tuning}
+%
+% The version 1.3 of \pkg{witharrows} give two new options for a fine tuning of the arrows :
+% 
+% \begin{itemize}
+% \item the option |ystart| set the vertical distance between the base line of the text and the start of the arrow
+% (default value : 0.4 ex).
+% \item the option |ygap| set the vertical distance between two consecutive arrows (default value : 0.4 ex).
+% \end{itemize}
+%
+% These options can be set at the document level or at the environment level.
+%
+% \bigskip
+% $\begin{WithArrows}[interline=1mm]
+%  (\cos x + \sin x)^2 & = \cos^2 x +2 \cos x \sin x + \sin^2 x\Arrow{}\tikz[remember picture] \coordinate (A) ; \\
+%    & = \cos^2x + \sin^2x + 2\sin x\cos x \Arrow{} \\
+%    & = 1 + \sin(2x) 
+% \end{WithArrows}$
+%
+% \begin{tikzpicture}[remember picture,overlay,blue]
+% \draw (wa-\WithArrowsLastEnv-1-r.south) to ++(1,0) coordinate (B) to ++(0.1,0) ;;
+% \draw (A) to ++(1,0) coordinate (C) to ++(0.1,0) ;;
+% \draw (B) -- (C) ;
+% \draw[<-] (B) to ++(0,0.2) ;
+% \draw[<-] (C) to ++(0,-0.2) ;
+% \path (C) node[right=1mm] {\texttt{ystart}} ;
+% \draw (wa-\WithArrowsLastEnv-2-r.north) to ++(3,0) coordinate (E) to ++(0.1,0);
+% \draw (wa-\WithArrowsLastEnv-2-r.south) to ++(3,0) coordinate (F) to ++(0.1,0);
+% \draw (E) -- (F) ;
+% \draw[<-] (E) to ++(0,0.2) ;
+% \draw[<-] (F) to ++(0,-0.2) ;
+% \path (F) node[right=1mm] {\texttt{ygap}} ;
+% \end{tikzpicture}
+%
+%
+% \bigskip
+% \emph{Remark} : It's also possible to use the options ``|shorten <|'' and ``|shorten >|'' of Tikz (via the option
+% |tikz| of \pkg{witharrows}).
+%
 % \section{An technical remark about the names of the nodes}
 %
+% \label{NamesOfTheNodes}
+% 
 % Environments |{WithArrows}| can be nested, and, therefore, we have a ``nesting tree'' for the environments
 % |{WithArrows}| of the whole document. This nesting tree is used to give a unique name to each node in the
 % document.
@@ -960,6 +1006,7 @@ version 2005/12/01 or later.
 % \end{tikzpicture}
 % \end{Verbatim}
 %
+%
 % \section{Implementation}
 %
 % \subsection{Declaration of the package and extensions loaded}
@@ -987,7 +1034,7 @@ version 2005/12/01 or later.
 %
 % \bigskip
 % The package \pkg{xparse} will be used to define the environment |{WithArrows}| and the document-level commands
-% (|\Arrow|, |\WithArrowsOptions| ans |\WithArrowsLastEnv|).
+% (|\Arrow|, |\WithArrowsOptions| and |\WithArrowsLastEnv|).
 %    \begin{macrocode}
 \RequirePackage{xparse}
 %    \end{macrocode}
@@ -1001,14 +1048,17 @@ version 2005/12/01 or later.
 %
 % \subsection{Some technical definitions}
 %
-% We define a Tikz style |@@_node_style| for the nodes that will be created in the |\halign|.
+% We define a Tikz style |@@_node_style| for the nodes that will be created in the |\halign|. The nodes are Tikz
+% nodes of shape ``rectangle'' but with zero width. An arrow between two nodes starts from the \emph{south} anchor
+% of the first node and arrives at the \emph{north} anchor of the second node.
 %    \begin{macrocode}
-\tikzstyle{@@_node_style}=[rectangle,
-                           inner~sep = 0 pt,
-                           minimum~height = 3 pt,
-                           minimum~width = 0pt,
-                           red,
-                           \bool_if:NT \l_@@_shownodes_bool {draw}]
+\tikzset{@@_node_style/.style={
+               above = \l_@@_ystart_dim,
+               inner~sep = 0 pt,
+               minimum~width = 0pt,
+               minimum~height = \l_@@_ygap_dim,
+               red,
+               \bool_if:NT \l_@@_shownodes_bool {draw}}}
 %    \end{macrocode}
 % The color of the nodes is red, but in fact, the nodes will be drawn only when the option |shownodes| is used
 % (this option is useful for debugging).
@@ -1105,6 +1155,21 @@ version 2005/12/01 or later.
 %    \end{macrocode}
 %
 % \bigskip
+% The gap between two consecutive arrows.
+%    \begin{macrocode}
+\dim_new:N \l_@@_ygap_dim
+\dim_set:Nn \l_@@_ygap_dim {0.4 ex}
+%    \end{macrocode}
+%
+% \bigskip
+% The vertical position of the starting point of an arrow.
+%    \begin{macrocode}
+\dim_new:N \l_@@_ystart_dim
+\dim_set:Nn \l_@@_ystart_dim {0.4 ex}
+%    \end{macrocode}
+%
+%
+% \bigskip
 % The following dimension is the value of the translation of the whole arrow to the right (of course, it's a
 % dimension and not a skip).
 %    \begin{macrocode}
@@ -1199,6 +1264,20 @@ version 2005/12/01 or later.
 %    \end{macrocode}
 %
 % \bigskip
+% The gap between two consecutive arrows.
+%    \begin{macrocode}
+      ygap .dim_set:N        = \l_@@_ygap_dim,
+      ygap .value_required:n = true,
+%    \end{macrocode}
+%
+% \bigskip
+% The vertical position of the starting point of an arrow.
+%    \begin{macrocode}
+      ystart .dim_set:N        = \l_@@_ystart_dim,
+      ystart .value_required:n = true,
+%    \end{macrocode}
+%
+% \bigskip
 % Usually, the number of columns in a |{WithArrows}| environment is limited to 2. Nevertheless, it's possible to
 % have more columns with the option |MoreColumns|.
 %    \begin{macrocode}
@@ -1370,7 +1449,8 @@ version 2005/12/01 or later.
 %    \end{macrocode}
 %
 % \bigskip
-% We process the options when the package is loaded (with |\usepackage|) but we recommend to use |\WithArrowsOptions| instead.
+% We process the options when the package is loaded (with |\usepackage|) but we recommend to use
+% |\WithArrowsOptions| instead. 
 %    \begin{macrocode}
 \ProcessKeysOptions {WithArrows}
 %    \end{macrocode}
@@ -1455,12 +1535,24 @@ version 2005/12/01 or later.
           }       
 %    \end{macrocode}
 %
+% \medskip
+%    \begin{macrocode}
+\cs_new_protected:Nn \@@_Arrow_first_column: 
+%    \end{macrocode}
+% All messages of LaTeX3 must be \emph{fully expandable} and that's why we do the affectation (necessary for a
+% comparison) before the |\msg_error:nn|.
+%    \begin{macrocode}
+               {\tl_set:Nn \l_tmpa_tl {Arrow}
+                \msg_error:nn {witharrows} {Arrow~in~first~column}
+                \@@_Arrow}
+%    \end{macrocode}
+%                                
 %
 % \subsection{The environnement \{WithArrows\}}
 %
 %
 % The environment |{WithArrows}| starts with the initialisation of the three counters |\g_@@_arrow_int|,
-% |\g_@@_line_int| dans |\g_@@_line_bis_int|. However, we have to save their previous values with the three stacks
+% |\g_@@_line_int| and |\g_@@_line_bis_int|. However, we have to save their previous values with the three stacks
 % created for this end.
 %    \begin{macrocode}
 \NewDocumentEnvironment {WithArrows} {O{}}
@@ -1581,6 +1673,7 @@ version 2005/12/01 or later.
 % manage a stack for this counter.
 %    \begin{macrocode}
            \int_gincr:N \g_@@_line_int 
+           \cs_set_eq:cN \l_@@_CommandName_tl \@@_Arrow_first_column: 
            \strut\hfil
            $\bool_if:NT \l_@@_displaystyle_bool \displaystyle {##}$
            & 
@@ -1599,9 +1692,9 @@ version 2005/12/01 or later.
 % We create the ``left node'' of the line (when using macros in Tikz node names, the macros have to be fully
 % expandable: here, |\tl_use:N| and |\int_use:N| are fully expandable).
 %    \begin{macrocode}
-           \tikz[remember~picture] 
-                  \node [@@_node_style] 
-                  (wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\g_@@_line_int-l) {} ;
+           \tikz[remember~picture,overlay]
+                  \node[@@_node_style]
+                     (wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\g_@@_line_int-l) {} ;
            \hfil
 %    \end{macrocode}
 %
@@ -1609,9 +1702,9 @@ version 2005/12/01 or later.
 % Now, after the |\hfil|, we create the ``right node'' and, if the option |shownodenames| is raised, the name of
 % the node is written in the document (useful for debugging).
 %    \begin{macrocode}
-           \tikz[remember~picture,label~position=right] 
-                  \node [@@_node_style] 
-                  (wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\g_@@_line_int-r) {} ;
+           \tikz[remember~picture,overlay]
+                  \node[@@_node_style]
+                    (wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\g_@@_line_int-r) {} ;
            \bool_if:NT \l_@@_shownodenames_bool
                 {\hbox_overlap_right:n {\small wa-\tl_use:N\l_@@_prefix_tl
                                                  -\int_use:N\g_@@_line_int}}
@@ -1628,9 +1721,9 @@ version 2005/12/01 or later.
           }
 %    \end{macrocode}
 %
-% \bigskip
-% We begin the second part of the environment |{WithArrows}|. We have two |\egroup|: one for the |\halign| and
-% one for the |\vtop| (or |\vcenter| or |\vbox|).
+% \bigskip 
+% We begin the second part of the environment |{WithArrows}|. We have two |\egroup|\,: one for the
+% |\halign| and one for the |\vtop| (or |\vcenter| or |\vbox|).
 %    \begin{macrocode}
           {\crcr
            \egroup 
@@ -1788,7 +1881,7 @@ version 2005/12/01 or later.
 % new group in two circonstancies : if we are at the first arrow of the environment (that's why the flag is raised
 % before the beginning of the loop) an if we have just finished a group (that's why the flag is raised in the
 % previous conditionnal). At the beginning of a group, we have to initialize four variables:
-% |\l_@@_first_arrow_int|, |\l_@@_first_line_of_group_int|, |\l_@@_last_line_of_group| dans |\g_@@_x_dim| (global
+% |\l_@@_first_arrow_int|, |\l_@@_first_line_of_group_int|, |\l_@@_last_line_of_group| and |\g_@@_x_dim| (global
 % for technical reasons). The last two will evolve during the construction of the group.
 %    \begin{macrocode}
        \bool_if:nTF \l_@@_new_group_bool
@@ -1881,15 +1974,15 @@ version 2005/12/01 or later.
 % If the arrow ends after the last line of the environment, we raise an error.
 %    \begin{macrocode}
       \int_compare:nNnT \l_@@_final_int > \g_@@_line_int
-             {\msg_error:nn {witharrows} {Too~few~lines~for~an~arrow}}
+             {\msg_fatal:nn {witharrows} {Too~few~lines~for~an~arrow}}
 %    \end{macrocode}
 %
 % \bigskip
 % We prepare the process of the options of the current arrow.
 %    \begin{macrocode}
-           \group_begin:
-           \int_set:Nn \l_@@_previous_pos_arrows_int {-1}
-           \int_set:Nn \l_@@_level_int 2
+      \group_begin:
+      \int_set:Nn \l_@@_previous_pos_arrows_int {-1}
+      \int_set:Nn \l_@@_level_int 2
 %    \end{macrocode}
 %
 % \bigskip
@@ -1897,22 +1990,22 @@ version 2005/12/01 or later.
 % three times. An x-expansion is not possible because there can be tokens like |\bfseries| in the option |font| of
 % the option |tikz|. This expansion is a bit tricky.
 %    \begin{macrocode}
-           \prop_get:cnN {g_@@_arrow_\l_@@_prefix_tl 
-                             _\int_use:N\l_@@_arrow_int _prop} {options} \l_tmpa_tl
-           \exp_args:NNo \exp_args:No \keys_set_WithArrows: {\l_tmpa_tl}
+      \prop_get:cnN {g_@@_arrow_\l_@@_prefix_tl 
+                        _\int_use:N\l_@@_arrow_int _prop} {options} \l_tmpa_tl
+      \exp_args:NNo \exp_args:No \keys_set_WithArrows: {\l_tmpa_tl}
 %    \end{macrocode}
 %
 %
 % We create two booleans to indicate the position of the initial node and final node of the arrow in cases of
 % options |rr|, |rl|, |lr| or |ll|:
 %    \begin{macrocode}
-\bool_set_false:N \l_@@_initial_r_bool
-\bool_set_false:N \l_@@_final_r_bool
-\int_case:nn \l_@@_pos_arrows_int 
-       {0 {\bool_set_true:N \l_@@_initial_r_bool
-           \bool_set_true:N \l_@@_final_r_bool}
-        2 {\bool_set_true:N \l_@@_initial_r_bool}
-        3 {\bool_set_true:N \l_@@_final_r_bool}}
+      \bool_set_false:N \l_@@_initial_r_bool
+      \bool_set_false:N \l_@@_final_r_bool
+      \int_case:nn \l_@@_pos_arrows_int 
+             {0 {\bool_set_true:N \l_@@_initial_r_bool
+                 \bool_set_true:N \l_@@_final_r_bool}
+              2 {\bool_set_true:N \l_@@_initial_r_bool}
+              3 {\bool_set_true:N \l_@@_final_r_bool}}
 %    \end{macrocode}
 %
 % \bigskip
@@ -1921,17 +2014,17 @@ version 2005/12/01 or later.
 % the option |groups| is used). This variable is global for technical reasons: we have to do assignments in a Tikz
 % node.
 %    \begin{macrocode}
-           \int_compare:nNnT \l_@@_pos_arrows_int = 4
-                  {
+      \int_compare:nNnT \l_@@_pos_arrows_int = 4
+             {
 %    \end{macrocode}
 % 
 % \medskip
 % First, we calculate the initial value for |\g_@@_x_dim|. We use a Tikz command, but, in fact, nothing is drawn.
 % We use this Tikz command only to read the abscissa of a Tikz node.
 %    \begin{macrocode}
-                   \tikz[remember~picture]
-                   \path let \p1 = (wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\l_@@_initial_int-l)
-                         in \pgfextra {\dim_gset:Nn \g_@@_x_dim {\x1}} ;
+              \tikz[remember~picture]
+              \path let \p1 = (wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\l_@@_initial_int-l)
+                    in \pgfextra {\dim_gset:Nn \g_@@_x_dim {\x1}} ;
 %    \end{macrocode}
 % A global assignment is necessary because of Tikz.
 %
@@ -1939,21 +2032,21 @@ version 2005/12/01 or later.
 % |\l_@@_final_int|... but we have written a command dedicated to this work because it will also be used in 
 % |\@@_draw_arrows:|.
 %    \begin{macrocode}
-                   \@@_actualise_x_value:nn \l_@@_initial_int \l_@@_final_int
-                   }
+              \@@_actualise_x_value:nn \l_@@_initial_int \l_@@_final_int
+              }
 %    \end{macrocode}
 %
 % \bigskip
 % |\l_@@_initial_tl| contains the name of the Tikz node from which the arrow starts (in normal cases...
-% because with option |group| or option |i|, the point will perhaps have an other $x$-value --- but always the
+% because with the option |i|, |group| and |groups|, the point will perhaps have an other $x$-value --- but always the
 % same |y|-value). Idem for |\l_@@_final_tl|.
 %    \begin{macrocode}
-           \tl_set:Nx \l_@@_initial_tl 
-                   {wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\l_@@_initial_int-
-                            \bool_if:NTF\l_@@_initial_r_bool rl} 
-           \tl_set:Nx \l_@@_final_tl 
-                   {wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\l_@@_final_int-
-                            \bool_if:NTF\l_@@_final_r_bool rl . north}
+      \tl_set:Nx \l_@@_initial_tl 
+              {wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\l_@@_initial_int-
+                       \bool_if:NTF\l_@@_initial_r_bool rl .south} 
+      \tl_set:Nx \l_@@_final_tl 
+              {wa-\tl_use:N\l_@@_prefix_tl-\int_use:N\l_@@_final_int-
+                       \bool_if:NTF\l_@@_final_r_bool rl .north}
 %    \end{macrocode}
 % We use ``|. north|'' because we want a small gap between two consecutive arrows (and the Tikz nodes created have
 % the shape of small vertical segments: use option |shownodes| to visualize the nodes).
@@ -1961,15 +2054,15 @@ version 2005/12/01 or later.
 % \bigskip
 % We can now draw the arrow in a |{tikzpicture}|:
 %    \begin{macrocode}
-           \begin{tikzpicture}[remember~picture,
-                               overlay,
-                               align=left,
-                               auto=left,
-                               font = {\small\itshape},
-                               TipsOfWithArrows,
-                               ->,
-                               looseness=1,
-                               bend~left=45]
+      \begin{tikzpicture}[remember~picture,
+                          overlay,
+                          align=left,
+                          auto=left,
+                          font = {\small\itshape},
+                          TipsOfWithArrows,
+                          ->,
+                          looseness=1,
+                          bend~left=45]
 %    \end{macrocode}
 %
 % Of course, the arrow is drawn with the command |\draw| of Tikz. The syntax for this command is:
@@ -1986,14 +2079,14 @@ version 2005/12/01 or later.
 % the $x$-value and $y$-value of these two points can be read in |\x1|, |\x2|, |\y1| and |\y2|. This is the way to
 % have the coordinates of a node defined in Tikz.
 %    \begin{macrocode}
-           \prop_get:cnN {g_@@_arrow_\l_@@_prefix_tl _\int_use:N\l_@@_arrow_int _prop} 
-                         {label} \l_tmpa_tl
-           \draw \exp_after:wN [\l_@@_options_tikz_tl]
-                 let \p1 = (\tl_use:N \l_@@_initial_tl),
-                     \p2 = (\tl_use:N \l_@@_final_tl) in 
-                   (\int_compare:nNnTF \l_@@_pos_arrows_int > 3 
-                     {\dim_use:N \g_@@_x_dim + \dim_use:N \l_@@_xoffset_dim, \y1}
-                     {\x1 + \dim_use:N \l_@@_xoffset_dim, \y1} )
+      \prop_get:cnN {g_@@_arrow_\l_@@_prefix_tl _\int_use:N\l_@@_arrow_int _prop} 
+                    {label} \l_tmpa_tl
+      \draw \exp_after:wN [\l_@@_options_tikz_tl]
+            let \p1 = (\tl_use:N \l_@@_initial_tl),
+                \p2 = (\tl_use:N \l_@@_final_tl) in 
+              (\int_compare:nNnTF \l_@@_pos_arrows_int > 3 
+                {\dim_use:N \g_@@_x_dim + \dim_use:N \l_@@_xoffset_dim, \y1}
+                {\x1 + \dim_use:N \l_@@_xoffset_dim, \y1} )
 %    \end{macrocode}
 % There are two ways to give the content of the node: the classical way, with curly braces, and the option ``node
 % contents''. However, both are not strictly equivalent: when |\usetikzlibrary{babel}| is used, the tokens of the
@@ -2002,18 +2095,18 @@ version 2005/12/01 or later.
 % the second method. \footnote{cf.:
 % |tex.stackexchange.com/questions/298177/how-to-get-around-a-problem-with-usetikzlibrarybabel|}
 %    \begin{macrocode}
-                   to node [node~contents = {\tl_use:N \l_tmpa_tl}] {}
-                   (\int_compare:nNnTF \l_@@_pos_arrows_int > 3 
-                     {\dim_use:N \g_@@_x_dim + \dim_use:N \l_@@_xoffset_dim, \y2}
-                     {\x2 + \dim_use:N \l_@@_xoffset_dim, \y2} ) ; 
-           \end{tikzpicture}
+              to node [node~contents = {\tl_use:N \l_tmpa_tl}] {}
+              (\int_compare:nNnTF \l_@@_pos_arrows_int > 3 
+                {\dim_use:N \g_@@_x_dim + \dim_use:N \l_@@_xoffset_dim, \y2}
+                {\x2 + \dim_use:N \l_@@_xoffset_dim, \y2} ) ; 
+      \end{tikzpicture}
 %    \end{macrocode}
 %
 % \smallskip
 % We close the TeX group opened for the options given to |\Arrow[...]| (local level of the options).
 %    \begin{macrocode}
-       \group_end: 
-       \int_incr:N \l_@@_arrow_int
+      \group_end: 
+      \int_incr:N \l_@@_arrow_int
       } 
       \group_end:
      }
@@ -2074,7 +2167,7 @@ version 2005/12/01 or later.
 %    \begin{macrocode}          
 \msg_new:nnn {witharrows}
              {Arrow~used~outside~{WithArrows}~environment}
-             {The~command~\string\Arrow\space~should~be~used~only~directly~
+             {The~command~\token_to_str:N\Arrow\ should~be~used~only~directly~
               in~\{WithArrows\}~environment~and~not~in~a~subenvironment.~However,~you~
               can~go~on.}
 %    \end{macrocode}
@@ -2083,7 +2176,7 @@ version 2005/12/01 or later.
 \msg_new:nnn {witharrows}
              {The~option~"jump"~must~be~non~negative}
              {You~can't~use~a~strictly~negative~value~for~the~option~"jump"~of~command~
-              \string\Arrow.~ You~can~create~an~arrow~going~backwards~with~
+              \token_to_str:N\Arrow.~ You~can~create~an~arrow~going~backwards~with~
               the~option~"<-"~of~Tikz.}
 %    \end{macrocode}
 %
@@ -2116,9 +2209,9 @@ version 2005/12/01 or later.
                    6 {groups}}"~
               previously~set~in~the~same~
               \int_case:nn\l_@@_level_int 
-                   {0 {command~\string\WithArrowsOptions}
+                   {0 {command~\token_to_str:N\WithArrowsOptions}
                     1 {declaration~of~options~of~the~environment~\{WithArrows\}}
-                    2 {command~\string\Arrow}}.~
+                    2 {command~\token_to_str:N\Arrow}}.~
               If~you~go~on,~I~will~overwrite~the~first~option.}
 %    \end{macrocode}
 %
@@ -2129,7 +2222,7 @@ version 2005/12/01 or later.
                (because~the~nodes~are~created~in~the~second~column).~You~can~go~on~but~maybe~
                you~will~have~an~pgf~error~for~an~undefined~shape.}
               {The~ampersand~can~be~implicit~
-               (e.g.~if~you~use~\string\MoveEqLeft\space~of~mathtools).}
+               (e.g.~if~you~use~\token_to_str:N\MoveEqLeft\ of~mathtools).}
 %    \end{macrocode}
 %
 %    \begin{macrocode}          
@@ -2158,6 +2251,21 @@ version 2005/12/01 or later.
              {The~option~"\tl_use:N\l_keys_key_tl"~is~unknown~or~meaningless~in~the~context.~
               If~you~go~on,~it~will~be~ignored.}
 %    \end{macrocode}
+%
+%    \begin{macrocode}
+\msg_new:nnn {witharrows}
+             {Arrow~in~first~column}
+             {You~should~not~use~the~command~\token_to_str:N\Arrow\
+              \tl_if_eq:NNF \l_@@_CommandName_tl \l_tmpa_tl
+                    {(renamed~in~\str_use:N \c_backslash_str
+                     \tl_use:N \l_@@_CommandName_tl)~}
+              ~in~the~first~column~but~only~in~the~second~column.~
+              This~is~a~restriction~of~the~version~1.3~of~the~
+              package~witharrows~(in~the~aim~of~developping~further~
+              ~a~new~functionality~with~\token_to_str:N\Arrow\ in~the~
+              first~column).\\
+              However~you~can~go~on~for~this~time.}
+%    \end{macrocode}
 % 
 %
 %
@@ -2184,6 +2292,13 @@ version 2005/12/01 or later.
 % New option |groups| (with a \emph{s})
 %
 % Better error messages
+% 
+% \subsection{Changes between versions 1.1 and 1.2}
+% 
+% New options |ygap| and |ystart| for fine tuning.
+%
+% Minor bugs.
+%
 % \endinput
 %
 % Local Variables:
diff --git a/Master/texmf-dist/tex/latex/witharrows/witharrows.sty b/Master/texmf-dist/tex/latex/witharrows/witharrows.sty
index b18863db15c..8f4add2a4bf 100644
--- a/Master/texmf-dist/tex/latex/witharrows/witharrows.sty
+++ b/Master/texmf-dist/tex/latex/witharrows/witharrows.sty
@@ -18,8 +18,8 @@
 %% and version 1.3 or later is part of all distributions of
 %% LaTeX version 2005/12/01 or later.
 %% 
-\def\myfileversion{1.2}
-\def\myfiledate{2017/11/29}
+\def\myfileversion{1.3}
+\def\myfiledate{2018/01/11}
 \RequirePackage{tikz}
 \usetikzlibrary{calc,arrows.meta,bending}
 \RequirePackage{l3keys2e}
@@ -30,12 +30,13 @@
   {Draws arrows for explanations on the right}
 \RequirePackage{xparse}
 \RequirePackage{footnote}
-\tikzstyle{__wa_node_style}=[rectangle,
-                           inner~sep = 0 pt,
-                           minimum~height = 3 pt,
-                           minimum~width = 0pt,
-                           red,
-                           \bool_if:NT \l__wa_shownodes_bool {draw}]
+\tikzset{__wa_node_style/.style={
+               above = \l__wa_ystart_dim,
+               inner~sep = 0 pt,
+               minimum~width = 0pt,
+               minimum~height = \l__wa_ygap_dim,
+               red,
+               \bool_if:NT \l__wa_shownodes_bool {draw}}}
 \tikzset{TipsOfWithArrows/.style= { > = {Straight~Barb[scale=1.2,bend]}} }
 \cs_if_free:NT \spread@equation
     {\cs_set:Npn \spread@equation{\openup\jot
@@ -49,6 +50,10 @@
 \int_new:N \l__wa_pos_env_int
 \int_new:N \l__wa_pos_arrows_int
 \int_new:N \l__wa_previous_pos_arrows_int
+\dim_new:N \l__wa_ygap_dim
+\dim_set:Nn \l__wa_ygap_dim {0.4 ex}
+\dim_new:N \l__wa_ystart_dim
+\dim_set:Nn \l__wa_ystart_dim {0.4 ex}
 \dim_new:N \l__wa_xoffset_dim
 \dim_set:Nn \l__wa_xoffset_dim {3mm}
 \bool_new:N \l__wa_shownodes_bool
@@ -70,6 +75,10 @@
       c   .value_forbidden:n = true,
       b   .code:n            = {\int_set:Nn \l__wa_pos_env_int 2},
       b   .value_forbidden:n = true,
+      ygap .dim_set:N        = \l__wa_ygap_dim,
+      ygap .value_required:n = true,
+      ystart .dim_set:N        = \l__wa_ystart_dim,
+      ystart .value_required:n = true,
       MoreColumns .bool_set:N        = \l__wa_MoreColumns_bool,
       MoreColumns .value_forbidden:n = true,
       CommandName .tl_set:N         = \l__wa_CommandName_tl,
@@ -159,6 +168,10 @@
                 {g__wa_arrow_\l__wa_prefix_tl _\int_use:N\g__wa_arrow_int _prop}
                 \l_tmpa_prop
           }
+\cs_new_protected:Nn \__wa_Arrow_first_column:
+               {\tl_set:Nn \l_tmpa_tl {Arrow}
+                \msg_error:nn {witharrows} {Arrow~in~first~column}
+                \__wa_Arrow}
 \NewDocumentEnvironment {WithArrows} {O{}}
          { \seq_gput_right:NV \g__wa_arrow_int_seq \g__wa_arrow_int
            \int_gzero:N \g__wa_arrow_int
@@ -195,18 +208,19 @@
            \spread@equation
            \ialign\bgroup
            \int_gincr:N \g__wa_line_int
+           \cs_set_eq:cN \l__wa_CommandName_tl \__wa_Arrow_first_column:
            \strut\hfil
            $\bool_if:NT \l__wa_displaystyle_bool \displaystyle {##}$
            &
            \int_gincr:N \g__wa_line_bis_int
            $\bool_if:NT \l__wa_displaystyle_bool \displaystyle {{}##}$
-           \tikz[remember~picture]
-                  \node [__wa_node_style]
-                  (wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\g__wa_line_int-l) {} ;
+           \tikz[remember~picture,overlay]
+                  \node[__wa_node_style]
+                     (wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\g__wa_line_int-l) {} ;
            \hfil
-           \tikz[remember~picture,label~position=right]
-                  \node [__wa_node_style]
-                  (wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\g__wa_line_int-r) {} ;
+           \tikz[remember~picture,overlay]
+                  \node[__wa_node_style]
+                    (wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\g__wa_line_int-r) {} ;
            \bool_if:NT \l__wa_shownodenames_bool
                 {\hbox_overlap_right:n {\small wa-\tl_use:N\l__wa_prefix_tl
                                                  -\int_use:N\g__wa_line_int}}
@@ -302,57 +316,57 @@
                     {final} \l_tmpa_tl
       \int_set:Nn \l__wa_final_int {\l_tmpa_tl}
       \int_compare:nNnT \l__wa_final_int > \g__wa_line_int
-             {\msg_error:nn {witharrows} {Too~few~lines~for~an~arrow}}
-           \group_begin:
-           \int_set:Nn \l__wa_previous_pos_arrows_int {-1}
-           \int_set:Nn \l__wa_level_int 2
-           \prop_get:cnN {g__wa_arrow_\l__wa_prefix_tl
-                             _\int_use:N\l__wa_arrow_int _prop} {options} \l_tmpa_tl
-           \exp_args:NNo \exp_args:No \keys_set_WithArrows: {\l_tmpa_tl}
-\bool_set_false:N \l__wa_initial_r_bool
-\bool_set_false:N \l__wa_final_r_bool
-\int_case:nn \l__wa_pos_arrows_int
-       {0 {\bool_set_true:N \l__wa_initial_r_bool
-           \bool_set_true:N \l__wa_final_r_bool}
-        2 {\bool_set_true:N \l__wa_initial_r_bool}
-        3 {\bool_set_true:N \l__wa_final_r_bool}}
-           \int_compare:nNnT \l__wa_pos_arrows_int = 4
-                  {
-                   \tikz[remember~picture]
-                   \path let \p1 = (wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\l__wa_initial_int-l)
-                         in \pgfextra {\dim_gset:Nn \g__wa_x_dim {\x1}} ;
-                   \__wa_actualise_x_value:nn \l__wa_initial_int \l__wa_final_int
-                   }
-           \tl_set:Nx \l__wa_initial_tl
-                   {wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\l__wa_initial_int-
-                            \bool_if:NTF\l__wa_initial_r_bool rl}
-           \tl_set:Nx \l__wa_final_tl
-                   {wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\l__wa_final_int-
-                            \bool_if:NTF\l__wa_final_r_bool rl . north}
-           \begin{tikzpicture}[remember~picture,
-                               overlay,
-                               align=left,
-                               auto=left,
-                               font = {\small\itshape},
-                               TipsOfWithArrows,
-                               ->,
-                               looseness=1,
-                               bend~left=45]
-           \prop_get:cnN {g__wa_arrow_\l__wa_prefix_tl _\int_use:N\l__wa_arrow_int _prop}
-                         {label} \l_tmpa_tl
-           \draw \exp_after:wN [\l__wa_options_tikz_tl]
-                 let \p1 = (\tl_use:N \l__wa_initial_tl),
-                     \p2 = (\tl_use:N \l__wa_final_tl) in
-                   (\int_compare:nNnTF \l__wa_pos_arrows_int > 3
-                     {\dim_use:N \g__wa_x_dim + \dim_use:N \l__wa_xoffset_dim, \y1}
-                     {\x1 + \dim_use:N \l__wa_xoffset_dim, \y1} )
-                   to node [node~contents = {\tl_use:N \l_tmpa_tl}] {}
-                   (\int_compare:nNnTF \l__wa_pos_arrows_int > 3
-                     {\dim_use:N \g__wa_x_dim + \dim_use:N \l__wa_xoffset_dim, \y2}
-                     {\x2 + \dim_use:N \l__wa_xoffset_dim, \y2} ) ;
-           \end{tikzpicture}
-       \group_end:
-       \int_incr:N \l__wa_arrow_int
+             {\msg_fatal:nn {witharrows} {Too~few~lines~for~an~arrow}}
+      \group_begin:
+      \int_set:Nn \l__wa_previous_pos_arrows_int {-1}
+      \int_set:Nn \l__wa_level_int 2
+      \prop_get:cnN {g__wa_arrow_\l__wa_prefix_tl
+                        _\int_use:N\l__wa_arrow_int _prop} {options} \l_tmpa_tl
+      \exp_args:NNo \exp_args:No \keys_set_WithArrows: {\l_tmpa_tl}
+      \bool_set_false:N \l__wa_initial_r_bool
+      \bool_set_false:N \l__wa_final_r_bool
+      \int_case:nn \l__wa_pos_arrows_int
+             {0 {\bool_set_true:N \l__wa_initial_r_bool
+                 \bool_set_true:N \l__wa_final_r_bool}
+              2 {\bool_set_true:N \l__wa_initial_r_bool}
+              3 {\bool_set_true:N \l__wa_final_r_bool}}
+      \int_compare:nNnT \l__wa_pos_arrows_int = 4
+             {
+              \tikz[remember~picture]
+              \path let \p1 = (wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\l__wa_initial_int-l)
+                    in \pgfextra {\dim_gset:Nn \g__wa_x_dim {\x1}} ;
+              \__wa_actualise_x_value:nn \l__wa_initial_int \l__wa_final_int
+              }
+      \tl_set:Nx \l__wa_initial_tl
+              {wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\l__wa_initial_int-
+                       \bool_if:NTF\l__wa_initial_r_bool rl .south}
+      \tl_set:Nx \l__wa_final_tl
+              {wa-\tl_use:N\l__wa_prefix_tl-\int_use:N\l__wa_final_int-
+                       \bool_if:NTF\l__wa_final_r_bool rl .north}
+      \begin{tikzpicture}[remember~picture,
+                          overlay,
+                          align=left,
+                          auto=left,
+                          font = {\small\itshape},
+                          TipsOfWithArrows,
+                          ->,
+                          looseness=1,
+                          bend~left=45]
+      \prop_get:cnN {g__wa_arrow_\l__wa_prefix_tl _\int_use:N\l__wa_arrow_int _prop}
+                    {label} \l_tmpa_tl
+      \draw \exp_after:wN [\l__wa_options_tikz_tl]
+            let \p1 = (\tl_use:N \l__wa_initial_tl),
+                \p2 = (\tl_use:N \l__wa_final_tl) in
+              (\int_compare:nNnTF \l__wa_pos_arrows_int > 3
+                {\dim_use:N \g__wa_x_dim + \dim_use:N \l__wa_xoffset_dim, \y1}
+                {\x1 + \dim_use:N \l__wa_xoffset_dim, \y1} )
+              to node [node~contents = {\tl_use:N \l_tmpa_tl}] {}
+              (\int_compare:nNnTF \l__wa_pos_arrows_int > 3
+                {\dim_use:N \g__wa_x_dim + \dim_use:N \l__wa_xoffset_dim, \y2}
+                {\x2 + \dim_use:N \l__wa_xoffset_dim, \y2} ) ;
+      \end{tikzpicture}
+      \group_end:
+      \int_incr:N \l__wa_arrow_int
       }
       \group_end:
      }
@@ -382,13 +396,13 @@
               a~global~level~or~for~an~environment.~However,~you~can~go~one~for~this~time.}
 \msg_new:nnn {witharrows}
              {Arrow~used~outside~{WithArrows}~environment}
-             {The~command~\string\Arrow\space~should~be~used~only~directly~
+             {The~command~\token_to_str:N\Arrow\ should~be~used~only~directly~
               in~\{WithArrows\}~environment~and~not~in~a~subenvironment.~However,~you~
               can~go~on.}
 \msg_new:nnn {witharrows}
              {The~option~"jump"~must~be~non~negative}
              {You~can't~use~a~strictly~negative~value~for~the~option~"jump"~of~command~
-              \string\Arrow.~ You~can~create~an~arrow~going~backwards~with~
+              \token_to_str:N\Arrow.~ You~can~create~an~arrow~going~backwards~with~
               the~option~"<-"~of~Tikz.}
 \msg_new:nnn {witharrows}
              {Too~few~lines~for~an~arrow}
@@ -412,9 +426,9 @@
                    6 {groups}}"~
               previously~set~in~the~same~
               \int_case:nn\l__wa_level_int
-                   {0 {command~\string\WithArrowsOptions}
+                   {0 {command~\token_to_str:N\WithArrowsOptions}
                     1 {declaration~of~options~of~the~environment~\{WithArrows\}}
-                    2 {command~\string\Arrow}}.~
+                    2 {command~\token_to_str:N\Arrow}}.~
               If~you~go~on,~I~will~overwrite~the~first~option.}
 \msg_new:nnnn {witharrows}
               {All~lines~must~have~an~ampersand}
@@ -422,7 +436,7 @@
                (because~the~nodes~are~created~in~the~second~column).~You~can~go~on~but~maybe~
                you~will~have~an~pgf~error~for~an~undefined~shape.}
               {The~ampersand~can~be~implicit~
-               (e.g.~if~you~use~\string\MoveEqLeft\space~of~mathtools).}
+               (e.g.~if~you~use~\token_to_str:N\MoveEqLeft\ of~mathtools).}
 \msg_new:nnn {witharrows}
              {Option~incompatible~with~"group(s)"}
              {You~try~to~use~the~option~"\tl_use:N\l_keys_key_tl"~while~
@@ -440,6 +454,18 @@
              {Option~unknown}
              {The~option~"\tl_use:N\l_keys_key_tl"~is~unknown~or~meaningless~in~the~context.~
               If~you~go~on,~it~will~be~ignored.}
+\msg_new:nnn {witharrows}
+             {Arrow~in~first~column}
+             {You~should~not~use~the~command~\token_to_str:N\Arrow\
+              \tl_if_eq:NNF \l__wa_CommandName_tl \l_tmpa_tl
+                    {(renamed~in~\str_use:N \c_backslash_str
+                     \tl_use:N \l__wa_CommandName_tl)~}
+              ~in~the~first~column~but~only~in~the~second~column.~
+              This~is~a~restriction~of~the~version~1.3~of~the~
+              package~witharrows~(in~the~aim~of~developping~further~
+              ~a~new~functionality~with~\token_to_str:N\Arrow\ in~the~
+              first~column).\\
+              However~you~can~go~on~for~this~time.}
 \endinput
 %%
 %% End of file `witharrows.sty'.