Implement ProhibitEqualTildeOperator