Through-encoding in Unicode