LTL quoting