What do you mean? You just install it `]add Symbolics` and then use the library. (https://symbolics.juliasymbolics.org/dev/ has the docs).