does TRIPLEDOUBLE should be distinguished from TRIPLE? i think TRIPLE-QUOTE is enough.