CTAN Comprehensive TeX Archive Network

esrelation – Provides a symbol set for describing relations between ordered pairs

Around 2008, re­searcher By­ron Cook and sev­eral col­leagues be­gan de­vel­op­ing a new set of in­ter­re­lated al­go­rithms ca­pa­ble of au­to­mat­i­cally rea­son­ing about the be­hav­ior of com­puter pro­grams and other sys­tems (such as bi­o­log­i­cal sys­tems, cir­cuit de­signs, etc).

At the cen­ter of these al­go­rithms were new ideas about the re­la­tion­ships be­tween struc­tures ex­press­able as math­e­mat­i­cal sets and re­la­tions. Us­ing the lan­guage of math­e­mat­ics and logic, the re­searchers com­mu­ni­cated these new re­sults to oth­ers in their com­mu­nity via pub­lished pa­pers, re­search talks, etc. Un­for­tu­nately, they found the sym­bols al­ready avail­able for rea­son­ing about re­la­tions lack­ing (in con­trast to sets, which have a long-ago de­vel­oped and ro­bust sym­bol vo­cab­u­lary). Early pre­sen­ta­tions were un­nec­es­sar­ily clut­tered.

To more el­e­gantly ex­press these ideas around re­la­tions, Cook re­cruited artist Tauba Auer­bach to help de­velop a set of sym­bols. This pack­age pro­vides an math sym­bol font for de­scrib­ing re­la­tions be­tween or­dered pairs by us­ing .

Ver­sion 2015-05-06
Li­censesThe Project Public Li­cense 1.3
Main­tainerDavid Re­in­furt
Con­tained inTeX Live as es­re­la­tion
MiKTeX as es­re­la­tion
TopicsFont Type1
MF Font
Maths Font

Down­load the con­tents of this pack­age in one zip archive (188.9k).

Com­mu­nity Com­ments



Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author