I want to combine the existential and universal quantifiers so that the left part of the universal quantifier match the right of the existential.
To do so I defined the command:
Which work well when I type
$\quantifs$. However the matching gets all wrong if the sizes change, for example when it is in subscript like in
How can I fix that? Or is there already such symbol defined somewhere?