diff --git a/apps/web/src/routes/kripke/components/formula-input.svelte b/apps/web/src/routes/kripke/components/formula-input.svelte
index 8670652..c9c205d 100644
--- a/apps/web/src/routes/kripke/components/formula-input.svelte
+++ b/apps/web/src/routes/kripke/components/formula-input.svelte
@@ -42,7 +42,7 @@ $effect(() => {
 {/if}
 
 {#snippet mathKey(latexCommand: string, actualText?: string)}
-  <button onclick={(e) => {
+  <button type="button" onclick={(e) => {
     e.preventDefault();
     input += actualText ?? latexCommand;
     inputElement.focus();