agda constant

String const agda

Implementation

static const String agda =
    '<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="512" height="512" preserveAspectRatio="xMidYMid meet" viewBox="0 0 512 512"><path fill="currentColor" d="M426.934 54.19 261.24 219.883c-7.475 6.74-17.17-3.385-10.544-10.544L416.389 43.645c7.048-6.74 17.328 3.086 10.545 10.545zm72.302 30.879-82.847 82.846c-6.743 7.413 3.446 17.258 10.545 10.545l82.846-82.847c6.643-7.568-3.561-17.277-10.544-10.544zm0-41.424-82.847 82.847c-6.781 7.404 3.1 17.204 10.545 10.545L509.78 54.19c6.72-7.533-3.28-17.04-10.544-10.545zm-289.964 0-82.846 82.847c-6.765 7.22 3.095 17.223 10.544 10.545l82.847-82.847c6.632-7.26-3.09-17.268-10.545-10.545zm-30.878 93.392L261.24 54.19c6.601-7.003-2.994-17.398-10.544-10.545l-82.847 82.847c-6.65 7.317 3.168 17.134 10.545 10.545zm77.574 333.57c84.33.012 169.911-64.196 173.15-173.15V217.7l80.662-80.663c6.69-7.46-3.35-17.265-10.544-10.545l-82.847 82.847a7.456 7.456 0 00-2.184 5.272v82.847c-2.483 101.816-82.348 158.237-158.237 158.237-69.55 0-155.355-52.151-158.237-158.237V214.61a7.456 7.456 0 00-7.456-7.456H25.429L178.394 54.19c6.622-7.003-2.924-17.298-10.545-10.545L2.156 209.34c-4.506 4.64-1.566 12.727 5.272 12.727h75.39v75.39c4.57 114.638 93.018 173.139 173.15 173.15zm-137.94-309.846c0-8.578-9.35-13.968-16.789-9.68s-7.44 15.07 0 19.359 16.79-1.101 16.79-9.68zm41.424 0c0-8.578-9.35-13.968-16.79-9.68-7.439 4.29-7.439 15.07 0 19.359 7.44 4.289 16.79-1.101 16.79-9.68z"/></svg>';