%—————————————* % 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.