October 6, 2010

AXEC121i Axiom Set, new notation