Do not rewrite arrow symbol.