Relational.canonical: put symbol on lhs
quick