+ \symbol(/ref) => synthtree