different font for \powerset