mjd, What's a good way to draw a diagram of a not-necessarily transitive partial order? Hasse diagrams really want the order to be transitive.
((The orders I want to draw are: the nodes are permutations of ({1,2,\ldots n}) and (P\prec Q) whenver (\sum_{Q(i)<P(i)} i < \sum_{P(i)<Q(i)} i).))