B C D E F G ' <br>谢费尔竖线符合交换律不符合结合律。所以包括谢费尔竖线的所有形式系统必须也包含某种表示组合的方式。我们将为此采用'('和')'。
文法.字母A,B,C,D,E,F和G是原子。任何字母加角分符号（Prime, ′ ）一次或多次还是一个原子（比如A<nowiki>'</nowiki>, B<nowiki>"</nowiki>, C<nowiki></nowiki>, D<nowiki>'</nowiki>都是原子）。构造规则I：原子是合式公