@misc{indiciae88eb869481e2,
  title = {Ordinal Notation},
  author = {Dmytro Taranovsky},
  year = {2018},
  url = {https://arxiv.org/abs/1610.04633},
  note = {Source identifier: 1610.04633}
}