更改\def
为\gdef
,使定义成为全局的。在环境内部,每个子线都是其自己的组,因此\def
不会延续到其外部。
\documentclass{article}
\usepackage{amsmath}
\usepackage{witharrows}
\begin{document}
\def\var{x}
\[
\begin{WithArrows}
\var\var&=\gdef\var{y}\var\var\\
\var
\end{WithArrows}
\]
\end{document}