# TLA+ Symbols ## Metadata **Status**:: #x **Zettel**:: #zettel/fleeting **Created**:: [[2026-01-12]] **Parent**:: [[TLA+]] ## Synopsis ![tla-symbols](https://blog.iany.me/uploads/202601/3c2576/tla-symbols.png) [Open in Zotero](zotero://open-pdf/library/items/UM2SGRLU?page=291&annotation=TQMUQVNT)