I've always used the symbolic notation in Linear Temporal Logic (the one with diamonds <> and squares []) rather than the one with letters (G, X). Ç
Now I'm writing my thesis and I need a reference to some well-known article where LTL is described in these terms, but I'm unable to find any. All the foundational literature in verification (e.g. Emerson, Clarke) seems to use letters.
Any idea about where I should be looking for this reference would be very much appreciated.