The FTSE 100 Index briefly rose above the record high, hitting 9,016.98 at one stage in morning trading on Tuesday.