<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\input fontinst.sty

\declareencoding{TEX TEXT COMPANION SYMBOLS 1---TS1}{TS1}

\installfonts

\installfamily{T1}{cmovt}{\hyphenchar\font=\m@ne }

\installfont{dcovt0800}{dcvt0800,tcvt0800}{T19}{T1}{cmovt}{m}{n}{&lt;8&gt;}
\installfont{dcovt0900}{dcvt0900,tcvt0900}{T19}{T1}{cmovt}{m}{n}{&lt;9&gt;}
\installfont{dcovt1000}{dcvt1000,tcvt1000}{T19}{T1}{cmovt}{m}{n}{&lt;10&gt;}
\installfont{dcovt1095}{dcvt1095,tcvt1095}{T19}{T1}{cmovt}{m}{n}{&lt;10.95&gt;}
\installfont{dcovt1200}{dcvt1200,tcvt1200}{T19}{T1}{cmovt}{m}{n}{&lt;12&gt;}
\installfont{dcovt1440}{dcvt1440,tcvt1440}{T19}{T1}{cmovt}{m}{n}{&lt;14.4&gt;}
\installfont{dcovt1728}{dcvt1728,tcvt1728}{T19}{T1}{cmovt}{m}{n}{&lt;17.28&gt;}
\installfont{dcovt2074}{dcvt2074,tcvt2074}{T19}{T1}{cmovt}{m}{n}{&lt;20.74&gt;}
\installfont{dcovt2488}{dcvt2488,tcvt2488}{T19}{T1}{cmovt}{m}{n}{&lt;24.88&gt;}
\installfont{dcovt2986}{dcvt2986,tcvt2986}{T19}{T1}{cmovt}{m}{n}{&lt;29.86&gt;}
\installfont{dcovt3583}{dcvt3583,tcvt3583}{T19}{T1}{cmovt}{m}{n}{&lt;35.83&gt;}

\installfont{dcovi0800}{dcvi0800,tcvi0800}{T19}{T1}{cmovt}{m}{it}{&lt;8&gt;}
\installfont{dcovi0900}{dcvi0900,tcvi0900}{T19}{T1}{cmovt}{m}{it}{&lt;9&gt;}
\installfont{dcovi1000}{dcvi1000,tcvi1000}{T19}{T1}{cmovt}{m}{it}{&lt;10&gt;}
\installfont{dcovi1095}{dcvi1095,tcvi1095}{T19}{T1}{cmovt}{m}{it}{&lt;10.95&gt;}
\installfont{dcovi1200}{dcvi1200,tcvi1200}{T19}{T1}{cmovt}{m}{it}{&lt;12&gt;}
\installfont{dcovi1440}{dcvi1440,tcvi1440}{T19}{T1}{cmovt}{m}{it}{&lt;14.4&gt;}
\installfont{dcovi1728}{dcvi1728,tcvi1728}{T19}{T1}{cmovt}{m}{it}{&lt;17.28&gt;}
\installfont{dcovi2074}{dcvi2074,tcvi2074}{T19}{T1}{cmovt}{m}{it}{&lt;20.74&gt;}
\installfont{dcovi2488}{dcvi2488,tcvi2488}{T19}{T1}{cmovt}{m}{it}{&lt;24.88&gt;}
\installfont{dcovi2986}{dcvi2986,tcvi2986}{T19}{T1}{cmovt}{m}{it}{&lt;29.86&gt;}
\installfont{dcovi3583}{dcvi3583,tcvi3583}{T19}{T1}{cmovt}{m}{it}{&lt;35.83&gt;}
\endinstallfonts

\bye
</pre></body></html>