Use char codes instead of symbols, just to be safe.