Who Cites eq atom?
eq_atom	Def x=yAtom == if x=yAtomtrue; false fi
	Thm* x,y:Atom. x=yAtom

Syntax:

x=yAtom

has structure:

eq_atom(x; y)

About: