关于数字字符串的比较大小

我们先定义几个符号
\overline {ab}
ab
（a,b是数字字符串）
表示 a+ba+b 也就是把aa和bb连起来写
\overline {abc}
abc
（a,b,c都是数字符串）（当然再多几个字符串也没关系，跟上面一个意思）
没错，这个东西本来是表示数字的，现在被我们借过来表示字符串

a \geqslant ba⩾b 表示正常的aa大于等于bb （下面这个就是不正常的）
a>=b a,b是数字字符串 表示 a+b \geqslant b+aa+b⩾b+a
注意区分这两个大于等于！

a*n a是数字字符串 n是正整数 表示把aa连续写nn遍形成的很长的字符串