character set problem
Dear Peter Anthoni, Re:
On 20 Feb 2019, at 07:22, Peter Anthoni <peter.anthoni at kit.edu> wrote: is your keyboard type US. International -PC, that will insert the weird caret. <bfmoeahenojamlch.png> cheers Peter
That 's it!!! What I thought to be the most universal keyboard proved to be the culprit. Changed to simple "US" (SystemPreferences, Language and region, Keyboard preferences) and all is OK. Thanks a lot. With best regards, Franklin - - - - - Franklin Bretschneider Utrecht University Utrecht, The Netherlands