I discovered how I messed up the file.  I edited it in TextEdit (Mac).  To fix it I cut/paste the correct symbol from NATURAL_xx to my file.  It is fine now, so can't send the offending file.

The screen shots show the file as seen in EiffelStudio editor and Geany.  It has got to be an encoding issue from saving with TextEdit.

Okay, so I know now not to edit Eiffel files in TextEdit.  If I edit in Geany can I save it with a particular encoding to display the characters correctly when coming back to Eiffel?  IOW, what encoding does EiffelStudio need to display the xor symbol as used in the NATURAL_xx classes?

thanks