Index of /fonts/wasy
      Name                    Last modified       Size  Description

[DIR] Parent Directory 20-Oct-2020 02:47 - [   ] WASYFONT.2 03-Jan-2020 08:25 5k [TXT] WASYFONT.tex 06-Jan-2020 21:33 7k [   ] lasychr.mf 04-Jun-2002 07:31 15k [   ] rsym.mf 07-Jan-2020 08:38 60k [DIR] 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 [TXT] 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