diff --git a/web/package.json b/web/package.json
index dded1808..47d8b850 100644
--- a/web/package.json
+++ b/web/package.json
@@ -42,6 +42,7 @@
   "devDependencies": {
     "@bufbuild/buf": "^1.28.1",
     "@trivago/prettier-plugin-sort-imports": "^3.4.0",
+    "@types/katex": "^0.16.7",
     "@types/lodash-es": "^4.17.12",
     "@types/node": "^20.10.5",
     "@types/qs": "^6.9.11",
diff --git a/web/pnpm-lock.yaml b/web/pnpm-lock.yaml
index a2442440..d01d24d1 100644
--- a/web/pnpm-lock.yaml
+++ b/web/pnpm-lock.yaml
@@ -100,6 +100,9 @@ devDependencies:
   '@trivago/prettier-plugin-sort-imports':
     specifier: ^3.4.0
     version: 3.4.0(prettier@2.6.2)
+  '@types/katex':
+    specifier: ^0.16.7
+    version: 0.16.7
   '@types/lodash-es':
     specifier: ^4.17.12
     version: 4.17.12
@@ -1453,6 +1456,10 @@ packages:
     resolution: {integrity: sha512-5+fP8P8MFNC+AyZCDxrB2pkZFPGzqQWUzpSeuuVLvm8VMcorNYavBqoFcxK8bQz4Qsbn4oUEEem4wDLfcysGHA==}
     dev: true
 
+  /@types/katex@0.16.7:
+    resolution: {integrity: sha512-HMwFiRujE5PjrgwHQ25+bsLJgowjGjm5Z8FVSf0N6PwgJrwxH0QxzHYDcKsTfV3wva0vzrpqMTJS2jXPr5BMEQ==}
+    dev: true
+
   /@types/lodash-es@4.17.12:
     resolution: {integrity: sha512-0NgftHUcV4v34VhXm8QBSftKVXtbkBG3ViCjs6+eJ5a6y6Mi/jiFGPc1sC7QK+9BFhWrURE3EOggmWaSxL9OzQ==}
     dependencies: