Logical notation