The Fortress Language Specification - CiteSeerX

U+227B SUCCEEDS ≻ SUCC
U+227D SUCCEEDS OR EQUAL TO SUCCEQ
U+227F SUCCEEDS OR EQUIVALENT TO SUCCSIM
U+22B1 SUCCEEDS UNDER RELATION
U+22DF EQUAL TO OR SUCCEEDS EQSUCC
U+22E9 SUCCEEDS BUT NOT EQUIVALENT TO SUCCNSIM
U+2AB0 SUCCEEDS ABOVE SINGLE-LINE EQUALS SIGN
U+2AB2 SUCCEEDS ABOVE SINGLE-LINE NOT EQUAL TO
U+2AB4 SUCCEEDS ABOVE EQUALS SIGN
U+2AB6 SUCCEEDS ABOVE NOT EQUAL TO
U+2AB8 SUCCEEDS ABOVE ALMOST EQUAL TO
U+2ABA SUCCEEDS ABOVE NOT ALMOST EQUAL TO
U+2ABC DOUBLE SUCCEEDS
The following are miscellaneous curly comparison operators. They may not be mixed or chained.
U+2280 DOES NOT PRECEDE ⊀ NPREC
U+2281 DOES NOT SUCCEED ⊁ NSUCC
U+22E0 DOES NOT PRECEDE OR EQUAL
̸
U+22E1 DOES NOT SUCCEED OR EQUAL
̸
F.4.6
Triangular Comparison Operators
The following are triangular “subgroup” comparison operators. They may be mixed and chained with each other and
with equivalence operators (see Section F.4.1).
U+22B2 NORMAL SUBGROUP OF
U+22B4 NORMAL SUBGROUP OF OR EQUAL TO
The following are triangular “contains as subgroup” comparison operators. They may be mixed and chained with each
other and with equivalence operators (see Section F.4.1).
U+22B3 CONTAINS AS NORMAL SUBGROUP
U+22B5 CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
The following are miscellaneous triangular comparison operators. They may not be mixed or chained.
U+22EA NOT NORMAL SUBGROUP OF
U+22EB DOES NOT CONTAIN AS NORMAL SUBGROUP
U+22EC NOT NORMAL SUBGROUP OF OR EQUAL TO
U+22ED DOES NOT CONTAIN AS NORMAL SUBGROUP OR EQUAL
⊳
⊲
⋪
⋫
F.4.7
Chickenfoot Comparison Operators
The following are chickenfoot “smaller than” comparison operators. They may be mixed and chained with each other
and with equivalence operators (see Section F.4.1).
U+2AAA SMALLER THAN LARGER
U+2AAD LARGER THAN OR EQUAL TO −≥ LARGEREQ
362