[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: TLA+ graphic design

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.


On Monday, May 11, 2015 at 8:30:10 PM UTC-7, Andrew Helwer wrote:
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?