AId    - Additive Identity
ASym   - Anti-symmetric
Abn    - Abelian
Abs    - Absolute
Absb   - Absorbtion
Add    - Addition/Additive
Alt    - Alternative
Apply  - Apply
Appn   - Application
Assc   - Associative
Assr   - Associator
Ax     - Axiom
B3Alg  - Ternary Boolean Algebra
Base   - Base step
Bnd    - Bound
Bndy   - Boundary
Bool   - Boolean
Btwn   - Betweenness
Canc   - Cancellation
Circ   - Circular
Cl     - Class
Clsd   - Closed
Clsr   - Closure
Cmbtr  - Combinator
Cmpbl  - Compatible
Cmplt  - Complete
Cmps   - Compose
Cmpsn  - Composition
Cmpt   - Component
Cmtr   - Commutator
Cod    - Codomain
Coll   - Collinearity
Comm   - Commutative
Cond   - Condition
Cong   - Congruent
Conn   - Connected
Conn   - Connectivity
Cons   - Construction
Cont   - Continuous
Cor    - Corollary
Cpmt   - Complement
Cube   - Cubed
Dbl    - Double
Def    - Defined
Def    - Definition
Dep    - Depends on
Diagn  - Diagonalisation
Diff   - Difference
Dist   - Distributive
Div    - Division operator
Dom    - Domain
Elim   - Elimination
Embdg  - Embedding
Empty  - Empty
Eq     - Equality
Eq     - Equals
Eqid   - Equidistance
Eqn    - Equation
Ex     - Exists
Ext    - Lengthen
Extn   - Extension
Fact   - Factor
Flex   - Flexible
Func   - Function
Fxd    - Fixed
Geq    - Greater than or equal to
Gt     - Greater than
IN     - Index N
Id     - Identity
Idem   - Idempotent
Img    - Image
Indisc - Indiscernibles
Indn   - Induction step
Indv   - Inductive
Inf    - Infinite
Inr    - Inner
Insr   - Insertion
Intchg - Interchange
Intmed - Intermediate
Intr   - Interior
Intsc  - Intersection
Inv    - Inverse
Invar  - Invariant
Irr    - Irrational
Irrefl - Irreflexive
Is El  - Element
Isos   - Isosceles
Ivln   - Involution
L      - Left
Latt   - Lattice
Law    - Law
Leq    - Less than or equal to
Lin    - Linearised
Lmt    - Limit
Ln     - Line
Log    - Logic
Low    - Lower
Lt     - Less than
Lub    - Least Upper Bound
M      - Middle
MId    - Multiplicative Id
Max    - Maximum
Memb   - Member (of)
Min    - Minimum
Minus  - Subtraction operator
Mono   - Monotonic
Mult M - Multiplication/M'tive
Nrml   - Normal
Null   - Null (segment)
ON     - Order N
Obj    - Object
Op     - Operation
Ord    - Ordered
Ordl   - Ordinal
Out    - Outer
Pln    - Plane
Plus   - Addition operator
Ppr    - Proper
Ppty   - Property
Pr(s)  - Pair(s)
Pred   - Predeccessor
Prm    - Prime
Prod   - Product
Prop   - Propositional
Pt(s)  - Point(s)
PwrCl  - Power Class
Quant  - Quantification
Quot   - Quotient
R      - Right
Rdcn   - Reduction
Recr   - Recursion
Refl   - Reflexive
Reflc  - Reflection
Rel    - Relation
Rng    - Range
Rob    - Robbins
Rplmt  - Replacement
Rstd   - Restricted
Rstn   - Restriction
SV     - Single Valued
Sect   - Section
Seg    - Segment
SemiG  - Semigroups
Set    - Set
SetB   - Set Builder
Sgtn   - Singleton
Sim    - Similar
Sm     - Small (set)
Soln   - Solution
Sqr    - Square(d)
StSp   - State Space
Strong - Strong
SubCl  - Sub(class)
SubG   - Subgroups
SubS   - Sub(Set)
SubSp  - Sub(space)
Subs   - Substitution
Succ   - Successor
SupS   - Super(Set)
Symm   - Symmetric
Symn   - Symmetrization
Thm    - Theorem
Times  - Multiplication operator
Tplg   - Topology
Trans  - Transitive
Tri    - Triangle
Trnsf  - Transfinite
Un     - UnXXX
Union  - Union
Univ   - Universal
Unq    - Unique
Up     - Upper
Val    - Value
Wk     - Weak
XProd  - Cross product
Xm     - Xmorphism
