Why is the following not an error? What is the semantics of the fixity of an atom? postulate X : Set infix 42 X -- Andreas Abel <>< Du bist der geliebte Mensch. Department of Computer Science and Engineering Chalmers and Gothenburg University, Sweden andreas.abel at gu.se http://www2.tcs.ifi.lmu.de/~abel/