Board Thread:Wiki Discussions and Support/@comment-1251315-20141124085046/@comment-4366149-20141124090608

About the 4th point, I think encouraging this highly underused tag => <= will help greatly in speeding up verification, especially for contentious material.