要看你用的是哪家的公理系统。在 Whitehead & Russell 的 Principia Mathematica (1910) 中有七个命题统称 the principles of transposition, 简称 Transp。它们是：
✳2.03
✳2.15
✳2.16
✳2.17
✳3.37
✳4.1
✳4.11
其中， 同 ； 和 ：相当于括号； 是等价符； 是 assertion sign, 在罗素的哲学中很重要，一个命题可以被 assert, 也可以不被 assert, 例如 “如果猪能飞，那么我是教皇”中，虽然整句话被asserted， 但“猪能飞”和“我是教皇”都没有被 assert。
以✳2.03 为例，它的证明如下：
Dem.
Perm ⠀ ⠀⠀(1)
(1).(✳1.01) ⠀⠀⠀⠀
证毕。
其中，"Dem." 是"demonstration" 的缩写；方括号里的命题是这步推理的根据。
Perm 是 ✳1.4 （the principle of permutation）的简称，即 ; ✳1.4 是个原始命题，原始命题也叫公理。
的意思是用 取代 , 取代 ;
✳1.01 是个定义， 即 Df， 意思是说 和 这两个字符串可以互换。
