better canonical ordering; briefer operators