A PDF uses SymbolMT for its mathematical symbols. You need to extract selectable, searchable text preserving math meaning. Describe a concise workflow (tools and steps) to achieve accurate text extraction and symbol mapping. (10)