Agda icon

file-icons:agda

The Agda icon (file-icons:agda) is a free SVG icon from the File Icons set by John Gardner. It is drawn on a 512 × 512 grid. File Icons are released under the ISC license, which allows use in personal and commercial projects. Copy it as SVG, JSX, Vue or Svelte code, or download the SVG file.

Icon set: File Icons
Author: John Gardner
License: ISC
Size: 512 × 512

Download SVG

SVG code

<svg xmlns="http://www.w3.org/2000/svg" width="512" height="512" viewBox="0 0 512 512"><path fill="currentColor" d="M426.934 54.19L261.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.545m72.302 30.879l-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.544m0-41.424l-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.545m-289.964 0l-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.545m-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.545m77.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.46 7.46 0 0 0-2.184 5.272v82.847c-2.483 101.816-82.348 158.237-158.237 158.237c-69.55 0-155.355-52.151-158.237-158.237V214.61a7.456 7.456 0 0 0-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.15m-137.94-309.846c0-8.578-9.35-13.968-16.789-9.68s-7.44 15.07 0 19.359s16.79-1.101 16.79-9.68m41.424 0c0-8.578-9.35-13.968-16.79-9.68c-7.439 4.29-7.439 15.07 0 19.359c7.44 4.289 16.79-1.101 16.79-9.68"/></svg>

How to use the Agda icon

React

import { Icon } from "@iconify/react";

<Icon icon="file-icons:agda" width="24" />

Vue

<script setup>
import { Icon } from "@iconify/vue";
</script>

<template>
  <Icon icon="file-icons:agda" width="24" />
</template>

Svelte

<script>
  import Icon from "@iconify/svelte";
</script>

<Icon icon="file-icons:agda" width="24" />

Tailwind CSS

<!-- @iconify/tailwind plugin -->
<span class="icon-[file-icons--agda]"></span>

UnoCSS

<!-- @unocss/preset-icons + @iconify-json/file-icons -->
<div class="i-file-icons:agda"></div>

Web component

<script src="https://code.iconify.design/iconify-icon/2.1.0/iconify-icon.min.js"></script>

<iconify-icon icon="file-icons:agda"></iconify-icon>

HTML image

<img src="https://iconyz.com/api/public/svg/file-icons/agda.svg" alt="Agda icon" width="24" height="24">

Agda icon FAQ

Is the Agda icon free for commercial use?

Yes. File Icons are released under the ISC license, which allows use in personal and commercial projects.

How do I use the Agda icon in React?

Install @iconify/react and render <Icon icon="file-icons:agda" />, or use “Copy code” on this page to get a standalone React component.

How do I add the Agda icon to a web page?

Link the SVG file in an image tag: <img src="https://iconyz.com/api/public/svg/file-icons/agda.svg" alt="Agda icon">, or paste the SVG code inline to style it with CSS.

Browse all File Icons →