e7048e6314
Font containing icons of online academic profiles
Add tex-comicneue{,-doc} 1.0
Use Comic Neue with TeX(-alike) systems
Add tex-esrelation{,-doc} 2015
Provides a symbol set for describing relations between ordered pairs
Add tex-sourceserifpro{,-doc} 1.1
Use SourceSerifPro with TeX(-alike) systems
Add tex-typicons{,-doc} 2.0.7
Font containing a set of web-related icons
17 lines
1 KiB
Text
17 lines
1 KiB
Text
Around 2008, researcher Byron Cook and several colleagues began
|
|
developing a new set of interrelated algorithms capable of
|
|
automatically reasoning about the behavior of computer programs
|
|
and other systems (such as biological systems, circuit designs,
|
|
etc). At the center of these algorithms were new ideas about
|
|
the relationships between structures expressable as
|
|
mathematical sets and relations. Using the language of
|
|
mathematics and logic, the researchers communicated these new
|
|
results to others in their community via published papers,
|
|
research talks, etc. Unfortunately, they found the symbols
|
|
already available for reasoning about relations lacking (in
|
|
contrast to sets, which have a long-ago developed and robust
|
|
symbol vocabulary). Early presentations were unnecessarily
|
|
cluttered. To more elegantly express these ideas around
|
|
relations, Cook recruited artist Tauba Auerbach to help develop
|
|
a set of symbols. This package provides an math symbol font for
|
|
describing relations between ordered pairs by using Metafont.
|