把一些中文标点改成英文标点

1. 把一些中文 “ 和 ‘ 改成英文 " 和 '
2. 修正 Example 4.13 的输出结果
3. 加粗显示 **T** 和 **tp**