TLA+ graphic design

72 views

Skip to first unread message

Andrew Helwer

unread,

May 11, 2015, 11:30:10 PM5/11/15

to tla...@googlegroups.com

Is there an official logo or mascot for TLA+, PlusCal, or any of the tools? If so, where may I find it and how is it licensed?

Leslie Lamport

unread,

May 12, 2015, 4:07:31 AM5/12/15

to tla...@googlegroups.com, andrew...@gmail.com

Hi Andrew,

There is no official logo, mascot, trademark, or advertising campaign for TLA+. The official "spelling" of TLA+ is with the "+" a superscript. There is the splash page, which is in the file splash_small.png in org.lamport.tla.toolbox.product.standalone/images on the CodePlex site. It was drawn by my brother, so if used, I'd appreciate it if "(c) Edward Lamport" appeared with it.

Leslie

On Monday, May 11, 2015 at 8:30:10 PM UTC-7, Andrew Helwer wrote:

Reply all

Reply to author

Forward

0 new messages