packages feed

boolean-normal-forms-0.0.0.1: doc-formulae/dnf.svg

<?xml version='1.0' encoding='ISO-8859-1'?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- This file was generated by dvisvgm 1.0.11 () -->
<!-- Sat May 10 16:17:16 2014 -->
<svg height='23.6598pt' version='1.1' viewBox='215.558 74.4999 37.3843 23.6598' width='37.3843pt' xmlns='http://www.w3.org/2000/svg' xmlns:xlink='http://www.w3.org/1999/xlink'>
<defs>
<path d='M3.73 -3.78C3.55 -4.15 3.26 -4.42 2.81 -4.42C1.64 -4.42 0.4 -2.95 0.4 -1.49C0.4 -0.55 0.95 0.11 1.73 0.11C1.93 0.11 2.43 0.07 3.03 -0.64C3.11 -0.22 3.46 0.11 3.94 0.11C4.29 0.11 4.52 -0.12 4.68 -0.44C4.85 -0.8 4.98 -1.41 4.98 -1.43C4.98 -1.53 4.89 -1.53 4.86 -1.53C4.76 -1.53 4.75 -1.49 4.72 -1.35C4.55 -0.7 4.37 -0.11 3.96 -0.11C3.69 -0.11 3.66 -0.37 3.66 -0.57C3.66 -0.79 3.68 -0.87 3.79 -1.31C3.9 -1.73 3.92 -1.83 4.01 -2.21L4.37 -3.61C4.44 -3.89 4.44 -3.91 4.44 -3.95C4.44 -4.12 4.32 -4.22 4.15 -4.22C3.91 -4.22 3.76 -4 3.73 -3.78ZM3.08 -1.19C3.03 -1.01 3.03 -0.99 2.88 -0.82C2.44 -0.27 2.03 -0.11 1.75 -0.11C1.25 -0.11 1.11 -0.66 1.11 -1.05C1.11 -1.55 1.43 -2.78 1.66 -3.24C1.97 -3.83 2.42 -4.2 2.82 -4.2C3.47 -4.2 3.61 -3.38 3.61 -3.32S3.59 -3.2 3.58 -3.15L3.08 -1.19Z' id='g0-97'/>
<path d='M2.268 -4.375C2.268 -4.487 2.184 -4.641 1.988 -4.641C1.799 -4.641 1.596 -4.459 1.596 -4.256C1.596 -4.137 1.687 -3.99 1.876 -3.99C2.079 -3.99 2.268 -4.186 2.268 -4.375ZM0.84 -0.819C0.812 -0.728 0.777 -0.644 0.777 -0.525C0.777 -0.196 1.057 0.07 1.442 0.07C2.142 0.07 2.45 -0.896 2.45 -1.001C2.45 -1.092 2.359 -1.092 2.338 -1.092C2.24 -1.092 2.233 -1.05 2.205 -0.973C2.044 -0.413 1.736 -0.126 1.463 -0.126C1.323 -0.126 1.288 -0.217 1.288 -0.371C1.288 -0.532 1.337 -0.665 1.4 -0.819C1.47 -1.008 1.547 -1.197 1.624 -1.379C1.687 -1.547 1.939 -2.184 1.967 -2.268C1.988 -2.338 2.009 -2.422 2.009 -2.492C2.009 -2.821 1.729 -3.087 1.344 -3.087C0.651 -3.087 0.329 -2.135 0.329 -2.016C0.329 -1.925 0.427 -1.925 0.448 -1.925C0.546 -1.925 0.553 -1.96 0.574 -2.037C0.756 -2.639 1.064 -2.891 1.323 -2.891C1.435 -2.891 1.498 -2.835 1.498 -2.646C1.498 -2.485 1.456 -2.38 1.281 -1.946L0.84 -0.819Z' id='g1-105'/>
<path d='M3.073 -4.375C3.073 -4.494 2.982 -4.641 2.793 -4.641C2.59 -4.641 2.401 -4.445 2.401 -4.256C2.401 -4.144 2.485 -3.99 2.681 -3.99C2.87 -3.99 3.073 -4.172 3.073 -4.375ZM1.589 0.343C1.47 0.826 1.099 1.232 0.686 1.232C0.595 1.232 0.511 1.218 0.434 1.19C0.616 1.106 0.672 0.938 0.672 0.833C0.672 0.665 0.539 0.574 0.399 0.574C0.182 0.574 0 0.763 0 0.987C0 1.253 0.273 1.428 0.693 1.428S1.932 1.176 2.149 0.322L2.779 -2.184C2.8 -2.261 2.814 -2.324 2.814 -2.429C2.814 -2.814 2.485 -3.087 2.065 -3.087C1.288 -3.087 0.84 -2.114 0.84 -2.016C0.84 -1.925 0.938 -1.925 0.959 -1.925C1.043 -1.925 1.05 -1.946 1.099 -2.051C1.274 -2.457 1.638 -2.891 2.044 -2.891C2.219 -2.891 2.282 -2.772 2.282 -2.548C2.282 -2.471 2.268 -2.373 2.261 -2.338L1.589 0.343Z' id='g1-106'/>
<path d='M9.7 13.62C9.75 13.76 9.83 14 10.12 14C10.36 14 10.54 13.81 10.54 13.58C10.54 13.53 10.54 13.51 10.48 13.35L5.93 0.23C5.86 0.09 5.71 0 5.55 0C5.26 0 5.17 0.24 5.13 0.37L0.62 13.35C0.56 13.51 0.56 13.53 0.56 13.58C0.56 13.82 0.75 14 0.98 14C1.27 14 1.34 13.77 1.39 13.64L5.55 1.68L9.7 13.62Z' id='g2-94'/>
<path d='M5.13 13.63C5.17 13.76 5.26 14 5.55 14S5.92 13.77 5.97 13.63L10.48 0.65C10.54 0.49 10.54 0.47 10.54 0.42C10.54 0.18 10.35 0 10.12 0C9.83 0 9.76 0.23 9.71 0.36L5.55 12.32L1.4 0.38C1.35 0.24 1.27 0 0.98 0C0.74 0 0.56 0.19 0.56 0.42C0.56 0.47 0.56 0.49 0.62 0.65L5.13 13.63Z' id='g2-95'/>
</defs>
<g id='page1'>
<use x='215.558' xlink:href='#g2-95' y='75.4999'/>
<use x='219.699' xlink:href='#g1-105' y='96.7986'/>
<use x='228.336' xlink:href='#g2-94' y='75.4999'/>
<use x='232.034' xlink:href='#g1-106' y='96.7986'/>
<use x='241.113' xlink:href='#g0-97' y='85'/>
<use x='246.399' xlink:href='#g1-105' y='86.5'/>
<use x='249.229' xlink:href='#g1-106' y='86.5'/>
</g>
</svg>