support '=' as bi-imp operator in addition to '<->'