Sorry, I can’t resist being pedantic on a post about pedantry. The symbol you used translates loosely as “there exists an x”; I’m pretty sure you meant the upside-down A (“for all/every x”)