Coq：同时定义多个符号

Question

是否有可能（某种程度上）同时定义多个符号，例如

Notation (A|B) := nat.

或

Notation B := A
where A := nat.

以下作品（但不是我正在寻找的;我想要一个＆＃34;干净＆＃34;符号，w / out符号）：

Notation "' x" := nat (at level 99).
Check 'A: Set.
Check 'what: Set.

此外，如果这很重要，我的实际 definiens 不是nat，而是ltac: (match ...)