Update and rename symbolic.rst to sec_1.4_symbolic.rst