Template:Dia

From The Twelf Project
Jump to: navigation, search

This template renders the diamond (latex \dia) symbol from modal logic, with workarounds for Internet Explorer. Use it by typing {{dia}} in an article.