Gentile Enrico,
la definizione che ho aggiunto al comando \ifthenelse può essere espressa così (\TE@rightarrow è il nome “interno” dell’operatore condizionale):
`\def\TE@rightarrow{\relax
\noexpand\TE@setvalfalse\noexpand
\else
\noexpand\TE@setvaltrue\noexpand
\fi
\noexpand\TE@negatefalse\noexpand
\fi\noexpand\ifTE@val\noexpand\else\noexpand\ifnum}`
dove \ifTE@negate e \ifTE@val sono nuovi ifs introdotti da ifthen, al pari delle seguenti definizioni
`\def\TE@setvaltrue{%
\ifTE@negate\TE@valfalse\else\TE@valtrue\fi}
\def\TE@setvalfalse{\let\ifTE@val\ifTE@negate}`
Essenzialmente, la definizione di \TE@rightarrow è analoga a quella data da ifthen per l’operatore booleano \OR (nome interno \TE@or), con l’unica differenza che “\TE@setvalfalse” e “\TE@setvaltrue” sono invertiti.
Spero sia sufficiente per capirci qualcosa. Grazie per l’attenzione e cordiali saluti,
Beppe.