[doc] Fix a typesetting error caused by \verb

It also contains corrections to syntax lines of Delete, ExtraSymbols,
FactDollar, Factorize, NFactorize, NUnfactorize and Unfactorize.