Minor changes, added `normalising symbols`.