Index of /ctan/fonts/wasy/
| Name | Last Modified | Size | Type |
|---|
| ../ | | - | Directory |
| tfm/ | 2020-Jan-10 11:50:57 | - | Directory |
| README | 2020-Jan-24 11:14:18 | 0.8K | text/plain;charset=utf-8 |
| WASYFONT.2 | 2020-Jan-02 21:25:34 | 4.8K | application/x-troff-man |
| WASYFONT.tex | 2020-Jan-06 10:33:52 | 7.4K | application/x-tex |
| lasychr.mf | 2002-Jun-03 21:31:00 | 15.0K | application/octet-stream |
| rsym.mf | 2020-Jan-06 21:38:55 | 60.0K | application/octet-stream |
| wasy10.mf | 1990-May-27 00:00:00 | 4.1K | application/octet-stream |
| wasy5.mf | 1991-Jan-07 00:00:00 | 4.3K | application/octet-stream |
| wasy6.mf | 1991-Jan-07 00:00:00 | 4.1K | application/octet-stream |
| wasy7.mf | 1991-Jan-07 00:00:00 | 4.1K | application/octet-stream |
| wasy8.mf | 1991-Jan-07 00:00:00 | 4.1K | application/octet-stream |
| wasy9.mf | 1991-Jan-07 00:00:00 | 4.1K | application/octet-stream |
| wasyb10.mf | 1992-Sep-10 00:00:00 | 4.1K | application/octet-stream |
| wasychr.mf | 2020-Jan-21 20:35:45 | 13.8K | application/octet-stream |
| wasydoc.pdf | 2020-Jan-24 11:11:58 | 301.4K | application/pdf |
| wasydoc.tex | 2020-Jan-21 20:42:26 | 25.1K | application/x-tex |
| wasysl10.mf | 2019-Nov-11 12:04:47 | 4.1K | application/octet-stream |
This is version 2.5, a 2020 update of the wasy fonts of 1990.
The font wasy contains all lasy characters (by L.Lamport, copyright
notice in lasychr.mf), and a lot more symbols. Provided are the
Metafont files for 5-10pt, and bold and slanted 10pt fonts, together
with a tex and pdf documentation, and a file for using the fonts
in a PLAIN-TeX document.
Type-1 fonts by Michael Sharpe and Taco Hoekwater are available
as separate package wasy-type1.
A LaTeX implementation is in the separate package wasysym by Axel
Kielhorn.
The files of this package (wasy2.4) are hereby released into the public
domain. Permission is granted to use and/or distribute these files.
Extensions and modifications should be restricted to those that are
downward compatible with this release.
Jan 2020, Roland Waldi