[gambit-list] Fwd: Printing unicode characters in Gambit