格式化输出、基本运算符