Question 174357
Sorry, predicate calculus symbols are not available in the formula generator.  See the Wikipedia article on First-order logic.