Bug fix to allow non ASCII symbols
Added tests for non ASCII symbols