If we want ease-of-use, the fact that you typed out “backwards-E existence symbol” instead of “∃” isn’t encouraging...
If we want ease-of-use, the fact that you typed out “backwards-E existence symbol” instead of “∃” isn’t encouraging...