At 03:44 AM 9/14/2002 +0200, Heiko Oberdiek wrote: >I have already said, that "\~{}" is nasty, try "\textasciitilde" ... This works! Thanks! Julius