<div dir="ltr"><div dir="ltr"><div class="gmail_default" style="font-family:monospace,monospace">thank you David.</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">I had looked it up in my paper copy of <br></div><div class="gmail_default" style="font-family:monospace,monospace">A guide to LaTeX, 3e, 1998</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">It's in section 8.7, Alternatives for special symbols</div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">Table 8.5, Alternative commands ...<br></div><div class="gmail_default" style="font-family:monospace,monospace"><br></div><div class="gmail_default" style="font-family:monospace,monospace">Ron<br></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Apr 17, 2021 at 11:36 AM David Carlisle <<a href="mailto:d.p.carlisle@gmail.com">d.p.carlisle@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div>This was added in 1995 see the usrguide in the base latex distribution,</div><div>texdoc usrguide</div><div>section 3.13</div><div><br></div><div>David<br></div></div><br></blockquote></div></div>