ich glaube du kannst das Zeichen auch hexadezimal oder als ascii angeben. Damit sollte es dann klappen.