Added proper symbol