Template:Exists

From The Twelf Project
Jump to: navigation, search

This template renders the there exists (latex \exists) symbol, with workarounds for Internet Explorer. Use it by typing {{exists}} in an article.