Introduce “” as sugar for <<""/utf8>>.