A wide-character-set extension of TeX
