| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | README.md | 1664 | logplain |
| -rw-r--r-- | UnicodeData.txt | 1913704 | logplain |
| -rwxr-xr-x | bold.py | 3729 | logplain |
| -rw-r--r-- | demo.html | 723 | logplain |
| -rw-r--r-- | init-unicode-maps.js | 66 | logplain |
| d--------- | licenses | 72 | logplain |
| -rw-r--r-- | manifest.json | 484 | logplain |
| -rw-r--r-- | page.js | 5174 | logplain |
| -rwxr-xr-x | subscript.py | 1286 | logplain |
| -rwxr-xr-x | superscript.py | 3094 | logplain |
| -rw-r--r-- | unicode-maps-to-bold.js | 8031 | logplain |
| -rw-r--r-- | unicode-maps-to-subscript.js | 1362 | logplain |
| -rw-r--r-- | unicode-maps-to-superscript.js | 4928 | logplain |
 |
index : tex-type.git | |
| A browser extension that converts commands (some TeX) in textboxes to unicode as one types. |
| aboutsummaryrefslogtreecommitdiff |