Template:Darrow

From The Twelf Project
Jump to: navigation, search

This template renders the double right arrow (latex \Rightarrow) symbol, with workarounds for Internet Explorer. Use it by typing {{darrow}} in an article.