See Adding Environments, for how to customize the list of known environments.
This document was generated by Mosè Giordano on July 24, 2017 using texi2html 1.82.