This folder contains a node script to extract all symbols from katex. Just type npm install
and then npm run get-katex-symbols
to run it (you may need to change the file paths to pull the data from KaTeX)
scripts
Folders and files
Name | Name | Last commit date | ||
---|---|---|---|---|
parent directory.. | ||||