Added symbols to ESS for left and right double arrows and ....