diff options
Diffstat (limited to '.icons/Gruvbox-Dark-Mod/apps/symbolic/proofgeneral-symbolic.svg')
-rw-r--r-- | .icons/Gruvbox-Dark-Mod/apps/symbolic/proofgeneral-symbolic.svg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.icons/Gruvbox-Dark-Mod/apps/symbolic/proofgeneral-symbolic.svg b/.icons/Gruvbox-Dark-Mod/apps/symbolic/proofgeneral-symbolic.svg new file mode 100644 index 000000000..2edb716e0 --- /dev/null +++ b/.icons/Gruvbox-Dark-Mod/apps/symbolic/proofgeneral-symbolic.svg @@ -0,0 +1,3 @@ +<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16" version="1.1"> + <path d="M 1,3 C 0.6486975,2.3843618 1.3694664,1.5424257 1.8887865,1.0534737 2.3719013,0.59860983 3.0843857,0.38666538 3.7460861,0.3371303 4.5111477,0.27985757 5.3203517,0.467231 5.9928853,0.836418 6.7494059,1.2517068 7.3457036,1.9485358 7.8236094,2.6671421 8.397984,3.5308043 8.7512905,4.5405863 9.0019028,5.5470713 9.1931365,6.3150855 9.1465531,7.1235381 9.23826,7.9096717 9.335534,8.7435285 9.29394,9.613681 9.57112,10.406113 c 0.213609,0.610682 0.559725,1.188934 0.998576,1.664295 0.323717,0.350648 0.722013,0.65466 1.165007,0.832148 0.546207,0.218843 1.166449,0.1569 1.747509,0.249644 0.472851,0.07548 1.414651,0.249644 1.414651,0.249644 0,0 -1.255992,0.707169 -1.913938,0.998578 -0.513543,0.227449 -1.020954,0.541092 -1.581081,0.582503 -0.678161,0.05012 -1.393412,-0.103167 -1.997155,-0.416073 C 8.89938,14.304963 8.479749,13.870259 8.156467,13.401844 7.7819579,12.859204 7.5618183,12.212146 7.407536,11.57112 7.0803415,10.21165 7.0553512,7.3910588 7.0553512,7.3910588 c 0,0 -0.7342175,0.824602 -1.0624659,1.2675442 C 5.5393926,9.270552 5.0275407,9.865354 4.7446635,10.572543 4.4617872,11.279733 4.4015824,12.061181 4.3285893,12.819342 4.2589266,13.542911 4.3092889,15 4.3092889,15 H 2.5557654 c 0,0 -0.036426,-1.567118 0.025307,-2.347087 0.064655,-0.816887 0.074281,-1.663925 0.3605243,-2.431745 C 3.2605728,9.365546 3.8404996,8.6220287 4.4117963,7.9096717 4.8781009,7.3282308 5.4958003,6.8839581 5.992876,6.3285911 6.229782,6.063905 6.6431951,5.8513325 6.6585946,5.4964426 6.6802864,4.9968548 6.1570631,4.6233918 5.826447,4.2482218 5.4624258,3.8351414 5.0826602,3.3870987 4.5782262,3.1664308 4.1179772,2.9650909 3.581953,3.0277829 3.08036,3 2.3879655,2.961657 1.3436833,3.6022951 0.9999954,3 Z" style="fill:#d4be98"/> +</svg> |