[TLA+Symbol.jpg]