fix unicode symbols routine in library