Template:Dia
From The Twelf Project
⋄
This template renders the diamond (latex \dia) symbol from modal logic, with workarounds for Internet Explorer. Use it by typing {{dia}} in an article.
- This page was last modified on 28 September 2006, at 13:40.
- Content is available under The MIT License (unless a tag indicates otherwise) unless otherwise noted.
- Download Twelf
- About The Twelf Project
- Disclaimers