trouble building pdf documentation

[archenemies]

Describe the bug

Trouble building the PDF documentation.

Software Versions

• Python version: 3.8.1

• Alot version: current git

  $ latex -v
  pdfTeX 3.14159265-2.6-1.40.20 (TeX Live 2019/Arch Linux)
  kpathsea version 6.3.1
  Copyright 2019 Han The Thanh (pdfTeX) et al.
  There is NO warranty.  Redistribution of this software is
  covered by the terms of both the pdfTeX copyright and
  the Lesser GNU General Public License.
  For more information about these matters, see the file
  named COPYING and the pdfTeX source.
  Primary author of pdfTeX: Han The Thanh (pdfTeX) et al.
  Compiled with libpng 1.6.37; using libpng 1.6.37
  Compiled with zlib 1.2.11; using zlib 1.2.11
  Compiled with poppler version 0.85.0
  

To Reproduce

  $ cd docs
  $ make latexpdf |& tee -a make-out.txt

Error Log

See attached.

Thank you. make-out.txt

[pazz]

ahyes, perhaps we should not use fancy unicode symbols for ">="...