最强地球导师

于符纹不等式不完全表达式解析符纹之用的。
    对杨晨来说，现在他还没有能力推导出符纹不等式完全表达式，但用不完全表达式解析符纹还是可以的。
    甚至可以说，符纹不等式和现在这个真符，简直就是完美的绝配！