Correct encoding for arrows