support X_times(rv) user defined literal quantifiers