# TLA+ Symbols ## 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)