Template:Lolli

From The Twelf Project
Jump to: navigation, search

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