Missed opportunity for Arsenal - but were they denied 'clear penalty'?

Arsenal have moved seven points clear at the top of the Premier League after a 0-0 draw at Nottingham Forest - but should the Gunners have been awarded a penalty?