Template:Forall

From The Twelf Project
Jump to: navigation, search

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