Updated cons and symbol functions