<div dir="ltr">On 2 March 2013 07:51, Paul D. Anderson <span dir="ltr"><<a href="mailto:paul.d.removethis.anderson@comcast.andthis.net" target="_blank">paul.d.removethis.anderson@comcast.andthis.net</a>></span> wrote:<br>
<div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">1. They are hard to type or otherwise enter in to a text file.<br></blockquote>
<div><br></div><div style>I have × and ÷ on my keyboard; it's AltGr + '='/'+', no center-dot though :(</div><div style>I've always wanted those 2 operators! Sadly ascii just doesn't offer any sensible characters for it, and nobody seems to like unicode on code...</div>
</div></div></div>