[Aussagenlogik] Was ist die Semantik dieser Klammern? ⟨ ⟩

Question

Wenn ich folgende Aufgabe habe:

Sei TAUT := { ⟨F⟩ | F ∉ L_AL ist eine Tautologie}

Wie habe ich das F in der geknickten Klammer zu verstehen?

Answer 1

Schau in deinen Unterlagen nach.

Üblicherweise bedeutet es Erzeugnis.

Comments

Ich lerne mit Script (Studium), aber ich hab die Erklärung für dieses Symbol nirgends gefunden. Google hat mir auch keine zufriedenstellenden Antworte liefern können. Wahrsch hab ich zu ungeduldig/ungeschickt gesucht. 
In Bezug auf die Aufgabe ist mit ⟨F⟩ (also dem Erzeugnis von F) dann die jeweilige Belegung für F gemeint?

---

Gibt's das Script irgendwo online?