Template:Lolli
From The Twelf Project
⊸
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.
- This page was last modified on 28 September 2006, at 13:44.
- Content is available under The MIT License (unless a tag indicates otherwise) unless otherwise noted.
- Download Twelf
- About The Twelf Project
- Disclaimers