name esrelation
category Package
revision 37236
shortdesc Provides a symbol set for describing relations between ordered pairs
relocated 1
longdesc Around 2008, researcher Byron Cook and several colleagues began
longdesc developing a new set of interrelated algorithms capable of
longdesc automatically reasoning about the behavior of computer programs
longdesc and other systems (such as biological systems, circuit designs,
longdesc etc). At the center of these algorithms were new ideas about
longdesc the relationships between structures expressable as
longdesc mathematical sets and relations. Using the language of
longdesc mathematics and logic, the researchers communicated these new
longdesc results to others in their community via published papers,
longdesc research talks, etc. Unfortunately, they found the symbols
longdesc already available for reasoning about relations lacking (in
longdesc contrast to sets, which have a long-ago developed and robust
longdesc symbol vocabulary). Early presentations were unnecessarily
longdesc cluttered. To more elegantly express these ideas around
longdesc relations, Cook recruited artist Tauba Auerbach to help develop
longdesc a set of symbols. This package provides an math symbol font for
longdesc describing relations between ordered pairs by using Metafont.
execute addMap esrelation.map
runfiles size=17
 RELOC/fonts/map/dvips/esrelation/esrelation.map
 RELOC/fonts/source/public/esrelation/esrelation.mf
 RELOC/fonts/source/public/esrelation/esrelation10.mf
 RELOC/fonts/tfm/public/esrelation/esrelation10.tfm
 RELOC/fonts/type1/public/esrelation/esrelation10.pfb
 RELOC/tex/latex/esrelation/esrelation.sty
 RELOC/tex/latex/esrelation/uesrelation.fd
catalogue-ctan /fonts/esrelation
catalogue-date 2015-05-06 19:59:49 +0200
catalogue-license lppl1.3