对于任何文本 STRING 和特定命令“\command”,如何用 \command{STRING} 替换文本中所有出现的“STRING”(文本中带有此引号)。
那就是简单地用命令替换引号。但仅当它们的形式为“STRING”,而不是形式为“STRING”时(开始标记不同,结束标记相同)。
对于任何文本 STRING 和特定命令“\command”,如何用 \command{STRING} 替换文本中所有出现的“STRING”(文本中带有此引号)。
那就是简单地用命令替换引号。但仅当它们的形式为“STRING”,而不是形式为“STRING”时(开始标记不同,结束标记相同)。