# key: nEE
# name: notexists
# condition: (and (texmathp) 'auto)
# group: math
# --
\\nexists