The proposed patches add some ligatures to the unicodesymbols file.The reason is that if you copy and paste text from a pdf-file that contain ligatures, you end up with an error that some characters can not be represented in the current encoding. If you change to utf8- encoding, there will be a more explicit error, but it is still hard to find the erroneous characters if you don' know what to look for (since the fi ligatures is very similar to a fi combination of characters). With the patch the ligatures are simply replaced by the corresponding characters.
Anders
ligature_patch
Description: Binary data
ligature_patch_15
Description: Binary data
