aboutsummaryrefslogtreecommitdiff
path: root/.icons/Gruvbox-Light/apps/symbolic/coq-symbolic.svg
blob: dcf14563da42b94f8ce0482a990c752944282474 (plain)
1
2
3
4
5
<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" version="1.1" viewBox="0 0 4.23 4.23">
 <g transform="translate(0,-292.76665)">
  <path style="fill:#928374" d="m 1.6141023,292.89992 c -0.18504,0.0104 -0.3742932,0.084 -0.4968273,0.21695 -0.15739233,0.17076 -0.21091762,0.41551 -0.12612223,0.57663 0.036113,0.0686 0.16664483,0.20861 0.22497733,0.24125 0.024253,0.0136 0.017977,0.0272 -0.042908,0.0932 -0.039211,0.0425 -0.071268,0.0854 -0.071268,0.0953 0,0.0247 0.049624,0.0226 0.1457285,-0.006 0.091801,-0.0276 0.1004964,-0.024 0.1004964,0.0431 0,0.03 0.031121,0.0895 0.082668,0.15809 l 0.082668,0.11003 4.575e-4,0.17751 c 3.621e-4,0.15402 -0.00556,0.19039 -0.044595,0.2744 -0.056645,0.12192 -0.1199518,0.18531 -0.2802863,0.28056 -0.1748567,0.10388 -0.26304953,0.18624 -0.26304953,0.24572 0,0.0653 0.064807,0.1204 0.26222963,0.22302 0.1966293,0.10221 0.3218325,0.20923 0.3806916,0.32538 0.064742,0.12777 0.057616,0.18733 -0.037073,0.30869 -0.1795485,0.23014 -0.183711,0.23995 -0.183711,0.43154 v 0.1724 h 0.4396938 0.4396944 v -0.19042 c 0,-0.18518 -0.00159,-0.19281 -0.056816,-0.27617 -0.047008,-0.071 -0.057928,-0.10652 -0.063563,-0.20624 -0.00899,-0.15913 0.023403,-0.24019 0.1570366,-0.39301 0.1163056,-0.13299 0.1743643,-0.23019 0.1743643,-0.29177 0,-0.022 -0.017317,-0.0818 -0.038533,-0.13296 -0.035899,-0.0866 -0.03659,-0.0951 -0.00948,-0.1222 0.073872,-0.0739 0.2012176,0.10061 0.1841217,0.25228 -0.00991,0.0879 -0.058093,0.14985 -0.1848054,0.23775 -0.041313,0.0287 -0.070537,0.0595 -0.064931,0.0686 0.014916,0.0241 0.1613842,0.0197 0.2653759,-0.008 0.2344809,-0.0624 0.5245765,-0.27496 0.6123252,-0.44863 0.088894,-0.17593 0.1372867,-0.36927 0.1461848,-0.58378 0.00949,-0.22896 -0.00917,-0.34766 -0.076558,-0.48652 -0.075971,-0.15654 -0.2543624,-0.23233 -0.5472125,-0.23278 -0.2025566,-2.6e-4 -0.319285,0.0398 -0.4449379,0.1528 -0.1080601,0.0971 -0.1775241,0.22788 -0.2386106,0.44922 -0.0578,0.20943 -0.071586,0.24199 -0.1024572,0.24199 -0.013969,0 -0.033993,-0.0261 -0.044503,-0.0579 -0.027589,-0.0836 -0.05307,-0.45235 -0.053528,-0.77401 -3.085e-4,-0.21408 -0.00659,-0.28979 -0.027265,-0.32976 -0.013908,-0.0269 -0.018723,-0.0392 -0.016095,-0.0446 -0.00568,-0.007 -0.138023,-0.0572 -0.138023,-0.0572 l 0.5803163,-0.12658 c 0.0022,-0.16292 -0.0482,-0.32454 -0.1542552,-0.44503 -0.1057294,-0.12011 -0.2865721,-0.17294 -0.4716128,-0.16255 z"/>
 </g>
</svg>