<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
 "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.38.0 (20140413.2041)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="306pt" height="548pt"
 viewBox="0.00 0.00 305.68 548.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 544)">
<title>%3</title>
<polygon fill="white" stroke="none" points="-4,4 -4,-544 301.679,-544 301.679,4 -4,4"/>
<!-- greek -->
<g id="node1" class="node"><title>greek</title>
<ellipse fill="none" stroke="black" cx="143.637" cy="-522" rx="143.775" ry="18"/>
<text text-anchor="middle" x="143.637" y="-518.3" font-family="Symbol,fantasy" font-size="14.00">αβγδεζηθικλμνξοπρςστυφχψωϒϖ</text>
</g>
<!-- a -->
<g id="node2" class="node"><title>a</title>
<ellipse fill="none" stroke="black" cx="96.6373" cy="-450" rx="47.3916" ry="18"/>
<text text-anchor="middle" x="96.6373" y="-446.3" font-family="Symbol,fantasy" font-size="14.00">for all: ∀</text>
</g>
<!-- greek&#45;&gt;a -->
<g id="edge13" class="edge"><title>greek&#45;&gt;a</title>
<path fill="none" stroke="black" d="M132.26,-504.055C126.66,-495.715 119.795,-485.491 113.592,-476.252"/>
<polygon fill="black" stroke="black" points="116.39,-474.14 107.91,-467.789 110.578,-478.042 116.39,-474.14"/>
</g>
<!-- i -->
<g id="node9" class="node"><title>i</title>
<ellipse fill="none" stroke="black" cx="191.637" cy="-450" rx="27.8951" ry="18"/>
<text text-anchor="middle" x="191.637" y="-446.3" font-family="Symbol,fantasy" font-size="14.00">ni: ∋</text>
</g>
<!-- greek&#45;&gt;i -->
<g id="edge14" class="edge"><title>greek&#45;&gt;i</title>
<path fill="none" stroke="black" d="M155.257,-504.055C161.205,-495.381 168.55,-484.669 175.079,-475.147"/>
<polygon fill="black" stroke="black" points="178.014,-477.056 180.783,-466.829 172.241,-473.097 178.014,-477.056"/>
</g>
<!-- b -->
<g id="node3" class="node"><title>b</title>
<ellipse fill="none" stroke="black" cx="92.6373" cy="-378" rx="38.1938" ry="18"/>
<text text-anchor="middle" x="92.6373" y="-374.3" font-family="Symbol,fantasy" font-size="14.00">part: ∂</text>
</g>
<!-- a&#45;&gt;b -->
<g id="edge1" class="edge"><title>a&#45;&gt;b</title>
<path fill="none" stroke="black" d="M95.6485,-431.697C95.2077,-423.983 94.678,-414.712 94.1865,-406.112"/>
<polygon fill="black" stroke="black" points="97.6795,-405.888 93.6146,-396.104 90.6909,-406.288 97.6795,-405.888"/>
</g>
<!-- c -->
<g id="node4" class="node"><title>c</title>
<ellipse fill="none" stroke="black" cx="87.6373" cy="-306" rx="46.2923" ry="18"/>
<text text-anchor="middle" x="87.6373" y="-302.3" font-family="Symbol,fantasy" font-size="14.00">exists: ∃</text>
</g>
<!-- b&#45;&gt;c -->
<g id="edge2" class="edge"><title>b&#45;&gt;c</title>
<path fill="none" stroke="black" d="M91.4013,-359.697C90.8503,-351.983 90.1881,-342.712 89.5739,-334.112"/>
<polygon fill="black" stroke="black" points="93.0627,-333.83 88.859,-324.104 86.0805,-334.328 93.0627,-333.83"/>
</g>
<!-- d -->
<g id="node5" class="node"><title>d</title>
<ellipse fill="none" stroke="black" cx="77.6373" cy="-234" rx="51.1914" ry="18"/>
<text text-anchor="middle" x="77.6373" y="-230.3" font-family="Symbol,fantasy" font-size="14.00">empty: ∅</text>
</g>
<!-- c&#45;&gt;d -->
<g id="edge3" class="edge"><title>c&#45;&gt;d</title>
<path fill="none" stroke="black" d="M85.1653,-287.697C84.0634,-279.983 82.739,-270.712 81.5105,-262.112"/>
<polygon fill="black" stroke="black" points="84.9599,-261.509 80.0807,-252.104 78.0302,-262.499 84.9599,-261.509"/>
</g>
<!-- e -->
<g id="node6" class="node"><title>e</title>
<ellipse fill="none" stroke="black" cx="68.6373" cy="-162" rx="46.2923" ry="18"/>
<text text-anchor="middle" x="68.6373" y="-158.3" font-family="Symbol,fantasy" font-size="14.00">nabla: ∇</text>
</g>
<!-- d&#45;&gt;e -->
<g id="edge4" class="edge"><title>d&#45;&gt;e</title>
<path fill="none" stroke="black" d="M75.4125,-215.697C74.4207,-207.983 73.2289,-198.712 72.1231,-190.112"/>
<polygon fill="black" stroke="black" points="75.5831,-189.576 70.8364,-180.104 68.6403,-190.469 75.5831,-189.576"/>
</g>
<!-- f -->
<g id="node7" class="node"><title>f</title>
<ellipse fill="none" stroke="black" cx="64.6373" cy="-90" rx="37.0935" ry="18"/>
<text text-anchor="middle" x="64.6373" y="-86.3" font-family="Symbol,fantasy" font-size="14.00">isin: ∈</text>
</g>
<!-- e&#45;&gt;f -->
<g id="edge5" class="edge"><title>e&#45;&gt;f</title>
<path fill="none" stroke="black" d="M67.6485,-143.697C67.2077,-135.983 66.678,-126.712 66.1865,-118.112"/>
<polygon fill="black" stroke="black" points="69.6795,-117.888 65.6146,-108.104 62.6909,-118.288 69.6795,-117.888"/>
</g>
<!-- g -->
<g id="node8" class="node"><title>g</title>
<ellipse fill="none" stroke="black" cx="64.6373" cy="-18" rx="45.4919" ry="18"/>
<text text-anchor="middle" x="64.6373" y="-14.3" font-family="Symbol,fantasy" font-size="14.00">notin: ∉</text>
</g>
<!-- f&#45;&gt;g -->
<g id="edge6" class="edge"><title>f&#45;&gt;g</title>
<path fill="none" stroke="black" d="M64.6373,-71.6966C64.6373,-63.9827 64.6373,-54.7125 64.6373,-46.1124"/>
<polygon fill="black" stroke="black" points="68.1374,-46.1043 64.6373,-36.1043 61.1374,-46.1044 68.1374,-46.1043"/>
</g>
<!-- j -->
<g id="node10" class="node"><title>j</title>
<ellipse fill="none" stroke="black" cx="193.637" cy="-378" rx="42.7926" ry="18"/>
<text text-anchor="middle" x="193.637" y="-374.3" font-family="Symbol,fantasy" font-size="14.00">prod: ∏</text>
</g>
<!-- i&#45;&gt;j -->
<g id="edge7" class="edge"><title>i&#45;&gt;j</title>
<path fill="none" stroke="black" d="M192.132,-431.697C192.352,-423.983 192.617,-414.712 192.863,-406.112"/>
<polygon fill="black" stroke="black" points="196.361,-406.2 193.149,-396.104 189.364,-406 196.361,-406.2"/>
</g>
<!-- k -->
<g id="node11" class="node"><title>k</title>
<ellipse fill="none" stroke="black" cx="196.637" cy="-306" rx="40.0939" ry="18"/>
<text text-anchor="middle" x="196.637" y="-302.3" font-family="Symbol,fantasy" font-size="14.00">sum: ∑</text>
</g>
<!-- j&#45;&gt;k -->
<g id="edge8" class="edge"><title>j&#45;&gt;k</title>
<path fill="none" stroke="black" d="M194.379,-359.697C194.709,-351.983 195.107,-342.712 195.475,-334.112"/>
<polygon fill="black" stroke="black" points="198.973,-334.245 195.904,-324.104 191.979,-333.945 198.973,-334.245"/>
</g>
<!-- l -->
<g id="node12" class="node"><title>l</title>
<ellipse fill="none" stroke="black" cx="201.637" cy="-234" rx="50.0912" ry="18"/>
<text text-anchor="middle" x="201.637" y="-230.3" font-family="Symbol,fantasy" font-size="14.00">lowast: ∗</text>
</g>
<!-- k&#45;&gt;l -->
<g id="edge9" class="edge"><title>k&#45;&gt;l</title>
<path fill="none" stroke="black" d="M197.873,-287.697C198.424,-279.983 199.086,-270.712 199.701,-262.112"/>
<polygon fill="black" stroke="black" points="203.194,-262.328 200.416,-252.104 196.212,-261.83 203.194,-262.328"/>
</g>
<!-- m -->
<g id="node13" class="node"><title>m</title>
<ellipse fill="none" stroke="black" cx="206.637" cy="-162" rx="72.2875" ry="18"/>
<text text-anchor="middle" x="206.637" y="-158.3" font-family="Symbol,fantasy" font-size="14.00">square root: √</text>
</g>
<!-- l&#45;&gt;m -->
<g id="edge10" class="edge"><title>l&#45;&gt;m</title>
<path fill="none" stroke="black" d="M202.873,-215.697C203.424,-207.983 204.086,-198.712 204.701,-190.112"/>
<polygon fill="black" stroke="black" points="208.194,-190.328 205.416,-180.104 201.212,-189.83 208.194,-190.328"/>
</g>
<!-- n -->
<g id="node14" class="node"><title>n</title>
<ellipse fill="none" stroke="black" cx="208.637" cy="-90" rx="89.0842" ry="18"/>
<text text-anchor="middle" x="208.637" y="-86.3" font-family="Symbol,fantasy" font-size="14.00">proportional to: ∝</text>
</g>
<!-- m&#45;&gt;n -->
<g id="edge11" class="edge"><title>m&#45;&gt;n</title>
<path fill="none" stroke="black" d="M207.132,-143.697C207.352,-135.983 207.617,-126.712 207.863,-118.112"/>
<polygon fill="black" stroke="black" points="211.361,-118.2 208.149,-108.104 204.364,-118 211.361,-118.2"/>
</g>
<!-- o -->
<g id="node15" class="node"><title>o</title>
<ellipse fill="none" stroke="black" cx="208.637" cy="-18" rx="48.1917" ry="18"/>
<text text-anchor="middle" x="208.637" y="-14.3" font-family="Symbol,fantasy" font-size="14.00">infinity∞</text>
</g>
<!-- n&#45;&gt;o -->
<g id="edge12" class="edge"><title>n&#45;&gt;o</title>
<path fill="none" stroke="black" d="M208.637,-71.6966C208.637,-63.9827 208.637,-54.7125 208.637,-46.1124"/>
<polygon fill="black" stroke="black" points="212.137,-46.1043 208.637,-36.1043 205.137,-46.1044 212.137,-46.1043"/>
</g>
</g>
</svg>