Stock market today: Sensex jumps 947 pts, Nifty above 23,250; Tech Mahindra, Infosys lead gainers

Among Sensex constituents, Tech Mahindra jumped 2.78% to Rs 1,377. Infosys gained 2.37%.