Added symbolic examples.