double-quoted term names