Implemented formatting of spec terms. Fixed markup for all spec terms