#logic notation #set theory notation #predicate logic #quantifiers math #set membership #implication symbol #formal notation #mathematical logic symbols