brycewang-stanford 记号与数理文风（jmsc-notation-style）
触发时机
- 全文记号不统一（同一量两个符号 / 一个符号两个意思）
- 假设散落正文各处，读者拼不出完整设定
- 正文被长证明压垮，读不下去
- 定理/命题表述前后体例不一致
核心：记号统一 + 假设显式 + 正文可读
本刊是数理刊，表达的严谨与整洁本身是评审项。三条铁律：(1) 一符一义；(2) 假设集中显式；(3) 正文给陈述与直觉，长证明入附录——既保严谨又保可读。
记号统一规范
- 同一对象全文同一符号；不同对象不共用符号。
- 约定一致：向量/矩阵/集合/随机变量的字体或大小写体例固定（如随机变量大写、实现值小写）。
- 上下标含义统一（i 永远指主体、t 永远指时间…），别中途换义。
- 首次出现即定义；建议提供符号表便于检索。
假设与陈述规范
- 假设集中编号（A1, A2, …），在模型一节统一列出，正文引用编号。
- 定理/命题/引理/推论用统一环境与编号；陈述精确，条件与结论分明。
- "定义—假设—命题—证明"层次清晰，定义先于使用。
正文—附录分工
| 放正文 | 放附录 |
|---|---|
| 命题/定理陈述 | 完整证明 |
| 关键直觉、机制解释 | 冗长代数推导 |
| 主要结果与图 | 引理及其证明、技术性引理 |
| 模型设定与假设 | 参数标定细节、补充实验 |
目标：正文一口气读下来能懂"证了什么、为什么成立"；要核验细节再翻附录。
自检清单
- 一符一义，全文检索无冲突；有符号表
- 字体/大小写/上下标体例一致
- 假设集中编号、显式，正文按号引用
- 定理/命题/引理环境与编号统一、表述精确
- 长证明已移附录，正文留陈述 + 直觉
- 公式独立编号、连续（对接 jmsc-submission 体例）
反模式
- 同一参数前后用了两个符号（或一个符号兼两职）
- 假设散在三处，读者要自己拼
- 正文塞满半页代数，读者迷失主线
- 定理编号体例混乱（命题/定理/引理混用无规则）
本刊记号文风审稿期待与退稿模式
《管理科学学报》是数理刊，表达的严谨与整洁本身是评审项。审稿人核查一符一义、字体体例一致、假设集中编号、定理环境统一、正文可读。下表对齐本刊高频退稿语与修法：
| 退稿信号 | 根因 | 本刊期望的修法 |
|---|---|---|
| "记号前后不一致" | 同量两符或一符兼两职 | 全文检索冲突，固定一符一义，附符号表 |
| "假设找不齐" | 假设散在正文各处 | 在模型节集中编号 A1–An，正文按号引用 |
| "正文被证明压垮" | 长代数堆正文 | 正文留陈述+直觉，完整证明移附录 |
| "定理编号体例乱" | 命题/定理/引理混用无规则 | 统一环境与连续编号，定义先于使用 |
| "公式编号不连续" | 漏编或重编 | 独立公式按出现统一连续编号 |
锚点：本刊已刊论文多在模型节前置"符号说明表（含决策变量、参数、定义域、量纲）"，随机变量大写、实现值小写，下标 i 固定指主体、t 固定指时期；技术性引理与冗长推导统一入附录。具体体例以编辑部最新稿约为准。
微型走查：定价博弈稿的记号统稿
虚构稿件《双寡头平台的价格-质量博弈》。按一符一义+假设显式+正文可读三铁律走一遍（示意仅作演示）：
- 一符一义冲突：原稿用 p 既表"价格"又在第 4 节表"概率"，质量同时记为 q 和 s。统稿：价格固定为 p_i（i∈{1,2} 指平台），概率改记 ρ，质量统一为 q_i，删除 s。
- 字体体例：随机需求 D 大写（随机变量）、其实现值 d 小写；向量加粗 x、集合花体 𝒮，全文固定。
- 假设集中：把散在引言、第 2 节、第 3 节的三处假设收拢为模型节 A1（需求线性）、A2（边际成本对称）、A3（质量先于价格决定）、A4（信息完全），正文一律按号引用。
- 环境编号：定理 1、命题 1–3、引理 1–2 连续编号，推论挂靠对应命题；定义 1（均衡）先于命题 1（均衡存在）出现。
- 正文-附录分工：均衡存在性的不动点论证（约 1 页代数）移附录，正文留"最优反应交点即均衡"的直觉与图。
审稿人若追问"为何把概率从 p 改成 ρ 而非保留 p 加下标"，回应应说明 p 已专用于价格，再加下标会与平台索引 p_i 视觉混淆，故另选符号以保证一符一义。
输出格式
【一符一义】通过 / 冲突 <符号>
【字体体例】一致 / 不一致 <处>
【假设集中】是 / 否（散在<处>）
【环境编号】统一 / 混乱
【正文-附录分工】证明已入附录？是/否；正文可读？是/否
【符号表】有 / 建议补
【下一步】jmsc-submission