posinormal operator