<div dir="ltr"><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, May 9, 2019 at 9:13 PM William Adams <<a href="mailto:will.adams@frycomm.com">will.adams@frycomm.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 dir="ltr"><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">With v1.8, METAPOST allows one to create an SVG --- unfortunately, there aren't any TeX / code editors which have SVG previewers as far as I can tell.</p><span style="background-color:transparent;color:rgb(36,39,41);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:19.5px;font-family:Arial,"Helvetica Neue",Helvetica,sans-serif">

</span><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">Found:</p><span style="background-color:transparent;color:rgb(36,39,41);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:19.5px;font-family:Arial,"Helvetica Neue",Helvetica,sans-serif">

</span><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline"><a href="https://code.google.com/archive/p/file-monitor/" rel="nofollow noreferrer" style="border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px;padding:0px;vertical-align:baseline" target="_blank">https://code.google.com/archive/p/file-monitor/</a></p><span style="background-color:transparent;color:rgb(36,39,41);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:15px;line-height:19.5px;font-family:Arial,"Helvetica Neue",Helvetica,sans-serif">

</span><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">but it seems to be broken in Windows 10 --- one has to switch to its window and press F5 --- is there an updated version of this program, or some other easy way to preview an SVG?<br></p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">An application with nice tools for this would be welcome.</p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">BTW, the file:</p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline"><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">outputtemplate :</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> "</span><span class="gmail-m_-307494534497644165gmail-com" style="background-color:transparent;border:0px none rgb(134,134,134);box-sizing:border-box;color:rgb(134,134,134);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">%j-%c.svg";</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">
prologues :</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> 3;
outputformat :</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> "svg";
beginfig</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">(</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">1</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">)</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">;
z0 </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">(</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">0,0</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">)</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">; z1 </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">(</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">60,40</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">)</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">;
z2 </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">(</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">40,90</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">)</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">; z3 </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">(</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">10,70</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">)</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">;
z4 </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">=</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap"> </span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">(</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">30,45</span><span class="gmail-m_-307494534497644165gmail-pun" style="background-color:transparent;border:0px none rgb(159,57,61);box-sizing:border-box;color:rgb(159,57,61);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">)</span><span class="gmail-m_-307494534497644165gmail-pln" style="background-color:transparent;border:0px none rgb(48,51,54);box-sizing:border-box;color:rgb(48,51,54);font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;font-size:13px;line-height:19.5px;font-family:Consolas,Menlo,Monaco,"Lucida Console","Liberation Mono","DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",monospace,sans-serif;margin:0px;padding:0px;vertical-align:baseline;white-space:pre-wrap">;

draw z0..z1..z2..z3--z4--cycle
endfig;
end</span></p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline"><br></p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">is clipped at the top --- should it be?</p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline">William</p><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline"><br></p></div></div></blockquote><div>the pen ?</div><div><br></div><div>prologues := 3;</div><div>outputformat := "svg";</div><div>beginfig(1);</div><div>z0 = (0,0); z1 = (60,40);</div><div>z2 = (40,90); z3 = (10,70);</div><div>z4 = (30,45);</div><div><br></div><div>draw z0..z1..z2..z3--z4--cycle withpen pencircle scaled 0.001pt;</div><div>endfig;</div><div>end</div><div><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 dir="ltr"><p style="background-color:transparent;border:0px none rgb(36,39,41);box-sizing:border-box;clear:both;color:rgb(36,39,41);font-size:15px;font-stretch:100%;font-variant-numeric:normal;font-variant-east-asian:normal;line-height:19.5px;margin:0px 0px 15px;padding:0px;vertical-align:baseline"></p></div></div></blockquote></div><div><br></div>-- <br><div dir="ltr" class="gmail_signature">luigi<br></div></div></div>