Devlog #1: Started working on FormulaSnap yesterday. I set up the project with React, TypeScript and Tauri and made the basic UI for searching and copying formulas. I also added KaTeX for proper formula rendering and keyboard navigation.I got the global shortcut working, so FormulaSnap can open from another app, and added Enter to copy and Escape to hide it. I had to fix a few Tauri permissions, Rust and port issues along the way.I used AI to help with the formula JSON/data and the Tauri + Rust setup, especially for the global shortcut.