![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/tex.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| bitconv.cc | 1994-01-29 17:00 | 7.1K |
| fonts | 1994-01-29 17:00 | 170K |
| fonts.tex | 1994-01-22 17:00 | 1.4K |
| mkbitmaps | 1994-01-29 17:00 | 883 |
| symbol1 | 1994-01-29 17:00 | 130K |
| symbol1.tex | 1994-02-03 17:00 | 1.6K |
| symbol2 | 1994-01-29 17:00 | 149K |
| symbol2.tex | 1994-01-02 17:00 | 1.8K |
| symbol3 | 1994-01-29 17:00 | 153K |
| symbol3.tex | 1994-01-02 17:00 | 1.9K |
| symbol4 | 1994-01-29 17:00 | 177K |
| symbol4.tex | 1994-01-02 17:00 | 2.3K |
| symbol5 | 1994-01-29 17:00 | 160K |
| symbol5.tex | 1994-01-02 17:00 | 2.3K |
| symbol6 | 1994-01-29 17:00 | 152K |
| symbol6.tex | 1994-01-02 17:00 | 1.3K |