Jmsc Notation Style

---
name: jmsc-notation-style
description: Use when unifying notation and tightening mathematical exposition for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — one symbol one meaning, explicit assumptions, rigorous statements in the body, and full proofs moved to the appendix to keep the body readable. Use as a late-stage statute pass before submission.
---

# 记号与数理文风（jmsc-notation-style）

## 触发时机

- 全文记号不统一（同一量两个符号 / 一个符号两个意思）
- 假设散落正文各处，读者拼不出完整设定
- 正文被长证明压垮，读不下去
- 定理/命题表述前后体例不一致

## 核心：记号统一 + 假设显式 + 正文可读

本刊是数理刊，**表达的严谨与整洁本身是评审项**。三条铁律：(1) **一符一义**；(2) **假设集中显式**；(3) **正文给陈述与直觉，长证明入附录**——既保严谨又保可读。

## 记号统一规范

- 同一对象全文同一符号；不同对象不共用符号。
- 约定一致：向量/矩阵/集合/随机变量的字体或大小写体例固定（如随机变量大写、实现值小写）。
- 上下标含义统一（i 永远指主体、t 永远指时间…），别中途换义。
- 首次出现即定义；建议提供**符号表**便于检索。

## 假设与陈述规范

- 假设集中编号（A1, A2, …），在模型一节统一列出，正文引用编号。
- 定理/命题/引理/推论用统一环境与编号；陈述精确，条件与结论分明。
- "定义—假设—命题—证明"层次清晰，定义先于使用。

## 正文—附录分工

| 放正文 | 放附录 |
|--------|--------|
| 命题/定理陈述 | 完整证明 |
| 关键直觉、机制解释 | 冗长代数推导 |
| 主要结果与图 | 引理及其证明、技术性引理 |
| 模型设定与假设 | 参数标定细节、补充实验 |

> 目标：正文一口气读下来能懂"证了什么、为什么成立"；要核验细节再翻附录。

## 自检清单

- [ ] 一符一义，全文检索无冲突；有符号表
- [ ] 字体/大小写/上下标体例一致
- [ ] 假设集中编号、显式，正文按号引用
- [ ] 定理/命题/引理环境与编号统一、表述精确
- [ ] 长证明已移附录，正文留陈述 + 直觉
- [ ] 公式独立编号、连续（对接 jmsc-submission 体例）

## 反模式

- 同一参数前后用了两个符号（或一个符号兼两职）
- 假设散在三处，读者要自己拼
- 正文塞满半页代数，读者迷失主线
- 定理编号体例混乱（命题/定理/引理混用无规则）

## 输出格式

```
【一符一义】通过 / 冲突 <符号>
【字体体例】一致 / 不一致 <处>
【假设集中】是 / 否（散在<处>）
【环境编号】统一 / 混乱
【正文-附录分工】证明已入附录？是/否；正文可读？是/否
【符号表】有 / 建议补
【下一步】jmsc-submission
```