Ensure that seq$--> and quotient$--> have the same precedence.