Gruppo Utilizzatori Italiani di TeX
Hai ragione, scusami; il nome del file è ifthen.pdf, dentro al quale è definito il comando \ifthenelse
