notation-check

Compares paper drafts against a shared notation standard and flags mathematical symbol drift.

1|Updated Dec 13, 2025
One-click install
npx skills add https://github.com/ZK-Theory/TDL --skill notation-check-zk-theory
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: notation-check
Source: https://github.com/ZK-Theory/TDL/tree/main/.agents/skills/notation-check
Command: npx skills add https://github.com/ZK-Theory/TDL --skill notation-check-zk-theory

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? Academic papers in a multi-paper project often drift away from the agreed notation standard, producing inconsistent Wasserstein subscripts, divergent persistence-diagram symbols, and cross-paper symbol leakage that reviewers catch late. This Skill audits a draft against papers/shared/notation.md and reports every deviation before submission. ## Core Features & Use Cases - Symbol Drift Detection: Flags unsubscripted Wasserstein symbols, non-canonical persistence diagram notation, and divergent complex, filtration, landscape, and birth-death pair symbols. - Cross-Paper Leakage Checks: Detects notation that belongs to a different paper in the project (e.g., P04 filtration symbols appearing in P01 drafts). - Structured Audit Report: Produces a drift-findings table, leakage table, clean-section summary, and a blocking-for-submission verdict. - Use Case: After revising a draft of paper P01-B, run the check to confirm every Wasserstein reference uses the canonical subscript and no persistence diagram symbol has drifted before circulating the draft to coauthors. ## Quick Start Ask the assistant to run a notation check on paper P01-B's latest draft against the shared notation standard and report any symbol drift.

Frequently Asked Questions about notation-check

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I check a paper draft for notation consistency?

Run the notation check with the paper identifier and optionally a draft file path, such as /notation-check P01-B. If no draft is specified, the latest versioned draft in that paper's drafts directory is compared against papers/shared/notation.md.

What symbols does the notation check flag in drafts?

It flags unsubscripted or unjustified Wasserstein symbols, non-canonical persistence diagram notation like PD_q or dgm_q, divergent complex and filtration symbols, landscape and birth-death pair variants, and Markov null models stated without an explicit order k.

Does the notation check fix the drift it finds automatically?

No, it proposes fixes but never applies them without user confirmation. Notation inside theorems requires extra care, so the Skill always asks before editing those sections.

What is cross-paper notation leakage?

Leakage occurs when a symbol canonical to one paper appears in another paper's draft, such as the P04 filtration symbol appearing in P01-A or P01-B. The check reports each occurrence in a dedicated leakage table with the paper it belongs to.

When should I use a full Wasserstein audit instead of notation check?

Use the notation check after prose edits to a single draft for symbol drift only. Use the separate wasserstein-audit skill when you need a full Wasserstein review across all papers and code, and use a humanizer skill for prose quality rather than notation.