Template:Box

From The Twelf Project
Jump to: navigation, search

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