Vrftsjtryk

It is my understanding that in ifxxy xx else yy fi, ifx does NOT expand its arguments. If you want ifx to compare the expanded values of x and y, then we need to do the expansion ourselves before feeding them to ifx:

edefxpndX{x}

edefxpndY{y}

ifxxpndXxpndY xx else yy fi

asedef does this expansion for us. This is frequently the case when x and y are the arguments in a macro so we really have no idea what kind of quantity they represent.

I was adapting a code snippet I found in user2478's answer to the TeX-SE question Why does this simple ifx test fail? and came up with the following MWE:

documentclass{article}

usepackage[svgnames]{xcolor} % to get named colors



begin{document}



chardefmysteryletter=`H

% loop through A-Z to find out the mystery letter

newcountcurrentchar



currentchar=`A

loop

  chardeftemp=thecurrentchar

  edeftmp{temp}%

  ifxmysterylettertemp {color{Red}bftemp}elsetempfi

  advance currentchar by 1

  unlessifnum currentchar>90

repeat



end{document}

which, when compiled, generated the output:

which actually is the desired output, but it should NOT have been! I added the statement edeftmp{temp} to get the 'expanded' version of temp intending to change the temp argument to the ifx command to tmp but had not when this document was compiled. Low and behold, the desired result was printed out! This lead me to believe that the expansion performed by the edeftmp{temp} statement was not required, so it was commented out and the document recompiled. This gave the wrong result; the letter H was not bold or red

I note that removing the comment character from the end of the edef command had the expected affect of adding a space between each letter, but did not prevent the 'H' from being found and highlighted.

So my question is this: How does the unused expansion of temp by the edef statement change the comparison performed by the ifx command? What am I missing here?

  chardeftemp=thecurrentchar

  edeftmp{temp}%

tokens defined via chardef are not expandable, so edeftmp{temp} is the same as deftmp{temp}

It is not clear why you do not expect ifxmysterylettertemp not to be true if the two tokens are both defined via chardef with the same number?

I guess your modified version was equivalent to

  chardeftemp=thecurrentchar

  ifxmysterylettertemp 

There the ifx test happens before the assignment while looking to end the number, you need

  chardeftemp=thecurrentcharrelax

  ifxmysterylettertemp 

or

  chardeftemp=currentchar

  ifxmysterylettertemp 

So your edef was just acting like relax terminating the chardef assignment.