Nuprl Definition : xxsym

sym(T;E) ==  Sym(T;x,y.E x y)


Definitions occuring in Statement :  sym: Sym(T;x,y.E[x; y]),  apply: f a
Definitions occuring in definition :  sym: Sym(T;x,y.E[x; y]),  apply: f a
Latex:
sym(T;E)  ==    Sym(T;x,y.E  x  y)


Date html generated: 2016_05_15-PM-00_00_49
Last ObjectModification: 2015_09_23-AM-06_23_38

Theory : gen_algebra_1


Home Index