Add a check for unicode double right arrow operator

Add a check for unicode double right arrow operator #2133