[ { "finite relocation with pairs" * } {
[ "fr2_nat ( @❨?,?❩ ≘ ? )" "fr2_nat_nat" * ]
[ "fr2_minus ( ? ▭ ? ≘ ? )" * ]
- [ "fr2_append ( ?;;? )" * ]
+ [ "fr2_append ( ?●? )" * ]
[ "fr2_plus ( ?+? )" * ]
- [ "fr2_map ( 𝐞 ) ( ❨?,?❩;? )" * ]
+ [ "fr2_map ( 𝐞 ) ( ❨?,?❩◗? )" * ]
}
]
[ { "total relocation" * } {
[ "tr_uni ( 𝐮❨?❩ )" * ]
- [ "tr_id ( 𝐢 ) " * ]
+ [ "tr_id ( 𝐢 ) " "tr_id_pushs" "tr_id_pap" * ]
[ "tr_compose ( ?∘? )" "tr_compose_pn" * ]
- [ "tr_pap ( ?@❨?❩ )" "tr_pap_eq" "tr_pap_pat" "tr_pap_pn" "tr_pap_pap" * ]
+ [ "tr_pap ( ?@❨?❩ )" "tr_pap_eq" "tr_pap_pat" "tr_pap_pn" "tr_pap_pushs" "tr_pap_pap" * ]
+ [ "tr_pushs ( ⫯*[?]? )" * ]
[ "tr_pn ( ⫯? ) ( ↑? )" "tr_pn_hdtl" "tr_pn_tls" * ]
[ "tr_map ( 𝐭❨?❩ )" "tr_eq" "tr_nexts" "tr_pat" "tr_ist" * ]
}
[ "pr_nexts ( ↑*[?]? )" "pr_nexts_eq" * ]
[ "pr_pushs ( ⫯*[?]? )" "pr_pushs_eq" * ]
[ "pr_tl ( ⫰? )" "pr_tl_eq" "pr_tl_eq_eq" * ]
- [ "pr_eq ( ? â\89¡ ? )" * ]
+ [ "pr_eq ( ? â\89\90 ? )" * ]
[ "pr_map ( ⫯? ) ( ↑? )" * ]
}
]
[ { "" * } {
[ "bool ( Ⓕ ) ( Ⓣ )" "bool_or" "bool_and" * ]
[ "ltc" "ltc_ctc" * ]
- [ "logic ( â\8a¥ ) ( â\8a¤ )" "relations ( ? â\8a\86 ? )" "functions" "exteq ( ? â\89\90{?,?} ? )" "star" "lstar_2a" * ]
+ [ "logic ( â\8a¥ ) ( â\8a¤ )" "relations ( ? â\8a\86 ? )" "functions" "exteq ( ? â\8a\9c{?,?} ? )" "star" "lstar_2a" * ]
}
]
}