В формальной письменности какой страны использовались иероглифы?