%—————————————* % Turn off as letter before we exit
\catcode‘1=2 % is not a letter
%>>> EOF ruled.tex <<<
This document was generated on October 25, 2024 using texi2html 5.0.