3 ms·

"Is an element of the set" "for all" "there exists". It's automata and computational theory 201, not parody