addition axiom

space

U+0020

latin small letter a

U+0061

latin small letter d

U+0064

latin small letter i

U+0069

latin small letter m

U+006D

latin small letter n

U+006E

latin small letter o

U+006F

latin small letter t

U+0074

latin small letter x

U+0078