Use [variable] attribute to denote symbolic variables in the symbolic backend.