Fixed symbolication