-
Notifications
You must be signed in to change notification settings - Fork 1
/
name-popup.html
44 lines (36 loc) · 1.27 KB
/
name-popup.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
<!DOCTYPE html>
<HTML>
<!-- Mirrored from lamport.azurewebsites.net/tla/name-popup.html by HTTrack Website Copier/3.x [XR&CO'2014], Thu, 26 Mar 2020 22:31:19 GMT -->
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=iso-8859-1">
<META NAME="GENERATOR" CONTENT="Mozilla/4.05 [en] (X11; I; OSF1 V4.0 alpha)
[Netscape]">
<!--
<TITLE>Head Title</TITLE>
-->
<STYLE type="text/css">
H2 {line-height:45px; margin-bottom:0px; text-align: left; font-size:26px;
color:#000000}
H3 {line-height:10px; margin-bottom:8px; text-align: left}
body {background-color:#ffffe4; max-width:750px;
font-family:Calibri,Trebuchet MS,Verdana;
font-size:18px;
line-height:22px;
}
pre {font-size:15px}
code {font-size:17px}
</STYLE>
</HEAD>
<BODY BGCOLOR=#ffffe4>
<TITLE>TLA+ or TLA+ ?</TITLE>
<H3>TLA<font style="vertical-align:25%">+</font>  or
 TLA+ ?</H3>
<p> </p>
The official name of the language
is TLA<font style="vertical-align:25%">+</font>, with
the  <q>+</q>  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+.
</BODY>