include "delayed_updating/notation/functions/pitchforkleftarrow_3.ma".
(* FOCALIZED SUBSTITUTION ***************************************************)
include "delayed_updating/notation/functions/pitchforkleftarrow_3.ma".
(* FOCALIZED SUBSTITUTION ***************************************************)