User:Reedy/FoobarMath

$$ a_c = \Phi \left\langle f \right\rangle_c  \left( a|_{X \left( c \right) \setminus \left\{ c \right\}} \cup L|_{\left( \operatorname{arity} f \right) \setminus X \left( c \right)} \right)$$