encoding of head postscript font name