- [ [ "" ] "teqx_ext" + "( ? ≛ ? )" + "( ? ⊢ ? ≛ ? )" * ]
- [ [ "" ] "teqx" + "( ? ≛ ? )" "teqx_teqx" * ]
+ [ [ "" ] "teqx_ext" + "( ? ≅ ? )" + "( ? ⊢ ? ≅ ? )" * ]
+ [ [ "" ] "teqx" + "( ? ≅ ? )" "teqx_teqx" * ]
+ }
+ ]
+ [ { "syntactic equivalence" * } {
+ [ [ "" ] "teq_ext" + "( ? ≡ ? )" + "( ? ⊢ ? ≡ ? )" "teq_ext_teq_ext" * ]
+ [ [ "" ] "teq" + "( ? ≡ ? )" "teq_teq" * ]
+ }
+ ]
+ [ { "generic equivalence" * } {
+ [ [ "" ] "teqg_ext" + "( ? ≛[?] ? )" + "( ? ⊢ ? ≛[?] ? )" * ]
+ [ [ "" ] "teqg" + "( ? ≛[?] ? )" "teqg_teqg" * ]