The book referred to was released in 2022, around the same month as Symbolics.jl, so it wouldn't have existed when the author was writing it.

Like everything else about native Julia alternatives to popular libraries, vendor lock-in is strong.