Notation `≼@{A}` is missing

We are probably missing such notations for more relations. It would be good to do a sweep.