RULE XXSIGNS AND SYMBOLS OF COMPARISON
Simple Comparison Signs Arc
 Concave upward$a
 Concave downward$'
 Arrow
 Leftpointing$[33
 Rightpointing
 Contacted$o
 Uncontacted$33o
 Downpointing$%33o
 Uppointing$<33o
 Twoway
 Horizontal$[33o
 Vertical$<[33o
 Equals (is equal to)
 Normal.k
 Boldface.k
 Greater Than (is greater than)
 Normal.1
 With curved sides..1
 Identity (is congruent to; is identical to)_l
 Inclusion (is contained in; is a subset of)_"k
 Less than (is less than)
 Normal"k
 With curved sides."k
 Membership (is an element of; belongs to)@e
 Parallel To (is parallel to)$l
 Perpendicular To (is perpendicular to)$p
 Proportion (as);2
 Ratio (is to)"1
 Relation (is related to),r
 Reverse Inclusion (contains; in logic, implies)_.1
 Reverse Membership (contains the element)@5
 Tilde
 Simple (is related to; is similar to)@:
 Extended (is related to)@,:
 Variation (varies as)_=
 Vertical Bar (such that)\
 Equals Sign
 Caret over".k<_<]
 Caret Under (is projective to, projective correspondence)".k%_<]
 Degree sign over (is equal in degrees to)".k<.*]
 Dot over (is approximately equal to)".k<*]
 Dot over and dot under".k%*<*]
 Equilateral triangle over".k<$t]
 Inverted caret over".k<_%]
 Leftpointing caret over".k<;<]
 Question mark over".k<_8]
 Rightpointing caret over".k<;%]
 Two dots over and two dots under".k%**<**]
 Vertical bar over".k<\]
 Horizontal Bar
 Caret over":<_<]
 Caret under (is perspective to, perspective correspondence)":%_<]
 Dot under":%*]
 Simple Tilde, Dot Under"@:%*]
 Arrow Combinations
 Rightpointing over leftpointing$33o$[33
 Rightpointing with upper barb over leftpointing with lower barb$33@o$,[33
 Rightpointing over boldface leftpointing$33o$_[33
 Leftpointing over boldface rightpointing$[33$_33o
 Boldface rightpointing over leftpointing$_33o$[33
 Boldface leftpointing over rightpointing$_[33$33o
 Boldface rightpointing over boldface leftpointing$_33o$_[33
 Boldface leftpointing over boldface rightpointing$_[33$_33o
 Long rightpointing over short leftpointing$333o$[3
 Short rightpointing over long leftpointing$3o$[333
 Equivalence (is equivalent to)@<,<
 Greater Than
 Bar over greater than (is equal to or greater than):.1
 Bar under greater than (is greater than or equal to).1:
 Equals sign over greater than (is equal to or greater than).k.1
 Equals sign under greater than (is greater than or equal to).1.k
 Inclusion
 Bar over inclusion (is a subset of):_"k
 Bar under inclusion (is a subset of)_"k:
 Equals sign over inclusion (is a subset of).k_"k
 Equals sign under inclusion (is a subset of)_"k.k
 Intersection (cap)
 Bar under intersection.%:
 Equals sign under intersection.%.k
 Less Than
 Bar over less than (is equal to or less than):"k
 Bar under less than (is less than or equal to)"k:
 Equals sign over less than (is equal to or less than).k"k
 Equals sign under less than (is less than or equal to)"k.k
 Logical Product (meet)
 Bar over logical product:@%
 Bar over and bar under logical product:@%:
 Bar over and equals sign under logical product:@%.k
 Bar under logical product@%:
 Equals sign over logical product.k@%
 Equals sign over and bar under logical product.k@%:
 Equals sign over and equals sign under logical product.k@%.k
 Equals sign under logical product@%.k
 Logical Sum (join)
 Bar over logical sum:@+
 Bar over and bar under logical sum:@+:
 Bar over and equals sign under logical sum:@+.k
 Bar under logical sum@+:
 Equals sign over logical sum.k@+
 Equals sign over and bar under logical sum.k@+:
 Equals sign over and equals sign under logical sum.k@+.k
 Equals sign under logical sum@+.k
 Reverse Inclusion
 Bar over reverse inclusion:_.1
 Bar under reverse inclusion_.1:
 Equals sign over reverse inclusion.k_.1
 Equals sign under reverse inclusion_.1.k
 Tilde (is related to)
 Bar over double tilde:@:@:
 Bar over single tilde:@:
 Bar under double tilde@:@::
 Bar under single tilde@::
 Double tilde@:@:
 Equals sign over double tilde.k@:@:
 Equals sign over single tilde.k@:
 Equals sign under double tilde@:@:.k
 Equals sign under single tilde@:.k
 Union (cup)
 Bar under union.+:
 Equals sign under union.+.k
 Arrow Combinations
 Uppointing followed by downpointing$<33o"$%33o
 Downpointing followed by uppointing$%33o"$<33o
 Uppointing followed by boldface downpointing$<33o"$%_33o
 Downpointing followed by boldface uppointing$%33o$<_33o
 Boldface uppointing followed by downpointing$<_33o"$$%33o
 Boldface downpointing followed by uppointing$%_33o"$<33o
 Boldface uppointing followed by boldface downpointing$<_33o"$%_33o
 Boldface downpointing followed by boldface uppointing$%_33o"$<_33o
 Greater Than
 Followed by less than.1""k
 Followed by equals sign followed by less than.1".k""k
 Less Than
 Followed by greater than"k".1
 Followed by equals sign followed by greater than"k".k".1
 Dot
 Between bars of equals sign*@.k]
 Within inclusion sign*@_"k]
 Within reverse inclusion sign*@_.1]
 Equals Sign
 Through inclusion sign .k@_"k] or _"k@.k]
 Through reverse inclusion sign .k@_.1] or _.1@.k]
 Greater Than
 Nest of two with straight sides (is large compared with).1@.1]
 Nest of two with curved sides..1@..1]
 Horizontal Bar
 Through inclusion sign:@_"k]
 Through reverse inclusion sign:@_.1]
 Less Than
 Nest of two with straight sides (is small compared with)"k@"k]
 Nest of two with curved sides."k@."k]
 Vertical Bar
 Through shaft of rightpointing arrow\@$33o]
 Through shaft of leftpointing arrow\@$[33]
§140. Arrows: A detailed discussion of the construction of arrows of many types is presented in Rule XXI. The arrows in the list of simple comparison signs are those which occur with the greatest frequency.
If a rightpointing arrow has a full barb and a single shaft of ordinary length, is in regular type, and occurs by itself, it must be represented in its contracted form. If such an arrow is in nonregular type, is itself modified, or occurs as part of a more complex modification, it must be represented in its uncontracted form.
(1)
.(x \ \x\ "k #10.)
verbose semantics 
StartSet
x verticalline StartAbsoluteValue
x EndAbsoluteValue
lessthan 10 EndSet


(3)
".,s%n .k #0<,=]a;n
verbose semantics 
sigmasummation Underscript
n equals 0 Overscript
infinity EndScripts
a Subscript
n 

(4)
(a, b) _.k (c, d) if & only if a .k c & b .k d_4
verbose semantics 
leftparenthesis a comma b rightparenthesis equals leftparenthesis c comma d rightparenthesis if and only if a equals c and b equals d period 

(14)
,! unit interval .k .(x \ #0 "k: x "k: #1.)
verbose semantics 
The unit interval equals StartSet
x verticalline 0 lessthanorequalto x lessthanorequalto 1 EndSet


(17)
!;x ;.k a^x ^.k b"f(x)dx
verbose semantics 
Integral Subscript
x equals a Superscript
x equals b Baseline
f leftparenthesis x rightparenthesis d x 
