add abstract symbols