TLA+ or TLA+ ?
TLA
+
or TLA+ ?
The official name of the language is TLA
+
, with the
+
a superscript. That's the way it should appear in print. In media that doesn't cope well with superscripts, like email and web pages, it's written as TLA+.