_frege_funf.svg

<?xml version="1.0" standalone="no"?>
<svg width="72" height="64" version="1.1" xmlns="http://www.w3.org/2000/svg">
  <desc>f is single-valued</desc>
  <style>
	.arc { fill: black; stroke-width: 0.75px; stroke: black; stroke-linecap: round; stroke-linejoin: round; }
	.bracehoriz { stroke-width: 0.75px; stroke: black; stroke-linecap: round; stroke-linejoin: round; fill: none;}
	.bracevert { stroke-width: 1.5px; stroke: black; stroke-linecap: butt; stroke-linejoin: round; fill: none;}
	.definevert { stroke-width: 2.5px; stroke: black; stroke-linecap: butt; }
	.funhoriz { stroke-width: 0.75; stroke: black; stroke-linecap: round; stroke-linejoin: round; fill: none;}
	.funvert { stroke-width: 1.5px; stroke: black; stroke-linecap: butt; stroke-linejoin: round; fill: none;}
	.judgmentvert { stroke-width: 2.5px; stroke: black; stroke-linecap: butt; }
	.line { stroke-width: 0.5px; stroke: black; stroke-linecap: round; stroke-linejoin: round; fill: none;}
	.notstroke { stroke-width: 0.5px; stroke: black; stroke-linecap: round; stroke-linejoin: round; fill: none;}
	.smalltext { fill: black; font-size: 12px;}
	.sub { vertical-align: sub; baseline-shift: sub; font-size: 70%;}
	.text { fill: black; font-size: 16px;}
  </style>
  <text class="text" x="8" y="20">&#948;</text>
  <line x1="12" x2="12" y1="26" y2="38" class="funvert" />
  <line x1="10" x2="14" y1="26" y2="26" class="funhoriz" />
  <line x1="10" x2="14" y1="38" y2="38" class="funhoriz" />
  <text class="text" x="8" y="52">&#949;</text>
  <text class="text" x="20" y="36">&#119891;&#8202;(&#948;, &#949;)</text>
</svg>