[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: TLA+ graphic design
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?