class "orange"
[ { "functional" * } {
[ { "multiple filling" * } {
- [ "mf" + "( â\97\8f[?,?]? )" "mf_exeq" "mf_lifts" "mf_cpr" *]
+ [ "mf" + "( â\96 [?,?]? )" "mf_exeq" "mf_lifts" "mf_cpr" *]
[ "mf_vpush" + "( ⇡[?←?]? )" "mf_vpush_exteq" "mf_vpush_vlift" * ]
[ "mf_vlift" + "( ⇡[?]? )" "mf_vlift_exteq" * ]
[ "mf_v" * ]