abstract math nodes