Tidier quoting for PATH logic