summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist')
-rw-r--r--Master/texmf-dist/doc/latex/witharrows/witharrows.pdfbin220037 -> 226378 bytes
-rw-r--r--Master/texmf-dist/source/latex/witharrows/witharrows.dtx305
-rw-r--r--Master/texmf-dist/tex/latex/witharrows/witharrows.sty166
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
Binary files differ
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'.