logical notation in a referrable definition