accept that operators are pretty printed differently