Fixed this weird bug rendering expectation operators
Merge branch 'dev' of https://github.com/grujic/tnt into dev

* 'dev' of https://github.com/grujic/tnt:
  Changing operator defs