Abstract symbols