@ASCII vs. @UNICODE

#2
I think Charles is right, @alias has been enhanced to be an alias for @unicode. When I used @ascii and @unicode to report the character entered as alt-200, the lower left corner of double lines ╚, both reported 9562. Other few values I tried likewise.