utils for Korean typesetting