Add definitions of logical operator