Name                    Last modified       Size  Description

 Parent Directory        25-Feb-2020 05:13      -  
 WASYFONT.2              03-Jan-2020 08:25     5k  
 WASYFONT.tex            06-Jan-2020 21:33     7k  
 lasychr.mf              04-Jun-2002 07:31    15k  
 rsym.mf                 07-Jan-2020 08:38    60k  
 tfm/                    10-Jan-2020 22:50      -  
 wasy10.mf               27-May-1990 10:00     4k  
 wasy5.mf                07-Jan-1991 11:00     4k  
 wasy6.mf                07-Jan-1991 11:00     4k  
 wasy7.mf                07-Jan-1991 11:00     4k  
 wasy8.mf                07-Jan-1991 11:00     4k  
 wasy9.mf                07-Jan-1991 11:00     4k  
 wasyb10.mf              10-Sep-1992 10:00     4k  
 wasychr.mf              22-Jan-2020 07:35    14k  
 wasydoc.pdf             24-Jan-2020 22:11   301k  
 wasydoc.tex             22-Jan-2020 07:42    25k  
 wasysl10.mf             11-Nov-2019 23:04     4k  

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