<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-7">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<div class="moz-cite-prefix">Donald Arseneau wrote:<br>
<br>
</div>
<blockquote type="cite" cite="mid:YTBPR01MB2624F57DD69DA0D69DD229E4DFB20@YTBPR01MB2624.CANPRD01.PROD.OUTLOOK.COM">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
<span>*\catcode `A=\catcode`\~<br>
</span>
<div>*\font A=cmr10<br>
</div>
<span></span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
*A</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
* Hello.\par</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
*\tracingall\showlists<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
<br>
</div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif;
font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-family: Garamond, Georgia, serif;">So there are </span><span style="font-family: Garamond, Georgia,
serif;"></span><span style="font-family: Garamond, Georgia,
serif;">idiosyncrasies</span><span style="font-family:
Garamond, Georgia, serif;">
with plain-letter named fonts.</span><br>
</div>
</blockquote>
<br>
I don't think that one was required to re-catcode (e.g.,) "A" in those days, Donald, in order to use it as a font identifier. See (for example)
<a class="moz-txt-link-freetext" href="http://www.tug.org/TUGboat/tb02-1/tb02mill.pdf">
http://www.tug.org/TUGboat/tb02-1/tb02mill.pdf</a><br>
<br>
Philip Taylor<br>
</body>
</html>