>>757 それすなわち異体字は別コードに割り当てるってことじゃないかしら。