Changed fat arrow symbol.