@misc{indiciae6f657f347ff4,
  title = {First order logic properly displayed},
  author = {Samuel Balco and Giuseppe Greco and Alexander Kurz and Andrew Moshier and Alessandra Palmigiano and Apostolos Tzimoulis},
  year = {2021},
  url = {https://arxiv.org/abs/2105.06877},
  note = {Source identifier: 2105.06877}
}