add note about Symbolics in tagging