Name Last modified Size Description
Parent Directory 21-Jan-2021 05:37 -
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