Re-add workaround for rendering of Unicode minus sign in PDF output.