[ "mf_vpush" + "( ⇡[?←?]? )" "mf_vpush_exteq" "mf_vpush_vlift" * ]
[ "mf_vlift" + "( ⇡[?]? )" "mf_vlift_exteq" * ]
[ "mf_v" * ]
[ "mf_vpush" + "( ⇡[?←?]? )" "mf_vpush_exteq" "mf_vpush_vlift" * ]
[ "mf_vlift" + "( ⇡[?]? )" "mf_vlift_exteq" * ]
[ "mf_v" * ]