Date: Fri, 3 Jan 92 14:16:33 -0600 To: linear@cs.stanford.edu I was wondering if someone out there has used latex macros to draw proof nets? If so, would they be willing to share? thanks much, tk