Added symbolic library.