Neurosymbolic Transformers for Multi-Agent Communication