Added a note on \preceq.