String attractors and bi-infinite words | Synapse