Tagged Questions

1
vote
2answers
335 views

Using there exists symbol within inference of the semantic package

I am using the semantic package to write inference rules. I need to put a there exists symbol which is standard to LaTeX using $\exists$. However, when used within the semantic package's inference ...