added an example for symbolic