[ { "degree-based equivalence" * } {
[ [ "" ] "tdeq_ext" + "( ? ≛[?,?] ? )" + "( ? ⊢ ? ≛[?,?] ? )" * ]
[ [ "" ] "tdeq" + "( ? ≛[?,?] ? )" "tdeq_tdeq" * ]
[ { "degree-based equivalence" * } {
[ [ "" ] "tdeq_ext" + "( ? ≛[?,?] ? )" + "( ? ⊢ ? ≛[?,?] ? )" * ]
[ [ "" ] "tdeq" + "( ? ≛[?,?] ? )" "tdeq_tdeq" * ]