CTAN Comprehensive TeX Archive Network

Directory fonts/esrelation


The ESRELATION package

by Byron Cook, Tauba Auerbach, David Reinfurt


The program termination problem, also known at the uniform halting problem, can be defined as: Using a finite amount of time: determine whether a given program will always finish running or could possibly execute forever.

The programming and package writing and macro programming (especially the macro programming) required to produce these symbols looked like it might, itself, never end. It took more than a year of work in fits and starts to understand how the jalopy of bits and pieces go together to make a font work with . The Comprehensive Symbol List does not currently include this set, but on completion all of these files will be ready to upload in the correct formats for inclusion. These are implemented as a standard math symbol font, implemented with custom sources, rendered on-the-fly as needed by . Also provided in this package is a PostScript Type-1 version of the font. Symbols are accessed through macros defined in this package.


  • run latex on esrelation.ins to generate sty, mf, fd files
  • $ latex esrelation.ins
  • run latex (or pdflatex) on esrelation.dtx to generate documentation (including detailed installation instructions)
  • $ pdflatex esrelation.dtx
  • determine the location of your local tree by running
  • $ kpsewhich –var-val TEXMFLOCAL
(this value will henceforth be referred to as ‘TEXMFLOCAL’)
  • install esrelation.sty and uesrelation.fd in
  • TEXMFLOCAL/tex/latex/esrelation
  • install esrelation.mf and esrelation10.mf in
  • TEXMFLOCAL/fonts/source/public/esrelation
  • install esrelation10.pfb in
  • TEXMFLOCAL/fonts/type1/public/esrelation
  • install esrelation.map in
  • TEXMFLOCAL/fonts/map/dvips/esrelation

NB: all created directories should be set to mode 755 and all of the above files should be set to mode 644.

  • update font database
  • $ sudo -H mktexlsr
  • update font map
  • $ sudo -H updmap-sys –enable Map=esrelation.map
  • udpate the font database again
  • $ sudo -H mktexlsr


Up-to-date source code is hosted on GitHub.

More information about installing fonts can be found here.


This work may be distributed and/or modified under the conditions of the Project Public License, either version 1.3c of this license or (at your option) any later version. The latest version of this license is here and version 1.3c or later is part of all distributions of version 2005/12/01 or later.

Download the contents of this package in one zip archive (188.9k).

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

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 .

Version 2015-05-06
LicensesThe Project Public License 1.3
MaintainerDavid Reinfurt
Contained inTeX Live as esrelation
MiKTeX as esrelation
Maths Font
MF Font
Font Type1
Guest Book Sitemap Contact Contact Author