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