esrelation (2may15)

git-svn-id: svn://tug.org/texlive/trunk@37154 c570f23f-e606-0410-a88d-b1316a301751

14 files changed, 1622 insertions, 2 deletions

diff --git a/Master/texmf-dist/doc/fonts/esrelation/README.md b/Master/texmf-dist/doc/fonts/esrelation/README.md
new file mode 100644
index 00000000000..7faae08b657
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/esrelation/README.md
@@ -0,0 +1,54 @@
+The ESRELATION package
+======================
+by Byron Cook, Tauba Auerbach, David Reinfurt
+
+About
+-----
+
+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 Metafont programming and LaTeX package writing and TeX macro programming (*especially the TeX 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 LaTeX. [The Comprehensive LaTeXe Symbol List](http://www.ctan.org/tex-archive/info/symbols/comprehensive/ "CTAN") 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 TeX math symbol font, implemented with custom Metafont sources, rendered on-the-fly as needed by LaTeX. Also provided in this package is a PostScript Type-1 version of the font. Symbols are accessed through macros defined in this package.
+
+Installation
+------------
+
++ 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 TeX 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 LaTeX font database
+	> $ sudo -H mktexlsr
+
++ update TeX font map
+	> $ sudo -H updmap-sys --enable Map=esrelation.map
+
++ udpate the font database again
+	> $ sudo -H mktexlsr
+
+Resources
+---------
+
+Up-to-date source code is hosted on [GitHub](https://github.com/reinfurt/ESRELATION).
+
+More information about installing TeX fonts can be found [here](https://www.tug.org/fonts/fontinstall.html).
diff --git a/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf b/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf
new file mode 100644
index 00000000000..26e0fbba2c0
--- /dev/null
+++ b/Master/texmf-dist/doc/fonts/esrelation/esrelation.pdf
diff --git a/Master/texmf-dist/fonts/map/dvips/esrelation/esrelation.map b/Master/texmf-dist/fonts/map/dvips/esrelation/esrelation.map
new file mode 100644
index 00000000000..33c3cc0a0c4
--- /dev/null
+++ b/Master/texmf-dist/fonts/map/dvips/esrelation/esrelation.map
@@ -0,0 +1 @@
+esrelation10 esrelation10 <esrelation10.pfb
diff --git a/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf b/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf
new file mode 100644
index 00000000000..dce9d587716
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/esrelation/esrelation.mf
@@ -0,0 +1,439 @@
+%%
+%% This is file `esrelation.mf',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% esrelation.dtx  (with options: `mf')
+%% 
+%% Copyright (C) 2015
+%% by Byron Cook, Tauba Auerbach, and David Reinfurt
+%% 
+
+%% mf setup
+
+font_coding_scheme:="TeX math symbols";
+mode_setup; font_setup;
+
+autorounding:=0;
+font_slant slant; font_x_height x_height#;
+font_quad 18u# if not monospace:+4letter_fit# fi;
+slant:=mono_charic#:=0;  % the remaining characters will not be slanted
+currenttransform:=identity yscaled aspect_ratio scaled granularity;
+
+%% identify symbols
+
+%% brackets
+
+bracket_project_right=oct"025";
+bracket_project_left=oct"024";
+bracket_lifting=oct"026";
+
+%% symbols
+
+restrict_wand=oct"027";
+restrict_barb=oct"030";
+restrict_mallet=oct"021";
+restrict_wand_up=oct"050";
+restrict_barb_up=oct"051";
+restrict_mallet_up=oct"052";
+
+%% arrows
+
+r_arrow22=oct"021";
+
+arrow_project_right=oct"022";
+arrow_project_left=oct"023";
+
+%% bars
+
+barshort=oct"040";
+barlong=oct"043";
+verticalbarlongleft=oct"044";
+verticalbarlongright=oct"046";
+verticalbarshort=oct"045";
+
+%% declare extensible
+
+extensible oct"025": oct"025",0,0,oct"044";
+extensible oct"024": oct"024",0,0,oct"044";
+
+%% define pixels
+
+define_pixels(em, cap, sb, penscaler);    % Convert to device-specific units.
+define_corrected_pixels(o); % Same, but add a device-specific fudge factor.
+
+%% relation utility dims
+
+%% u = (w-(2*sb))/8; % utility measurement
+uu = (h-(2*sb))/8; % utility measurement (using h, not w)
+super = 3.9; % offset utility for curve roundness [2.8]
+
+%% Arrow project Right
+
+iff known arrow_project_right: cmchar "arrow_project_right";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(arrow_project_right,10u#,cap#, 1pt#);
+
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (-5u, math_axis);
+  z2 = (10u, y1);
+  z3 = (x2-5u, y2+5u);
+
+  %% Draw
+
+  draw z1 -- z2 -- z3;    % right arrow
+  penlabels(1,2,3,4,5,6);
+
+endchar;
+
+%% Arrow project Left
+
+iff known arrow_project_left: cmchar "arrow_project_left";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(arrow_project_left,10u#,cap#, 1pt#);
+
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (15u, math_axis);
+  z2 = (0, y1);
+  z3 = (x2+5u, y2+5u);
+
+  %% Draw
+
+  draw z1 -- z2 -- z3;    % right arrow
+  penlabels(1,2,3,4,5,6);
+
+endchar;
+
+%% Bracket project Right
+
+iff known bracket_project_right: cmchar "bracket_project_right";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(bracket_project_right,5u#,cap#, 1pt#);
+
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (0, -3*desc_depth);
+  z2 = (x1, math_axis-4u);
+  z3 = (x1+5u/super, y4-5u/super);
+  z4 = (x1+4u, math_axis);
+  z5 = (15u, y4);
+
+  %% Draw
+
+  draw z1 -- z2 .. z3 .. z4 -- z5;    % right bracket
+  penlabels(1,2,3,4,5,6);
+
+endchar;
+
+%% Bracket project Left
+
+iff known bracket_project_left: cmchar "bracket_project_left";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(bracket_project_left,5u#,cap#, 1pt#);
+
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (w, -3*desc_depth);
+  z2 = (x1, math_axis-4u);
+  z3 = (x1-5u/super, y4-5u/super);
+  z4 = (x1-4u, math_axis);
+  z5 = (-10u, y4);
+
+  %% Draw
+
+  draw z1 -- z2 .. z3 .. z4 -- z5;    % right bracket
+  penlabels(1,2,3,4,5,6);
+
+endchar;
+
+%% Bracket Lifting
+
+iff known bracket_lifting: cmchar "bracket_lifting";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(bracket_lifting,5u#,cap#, 1pt#);
+
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (0, h+10u);
+  z2 = (x1, math_axis+4u);
+  z3 = (x1+5u/super, y4+5u/super);
+  z4 = (4u, math_axis);
+  z5 = (w+10u, y4);
+
+  %% Draw
+
+  draw z1 -- z2 .. z3 .. z4 -- z5;    % bracket
+  penlabels(1,2,3,4,5,6);
+
+endchar;
+
+
+iff known barshort: cmchar "barshort";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(barshort,3u#,v_center(spread#+rule_thickness#));
+
+adjust_fit(0,0);
+pickup pencircle scaled (penscaler);   % small, circular tip
+x1=eps;
+x2=w-eps+1u;
+y1=y2=math_axis;
+draw z1--z2;
+penlabels(1,2);
+
+endchar;
+
+%% Bar Long
+
+iff known barlong: cmchar "barlong";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(barlong,6u#,v_center(spread#+rule_thickness#));
+
+adjust_fit(0,0);
+pickup pencircle scaled (penscaler);   % small, circular tip
+x1=eps;
+x2=w-eps+1u;
+y1=y2=math_axis;
+draw z1--z2;
+penlabels(1,2);
+
+endchar;
+
+%% Vertical Bar Long Left
+
+iff known verticalbarlongleft: cmchar "verticalbarlongleft";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(verticalbarlongleft,5u#,v_center(spread#+rule_thickness#));
+
+adjust_fit(0,0);
+pickup pencircle scaled (penscaler);   % small, circular tip
+x1=x2=0;
+y1=asc_height-5u;
+y2=0;
+draw z1--z2;
+penlabels(1,2);
+
+endchar;
+
+%% Vertical Bar Long Right
+
+iff known verticalbarlongright: cmchar "verticalbarlongright";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(verticalbarlongright,5u#,v_center(spread#+rule_thickness#));
+
+adjust_fit(0,0);
+pickup pencircle scaled (penscaler);   % small, circular tip
+x1=x2=w;
+y1=asc_height-5u;
+y2=0;
+draw z1--z2;
+penlabels(1,2);
+
+endchar;
+
+%% Vertical Bar Short
+
+iff known verticalbarshort: cmchar "verticalbarshort";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(verticalbarshort,5u#,v_center(spread#+rule_thickness#));
+
+adjust_fit(0,0);
+pickup pencircle scaled (penscaler);   % small, circular tip
+x1=x2=0;
+y1=1u;
+y2=0;
+draw z1--z2;
+penlabels(1,2);
+
+endchar;
+
+%% restrict Wand
+
+iff known restrict_wand: cmchar "restrict_wand";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_wand,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);
+
+  %% Points
+
+  z1 = (3u, asc_height);              % bar
+  z2 = (x1, -2*u);
+
+  z3 = (x1-2*u, 0);    % asterisk
+  z4 = (x1+2*u, y3);
+  z5 = (x1-1.4*u, y3+1.4*u);
+  z6 = (x1+1.4*u, y3-1.4*u);
+  z7 = (x6, y5);
+  z8 = (x5, y6);
+
+  %% Draw
+
+  draw z1 -- z2;   % |
+  draw z3 -- z4;   % *
+  draw z5 -- z6;
+  draw z7 -- z8;
+
+penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+%% restrict Wand Up
+
+iff known restrict_wand_up: cmchar "restrict_wand_up";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_wand_up,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);
+
+  %% Points
+
+  z1 = (3u, -2u);              % bar
+  z2 = (x1, asc_height);
+
+  z3 = (x1-2*u, y2-2u);    % asterisk
+  z4 = (x1+2*u, y3);
+  z5 = (x1-1.4*u, y3+1.4*u);
+  z6 = (x1+1.4*u, y3-1.4*u);
+  z7 = (x6, y5);
+  z8 = (x5, y6);
+
+  %% Draw
+
+  draw z1 -- z2;   % |
+  draw z3 -- z4;   % *
+  draw z5 -- z6;
+  draw z7 -- z8;
+
+penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+%% restrict Barb
+
+iff known restrict_barb: cmchar "restrict_barb";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_barb,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, asc_height);                 % bar
+  z2 = (x1, -2*u);
+
+  z3 = (x1-2*u, 0);                     % diamond
+  z4 = (x1+2*u, y3);
+  z5 = (x1, 2*u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 -- z4 -- z5;                    % _\
+  draw z2 -- z3;                          % \
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+%% restrict Barb Up
+
+iff known restrict_barb_up: cmchar "restrict_barb_up";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_barb_up,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, -2u);                 % bar
+  z2 = (x1, asc_height);
+
+  z3 = (x1-2*u, y2-2u);                     % diamond
+  z4 = (x1+2*u, y3);
+  z5 = (x1, y3-2u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 -- z4 -- z5;                    % _\
+  draw z2 -- z3;                          % \
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+%% restrict Mallet
+
+iff known restrict_mallet: cmchar "restrict_mallet";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_mallet,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, asc_height);                 % bar
+  z2 = (x1, -2*u);
+
+  z3 = (x1-(4/3)*u, (-2/3)*u);                     % diamond
+  z4 = (x1+(4/3)*u, y3);
+  z5 = (x1, (2/3)*u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 .. z5 .. z4 .. z2 .. z3;        % o
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+%% restrict Mallet up
+
+iff known restrict_mallet_up: cmchar "restrict_mallet_up";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_mallet_up,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, -2u);                 % bar
+  z2 = (x1, asc_height);
+
+  z3 = (x1-(4/3)*u, y2-4/3u);                     % diamond
+  z4 = (x1+(4/3)*u, y3);
+  z5 = (x1, y3-4/3u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 .. z5 .. z4 .. z2 .. z3;        % o
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+bye.
+
+\endinput
+%%
+%% End of file `esrelation.mf'.
diff --git a/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf b/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf
new file mode 100644
index 00000000000..cdc4036fa2d
--- /dev/null
+++ b/Master/texmf-dist/fonts/source/public/esrelation/esrelation10.mf
@@ -0,0 +1,124 @@
+%%
+%% This is file `esrelation10.mf',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% esrelation.dtx  (with options: `mf10')
+%% 
+%% Copyright (C) 2015
+%% by Byron Cook, Tauba Auerbach, and David Reinfurt
+%% 
+if unknown cmbase: input cmbase fi
+
+font_identifier:="VECT";
+font_size 10pt#;
+
+%% relation specific measures
+
+em# := 10pt#; % ``M'' width
+cap# := 7pt#; % cap height
+sb# := 1/4pt#; % sidebearing
+o# := 1/16pt#; % amt curves overshoot borders
+penscaler# := 0.3pt#;   % pen stroke scaler ** fix **
+
+%% relation non-sharped values * fix *
+
+%% u = (w-(2*sb))/8; % utility measurement
+%% super = 3.9; % offset utility for curve roundness [2.8]
+
+%% cm values from esvect
+
+u#:=20/36pt#;      % unit width
+width_adj#:=0pt#;    % width adjustment for certain characters
+serif_fit#:=0pt#;    % extra sidebar near lowercase serifs
+cap_serif_fit#:=5/36pt#;  % extra sidebar near uppercase serifs
+letter_fit#:=0pt#;    % extra space added to all sidebars
+
+body_height#:=270/36pt#;  % height of tallest characters
+asc_height#:=250/36pt#;    % height of lowercase ascenders
+cap_height#:=246/36pt#;    % height of caps
+fig_height#:=232/36pt#;    % height of numerals
+x_height#:=155/36pt#;    % height of lowercase without ascenders
+math_axis#:=90/36pt#;    % axis of symmetry for math symbols
+bar_height#:=87/36pt#;    % height of crossbar in lowercase e
+comma_depth#:=70/36pt#;    % depth of comma below baseline
+desc_depth#:=70/36pt#;    % depth of lowercase descenders
+
+crisp#:=8/36pt#;    % diameter of serif corners
+tiny#:=8/36pt#;      % diameter of rounded corners
+fine#:=7/36pt#;      % diameter of sharply rounded corners
+thin_join#:=7/36pt#;    % width of extrafine details
+hair#:=9/36pt#;      % lowercase hairline breadth
+stem#:=24/36pt#;    % lowercase stem breadth
+curve#:=29/36pt#;    % lowercase curve breadth
+ess#:=27/36pt#;      % breadth in middle of lowercase s
+flare#:=32/36pt#;    % diameter of bulbs or breadth of terminals
+dot_size#:=38/36pt#;    % diameter of dots
+cap_hair#:=11/36pt#;    % uppercase hairline breadth
+cap_stem#:=30/36pt#;    % uppercase stem breadth
+cap_curve#:=35/36pt#;    % uppercase curve breadth
+cap_ess#:=33/36pt#;    % breadth in middle of uppercase s
+rule_thickness#:=.4pt#;    % thickness of lines in math symbols
+
+dish#:=1/36pt#;      % amount erased at top or bottom of serifs
+bracket#:=20/36pt#;    % vertical distance from serif base to tangent
+jut#:=30/36pt#;      % protrusion of lowercase serifs
+cap_jut#:=37/36pt#;    % protrusion of uppercase serifs
+beak_jut#:=10/36pt#;    % horizontal protrusion of beak serifs
+beak#:=70/36pt#;    % vertical protrusion of beak serifs
+vair#:=8/36pt#;      % vertical diameter of hairlines
+notch_cut#:=10pt#;    % maximum breadth above or below notches
+bar#:=11/36pt#;      % lowercase bar thickness
+slab#:=11/36pt#;    % serif and arm thickness
+cap_bar#:=11/36pt#;    % uppercase bar thickness
+cap_band#:=11/36pt#;    % uppercase thickness above/below lobes
+cap_notch_cut#:=10pt#;    % max breadth above/below uppercase notches
+serif_drop#:=4/36pt#;    % vertical drop of sloped serifs
+stem_corr#:=1/36pt#;    % for small refinements of stem breadth
+vair_corr#:=1/36pt#;    % for small refinements of hairline height
+apex_corr#:=0pt#;    % extra width at diagonal junctions
+
+%% o#:=8/36pt#;      % amount of overshoot for curves
+apex_o#:=8/36pt#;    % amount of overshoot for diagonal junctions
+
+slant:=.25;      % tilt ratio $(\Delta x/\Delta y)$
+fudge:=1;      % factor applied to weights of heavy characters
+math_spread:=0;      % extra openness of math symbols
+superness:=1/sqrt2;    % parameter for superellipses
+superpull:=1/6;      % extra openness inside bowls
+beak_darkness:=11/30;    % fraction of triangle inside beak serifs
+ligs:=2;      % level of ligatures to be included
+
+square_dots:=false;    % should dots be square?
+hefty:=false;      % should we try hard not to be overweight?
+serifs:=true;      % should serifs and bulbs be attached?
+monospace:=false;    % should all characters have the same width?
+variant_g:=true;    % should an italic-style g be used?
+low_asterisk:=false;    % should the asterisk be centered at the axis?
+math_fitting:=true;    % should math-mode spacing be used?
+
+subs:=7/10;  % subscripts to 10pt will normally be in 7pt type
+rth#:=.4pt#;  % assume that rules will come from cmex10
+fontdimen 8:  % parameters $\sigma_8$ through $\sigma_{22}$ will now be listed
+ math_axis#+3.51rth#+54/36pt#+subs*desc_depth#,      % num1
+ math_axis#+1.51rth#+30/36pt#,          % num2
+ math_axis#+1.51rth#+48/36pt#,          % num3
+ -(math_axis#-3.51rth#-subs*fig_height#-124/36pt#),    % denom1
+ -(math_axis#-1.51rth#-subs*fig_height#-30/36pt#),    % denom2
+ 8.99pt#-subs*asc_height#,          % sup1
+ 8.49pt#-subs*asc_height#,          % sup2
+ 104/36pt#,              % sup3
+ 54/36pt#,              % sub1
+ -(8.49pt#-2subs*asc_height#-3.1rth#),        % sub2
+ subs*asc_height#-36/36pt#,          % sup\_drop
+ 18/36pt#,              % sub\_drop
+ 23.9pt#,              % delim1
+ 10.1pt#,              % delim2
+ math_axis#;              % axis\_height
+
+generate esrelation      % switch to the driver file
+
+\endinput
+%%
+%% End of file `esrelation10.mf'.
diff --git a/Master/texmf-dist/fonts/tfm/public/esrelation/esrelation10.tfm b/Master/texmf-dist/fonts/tfm/public/esrelation/esrelation10.tfm
new file mode 100644
index 00000000000..752182e23d1
--- /dev/null
+++ b/Master/texmf-dist/fonts/tfm/public/esrelation/esrelation10.tfm
diff --git a/Master/texmf-dist/fonts/type1/public/esrelation/esrelation10.pfb b/Master/texmf-dist/fonts/type1/public/esrelation/esrelation10.pfb
new file mode 100644
index 00000000000..1c5b3da1bf5
--- /dev/null
+++ b/Master/texmf-dist/fonts/type1/public/esrelation/esrelation10.pfb
diff --git a/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx b/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx
new file mode 100644
index 00000000000..7de691e262a
--- /dev/null
+++ b/Master/texmf-dist/source/fonts/esrelation/esrelation.dtx
@@ -0,0 +1,842 @@
+% \iffalse meta-comment
+% 
+% testing testing
+% 
+% \fi
+%
+% \iffalse
+%<style>\NeedsTeXFormat{LaTeX2e}
+%<style>\ProvidesPackage{esrelation}
+%<fd>\ProvidesFile{uesrelation.fd}
+%<*driver>
+\documentclass[a4paper]{ltxdoc}
+\usepackage{esrelation}
+\parindent 0 pt
+\EnableCrossrefs
+\CodelineIndex
+\RecordChanges
+\OnlyDescription
+\begin{document}
+\DocInput{esrelation.dtx}
+\end{document}
+%</driver>
+% \fi
+%\title{The \textsf{\textbf{esrelation}} Package}
+%\author{Byron Cook, Tauba Auerbach, David Reinfurt}
+%\date{v 0.$\overline{9}$ 30/04/2015}
+%\maketitle
+%\MakeShortVerb{\|}
+%\section{Installation}
+%The program termination problem, also known at the uniform halting problem, can be defined as: \emph{Using a finite amount of time: determine whether a given program will always finish running or could possibly execute forever.}\\
+%
+%The Metafont programming and \LaTeXe{} package writing and \TeX macro programming (\emph{especially the \TeX 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 \LaTeX{}. The Comprehensive \LaTeXe{} Symbol List (http://www.ctan.org/tex-archive/info/symbols/comprehensive/) 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 \TeX{} math symbol font, implemented with custom Metafont sources, rendered on-the-fly as needed by \LaTeXe{}. Also provided in this package is a PostScript Type~1 version of the font. Symbols are accessed through macros defined in this package.\\
+%
+%Installation involves copying the supplied files to their designated places within \LaTeX{}'s search path and updating \TeX{}'s databases.
+%
+%\begin{enumerate}
+%\item
+%First, you need to find the folder \texttt{texmf-local} (on Unix the default is \texttt{/usr/local/texlive/texmf-local}). To do that, run: 
+%
+%\texttt{kpsewhich --var-value TEXMFLOCAL}
+%
+%Subsequently, this directory will be referred to as \texttt{TEXMFLOCAL}.
+%
+%\item
+%Run \LaTeX{} on \texttt{esrelation.ins}. 
+%Copy the files into the following directories, creating subdirectories as necessary:
+%
+%\begin{itemize}
+%\item copy \texttt{esrelation.sty} and \texttt{uesrelation.fd} to:\\
+%\texttt{TEXMFLOCAL/tex/latex/esrelation}
+%
+%\item copy \texttt{esrelation.mf} and \texttt{esrelation10.mf} to:\\
+%\texttt{TEXMFLOCAL/fonts/source/public/esrelation}
+%\end{itemize}
+%
+%If you also want to install the fonts in Type1 format:
+%\begin{itemize}
+%\item copy \texttt{esrelation10.pfb} to:\\
+%\texttt{TEXMFLOCAL/fonts/type1/public/esrelation}
+%
+%\item copy \texttt{esrelation.map} to:\\
+%\texttt{TEXMFLOCAL/fonts/map/dvips/esrelation}
+%
+%\end{itemize}
+%
+%Note that all created directories should be set to mode \texttt{755} and all files should be set to mode \texttt{644}.
+%
+%
+%\item
+%Update your \LaTeX{} font database. This is called the ls-r and lives in a few places. Fortunately, you can just run this, likely as sudo or root (\texttt{-H} sets \texttt{HOME} for the sudo environment):
+%
+%\texttt{sudo -H mktexlsr}
+%
+%\item
+%Update your \TeX{} font map by running the command:
+%
+%\texttt{sudo -H updmap-sys --enable Map=esrelation.map}
+%
+%\item
+%Update the font database again:
+%
+%\texttt{sudo -H mktexlsr}
+%
+%\item
+%Open \LaTeX{}, and start relating.
+%\end{enumerate}
+% 
+% \section{Using esrelation}
+%Load the package with \verb|\usepackage{esrelation}|. Available symbols to be used from math mode:\\
+%
+%\begin{tabular}{l l}
+%& \\
+%\verb+\relationrightproject+ & $\relationrightproject{A, Z}$\\
+%&\\
+%\verb+\relationleftproject+ & $\relationleftproject{A, Z}$\\
+%&\\
+%\verb+\relationlifting+ & $\relationlifting{A, Z}$\\
+%&\\
+%\verb+\restrictwand+ & $i_\restrictwand$\\
+%&\\
+%\verb+\restrictwandup+ & $i_\restrictwandup$\\
+%&\\
+%\verb+\restrictbarb+ & $R_\restrictbarb$\\
+%&\\
+%\verb+\restrictbarbup+ & $R_\restrictbarbup$\\
+%&\\
+%\verb+\restrictmallet+ & $Z_\restrictmallet$\\
+%&\\
+%\verb+\restrictmalletup+ & $Z_\restrictmalletup$\\
+%&\\
+%\end{tabular}
+%
+%\newpage
+%\Large
+%\parindent 0pt
+%
+%$\relationrightproject{R_A}$
+%
+%\vskip 2em
+%$\relationrightproject{0, 1}$
+%
+%\vskip 2em
+%$\relationleftproject{0, 1}$
+%
+%\vskip 2em
+%$\relationlifting{0, 1}$
+%
+%\vskip 2em
+%$\relationleftproject{\relationrightproject{\relationleftproject{\relationrightproject{1, 1}}}}$
+%
+%\vskip 2em
+%$\relationlifting{x|x>1, x|x=0}$
+%
+%\vskip 2em
+%$\relationlifting{\relationlifting{\relationlifting{\relationlifting{\relationlifting{x,X_\restrictwand}}}}}$
+%
+%\vskip 2em
+%$\relationleftproject{\relationlifting{\relationlifting{\relationleftproject{\relationrightproject{\relationleftproject{\relationrightproject{i,R}}}}}}}$
+%
+%\vskip 2em
+%$X_\restrictwand$
+%$X_\restrictwand^2$
+%$X_\restrictwand^\infty$
+%
+%\vskip 2em
+%$X_\restrictbarb$
+%
+%\vskip 2em
+%$X_\restrictmallet$
+%
+% \newpage
+% \normalsize
+% End. Try some more combinations now that it's running.
+%
+%\StopEventually{}
+%    \begin{macrocode}
+%<*fd>
+\DeclareFontFamily{U}{esrelation}{}
+\DeclareFontShape{U}{esrelation}{m}{n}{<->esrelation10}{}
+%</fd>
+%    \end{macrocode}
+%    \begin{macrocode}
+%<*style>
+\DeclareSymbolFont{esrelation}{U}{esrelation}{m}{n}
+\DeclareMathSymbol{\arrwr}{\mathord}{esrelation}{'022} % arrow_project_right
+\DeclareMathSymbol{\arrwl}{\mathord}{esrelation}{'023} % arrow_project_left
+\DeclareMathSymbol{\brktr}{\mathrel}{esrelation}{'025} % bracket_project_right
+\DeclareMathSymbol{\brktl}{\mathrel}{esrelation}{'024} % bracket_project_left
+\DeclareMathSymbol{\brktlift}{\mathrel}{esrelation}{'026} % bracket_lifting
+\DeclareMathSymbol{\barshort}{\mathrel}{esrelation}{'040}
+\DeclareMathSymbol{\barlong}{\mathrel}{esrelation}{'043}
+\DeclareMathSymbol{\verticalbarshort}{\mathord}{esrelation}{'045}
+\DeclareMathSymbol{\verticalbarlongleft}{\mathord}{esrelation}{'044}
+\DeclareMathSymbol{\verticalbarlongright}{\mathord}{esrelation}{'046}
+\DeclareMathSymbol{\restrictwand}{\mathord}{esrelation}{'027}
+\DeclareMathSymbol{\restrictbarb}{\mathord}{esrelation}{'030}
+\DeclareMathSymbol{\restrictmallet}{\mathord}{esrelation}{'021}
+\DeclareMathSymbol{\restrictwandup}{\mathord}{esrelation}{'050}
+\DeclareMathSymbol{\restrictbarbup}{\mathord}{esrelation}{'051}
+\DeclareMathSymbol{\restrictmalletup}{\mathord}{esrelation}{'052}
+%%----------------------------------------
+%% 0. main
+%%----------------------------------------
+
+\ProcessOptions\relax
+
+\def\relationrightproject{\parindent 0pt\mathpalette{\relationbuildprojectright\relationbarfill}}
+\def\relationleftproject{\parindent 0pt\mathpalette{\relationbuildprojectleft\relationbarfill}}
+\def\relationlifting{\parindent 0pt\mathpalette{\relationbuildlifting\relationbarfill}}
+%%----------------------------------------
+%% 1. fills
+%%----------------------------------------
+
+\def\relationbarfill#1{
+\m@th\leaders\hbox{$\mkern-2mu\barlong\mkern-2mu$}\hfill
+}
+
+\def\relationverticalbarfillleft#1{
+  \hbox to .5em{\vbox to #1{
+  \leaders\hbox{\hbox{$\verticalbarlongleft$}}
+  \vfill\kern-.5em$\verticalbarlongleft$}}
+}
+
+\def\relationverticalbarfillright#1{
+  \hbox to .5em{\vbox to #1{
+  \leaders\hbox{\hbox{$\verticalbarlongright$}}
+  \vfill\kern-.5em$\verticalbarlongright$}}
+}
+%%----------------------------------------
+%% 2. build
+%%----------------------------------------
+
+\def\relationbuildprojectright #1#2#3{
+%% #1 = \relationbarfill
+%% #2 = \mathchoice
+%% #3 = \relationleftproject{...}
+\setbox0=\hbox{$#3$} %% main expression
+\dimen0=\ht0 %% main box height
+\dimen1=\wd0 %% main box width
+\vbox{
+\ialign{##\crcr
+\noalign{\kern-.3em\nointerlineskip} %% overline
+\hbox to \dimen1{$\kern.1em\brktr$#1#2}$\mkern-3mu
+\arrwr$\crcr
+\noalign{\kern-.1em\nointerlineskip}$\m@th %% main
+\kern.1em\relationverticalbarfillleft{\dimen0}\kern-.3em\box0 $\crcr
+}
+}
+}
+
+\def\relationbuildprojectleft #1#2#3{
+%% #1 = \relationbarfill
+%% #2 = \mathchoice
+%% #3 = \relationleftproject{...}
+\setbox0=\hbox{$#3$} %% main expression
+\dimen0=\ht0 %% main box height
+\dimen1=\wd0 %% main box width
+\vbox{
+\ialign{##\crcr
+\noalign{\kern-.3em\nointerlineskip} %% overline
+\hbox to \dimen1{$\mkern2mu\arrwl$#1#2}$\kern.1em\brktl$\crcr
+\noalign{\kern-.1em\nointerlineskip}$\m@th %% main
+\mkern3mu\box0\mkern-3mu\kern.1em\relationverticalbarfillright{
+\dimen0}$\crcr
+}
+}
+}
+
+\def\relationbuildlifting #1#2#3{
+%% #1 = \relationbarfill
+%% #2 = \mathchoice
+%% #3 = \relationbuildlifting{...}
+\setbox0=\hbox{$#3$} %% main expression
+\dimen0=\ht0 %% main box height
+\dimen1=\wd0 %% main box width
+\advance\dimen1 by -.25em %% close horizontal gap
+\lower.75ex\hbox{\vbox{
+\ialign{##\crcr
+\noalign{\kern0em\nointerlineskip}$\m@th %% main
+\kern.1em\relationverticalbarfillleft{\dimen0}\mkern-5mu
+\box0 $\crcr
+\noalign{\kern-.2em\nointerlineskip} %% underline
+\hbox to \dimen1{$\kern.1em\brktlift$#1#2}$\mkern-3mu\barlong
+\barlong$\crcr
+}
+}
+}\kern-.25em
+}
+
+%</style>
+%    \end{macrocode}
+%    \begin{macrocode}
+%<*mf>
+
+%% mf setup
+
+font_coding_scheme:="TeX math symbols";
+mode_setup; font_setup;
+
+autorounding:=0;
+font_slant slant; font_x_height x_height#;
+font_quad 18u# if not monospace:+4letter_fit# fi;
+slant:=mono_charic#:=0;  % the remaining characters will not be slanted
+currenttransform:=identity yscaled aspect_ratio scaled granularity;
+
+
+%% identify symbols
+
+%% brackets
+
+bracket_project_right=oct"025";
+bracket_project_left=oct"024";
+bracket_lifting=oct"026";
+
+%% symbols
+
+restrict_wand=oct"027";
+restrict_barb=oct"030";
+restrict_mallet=oct"021";
+restrict_wand_up=oct"050";
+restrict_barb_up=oct"051";
+restrict_mallet_up=oct"052";
+
+
+%% arrows
+
+r_arrow22=oct"021";
+
+arrow_project_right=oct"022";
+arrow_project_left=oct"023";
+
+%% bars
+
+barshort=oct"040";
+barlong=oct"043";
+verticalbarlongleft=oct"044";
+verticalbarlongright=oct"046";
+verticalbarshort=oct"045";
+
+%% declare extensible 
+
+extensible oct"025": oct"025",0,0,oct"044";
+extensible oct"024": oct"024",0,0,oct"044";  
+
+
+
+%% define pixels
+
+define_pixels(em, cap, sb, penscaler);   	% Convert to device-specific units.
+define_corrected_pixels(o);		% Same, but add a device-specific fudge factor. 
+
+
+%% relation utility dims
+
+%% u = (w-(2*sb))/8;			% utility measurement
+uu = (h-(2*sb))/8;			% utility measurement (using h, not w)
+super = 3.9;				% offset utility for curve roundness [2.8]
+
+
+%% Arrow project Right
+
+iff known arrow_project_right: cmchar "arrow_project_right";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(arrow_project_right,10u#,cap#, 1pt#);
+  
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (-5u, math_axis);
+  z2 = (10u, y1);
+  z3 = (x2-5u, y2+5u);
+  
+  %% Draw
+
+  draw z1 -- z2 -- z3;   	% right arrow
+  penlabels(1,2,3,4,5,6); 
+
+endchar;
+
+
+%% Arrow project Left
+
+iff known arrow_project_left: cmchar "arrow_project_left";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(arrow_project_left,10u#,cap#, 1pt#);
+  
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (15u, math_axis);
+  z2 = (0, y1);
+  z3 = (x2+5u, y2+5u);
+  
+  %% Draw
+
+  draw z1 -- z2 -- z3;   	% right arrow
+  penlabels(1,2,3,4,5,6); 
+
+endchar;
+
+
+%% Bracket project Right
+
+iff known bracket_project_right: cmchar "bracket_project_right";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(bracket_project_right,5u#,cap#, 1pt#);
+  
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (0, -3*desc_depth);
+  z2 = (x1, math_axis-4u);
+  z3 = (x1+5u/super, y4-5u/super);
+  z4 = (x1+4u, math_axis);
+  z5 = (15u, y4);
+  
+  %% Draw
+
+  draw z1 -- z2 .. z3 .. z4 -- z5;   	% right bracket
+  penlabels(1,2,3,4,5,6); 
+
+endchar;
+
+
+%% Bracket project Left
+
+iff known bracket_project_left: cmchar "bracket_project_left";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(bracket_project_left,5u#,cap#, 1pt#);
+  
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (w, -3*desc_depth);
+  z2 = (x1, math_axis-4u);
+  z3 = (x1-5u/super, y4-5u/super);
+  z4 = (x1-4u, math_axis);
+  z5 = (-10u, y4);
+    
+  %% Draw
+
+  draw z1 -- z2 .. z3 .. z4 -- z5;   	% right bracket
+  penlabels(1,2,3,4,5,6); 
+
+endchar;
+
+
+%% Bracket Lifting
+
+iff known bracket_lifting: cmchar "bracket_lifting";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(bracket_lifting,5u#,cap#, 1pt#);
+  
+  adjust_fit(0,0);
+  pickup pencircle scaled (penscaler);   % small, circular tip
+
+  %% Points
+
+  z1 = (0, h+10u);
+  z2 = (x1, math_axis+4u);
+  z3 = (x1+5u/super, y4+5u/super);
+  z4 = (4u, math_axis);
+  z5 = (w+10u, y4);
+  
+  %% Draw
+
+  draw z1 -- z2 .. z3 .. z4 -- z5;   	% bracket
+  penlabels(1,2,3,4,5,6); 
+
+endchar;
+
+
+% Bar Short
+
+iff known barshort: cmchar "barshort";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(barshort,3u#,v_center(spread#+rule_thickness#));
+
+	adjust_fit(0,0); 
+	% pickup rule.nib;
+	pickup pencircle scaled (penscaler);   % small, circular tip  
+	x1=eps;
+	x2=w-eps+1u;
+	y1=y2=math_axis;
+	draw z1--z2;
+	penlabels(1,2);
+	
+endchar;
+
+
+%% Bar Long
+
+iff known barlong: cmchar "barlong";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(barlong,6u#,v_center(spread#+rule_thickness#));
+
+	adjust_fit(0,0); 
+	% pickup rule.nib;
+	pickup pencircle scaled (penscaler);   % small, circular tip
+	x1=eps;
+	x2=w-eps+1u;
+	y1=y2=math_axis;
+	draw z1--z2;
+	penlabels(1,2);
+	
+endchar;
+
+
+%% Vertical Bar Long Left
+
+iff known verticalbarlongleft: cmchar "verticalbarlongleft";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(verticalbarlongleft,5u#,v_center(spread#+rule_thickness#));
+
+	adjust_fit(0,0); 
+	pickup pencircle scaled (penscaler);   % small, circular tip
+	x1=x2=0;
+	y1=asc_height-5u;
+	y2=0;
+	draw z1--z2;
+	penlabels(1,2);
+	
+endchar;
+
+
+%% Vertical Bar Long Right
+
+iff known verticalbarlongright: cmchar "verticalbarlongright";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(verticalbarlongright,5u#,v_center(spread#+rule_thickness#));
+
+	adjust_fit(0,0); 
+	pickup pencircle scaled (penscaler);   % small, circular tip
+	x1=x2=w;
+	y1=asc_height-5u;
+	y2=0;
+	draw z1--z2;
+	penlabels(1,2);
+	
+endchar;
+
+
+%% Vertical Bar Short
+
+iff known verticalbarshort: cmchar "verticalbarshort";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(verticalbarshort,5u#,v_center(spread#+rule_thickness#));
+
+	adjust_fit(0,0); 
+	pickup pencircle scaled (penscaler);   % small, circular tip
+	x1=x2=0;
+	y1=1u;
+	y2=0;
+	draw z1--z2;
+	penlabels(1,2);
+	
+endchar;
+
+
+%% restrict Wand
+
+iff known restrict_wand: cmchar "restrict_wand";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_wand,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   
+  
+  %% Points
+
+  z1 = (3u, asc_height);             	% bar
+  z2 = (x1, -2*u);
+
+  z3 = (x1-2*u, 0);			  			% asterisk
+  z4 = (x1+2*u, y3);
+  z5 = (x1-1.4*u, y3+1.4*u);
+  z6 = (x1+1.4*u, y3-1.4*u);
+  z7 = (x6, y5);
+  z8 = (x5, y6);
+
+  %% Draw
+
+  draw z1 -- z2;			  % |
+  draw z3 -- z4;			  % *
+  draw z5 -- z6;
+  draw z7 -- z8;
+
+	penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+
+%% restrict Wand Up
+
+iff known restrict_wand_up: cmchar "restrict_wand_up";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_wand_up,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   
+  
+  %% Points
+
+  z1 = (3u, -2u);             	% bar
+  z2 = (x1, asc_height);
+
+  z3 = (x1-2*u, y2-2u);			  			% asterisk
+  z4 = (x1+2*u, y3);
+  z5 = (x1-1.4*u, y3+1.4*u);
+  z6 = (x1+1.4*u, y3-1.4*u);
+  z7 = (x6, y5);
+  z8 = (x5, y6);
+
+  %% Draw
+
+  draw z1 -- z2;			  % |
+  draw z3 -- z4;			  % *
+  draw z5 -- z6;
+  draw z7 -- z8;
+
+	penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+
+%% restrict Barb
+
+iff known restrict_barb: cmchar "restrict_barb";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_barb,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, asc_height);          	      % bar
+  z2 = (x1, -2*u);
+
+  z3 = (x1-2*u, 0);                     % diamond
+  z4 = (x1+2*u, y3);
+  z5 = (x1, 2*u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 -- z4 -- z5;                    % _\
+  draw z2 -- z3;                          % \
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+
+%% restrict Barb Up
+
+iff known restrict_barb_up: cmchar "restrict_barb_up";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_barb_up,5u#,v_center(spread#+rule_thickness#));
+
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, -2u);          	      % bar
+  z2 = (x1, asc_height);
+
+  z3 = (x1-2*u, y2-2u);                     % diamond
+  z4 = (x1+2*u, y3);
+  z5 = (x1, y3-2u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 -- z4 -- z5;                    % _\
+  draw z2 -- z3;                          % \
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+
+%% restrict Mallet
+
+iff known restrict_mallet: cmchar "restrict_mallet";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_mallet,5u#,v_center(spread#+rule_thickness#));
+ 
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, asc_height);          	      % bar
+  z2 = (x1, -2*u);
+
+  z3 = (x1-(4/3)*u, (-2/3)*u);                     % diamond
+  z4 = (x1+(4/3)*u, y3);
+  z5 = (x1, (2/3)*u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 .. z5 .. z4 .. z2 .. z3;        % o
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+
+
+%% restrict Mallet up
+
+iff known restrict_mallet_up: cmchar "restrict_mallet_up";
+compute_spread(.45x_height#,.55x_height#);
+beginchar(restrict_mallet_up,5u#,v_center(spread#+rule_thickness#));
+ 
+  pickup pencircle scaled (penscaler);   % Use a pen with a small, circular tip.
+
+  %% Points
+
+  z1 = (3u, -2u);          	      % bar
+  z2 = (x1, asc_height);
+
+  z3 = (x1-(4/3)*u, y2-4/3u);                     % diamond
+  z4 = (x1+(4/3)*u, y3);
+  z5 = (x1, y3-4/3u);
+
+  %% Draw
+
+  draw z1 -- z2;                          % |
+  draw z3 .. z5 .. z4 .. z2 .. z3;        % o
+
+  penlabels(1,2,3,4,5,6,7,8,9,10,11,12,13,14,15);
+
+endchar;
+
+
+
+bye.
+
+%</mf>
+%    \end{macrocode}
+%    \begin{macrocode}
+%<*mf10>
+if unknown cmbase: input cmbase fi
+
+font_identifier:="VECT"; 
+font_size 10pt#;
+
+%% relation specific measures
+
+em# := 10pt#;				% ``M'' width
+cap# := 7pt#;				% cap height
+sb# := 1/4pt#;				% sidebearing
+o# := 1/16pt#;				% amt curves overshoot borders
+penscaler# := 0.3pt#;	 	% pen stroke scaler ** fix **
+
+%% relation non-sharped values * fix *
+
+%% u = (w-(2*sb))/8;			% utility measurement
+%% super = 3.9;				% offset utility for curve roundness [2.8]
+  
+%% cm values from esvect
+
+u#:=20/36pt#;      % unit width
+width_adj#:=0pt#;    % width adjustment for certain characters
+serif_fit#:=0pt#;    % extra sidebar near lowercase serifs
+cap_serif_fit#:=5/36pt#;  % extra sidebar near uppercase serifs
+letter_fit#:=0pt#;    % extra space added to all sidebars
+
+body_height#:=270/36pt#;  % height of tallest characters
+asc_height#:=250/36pt#;    % height of lowercase ascenders
+cap_height#:=246/36pt#;    % height of caps
+fig_height#:=232/36pt#;    % height of numerals
+x_height#:=155/36pt#;    % height of lowercase without ascenders
+math_axis#:=90/36pt#;    % axis of symmetry for math symbols
+bar_height#:=87/36pt#;    % height of crossbar in lowercase e
+comma_depth#:=70/36pt#;    % depth of comma below baseline
+desc_depth#:=70/36pt#;    % depth of lowercase descenders
+
+crisp#:=8/36pt#;    % diameter of serif corners
+tiny#:=8/36pt#;      % diameter of rounded corners
+fine#:=7/36pt#;      % diameter of sharply rounded corners
+thin_join#:=7/36pt#;    % width of extrafine details
+hair#:=9/36pt#;      % lowercase hairline breadth
+stem#:=24/36pt#;    % lowercase stem breadth
+curve#:=29/36pt#;    % lowercase curve breadth
+ess#:=27/36pt#;      % breadth in middle of lowercase s
+flare#:=32/36pt#;    % diameter of bulbs or breadth of terminals
+dot_size#:=38/36pt#;    % diameter of dots
+cap_hair#:=11/36pt#;    % uppercase hairline breadth
+cap_stem#:=30/36pt#;    % uppercase stem breadth
+cap_curve#:=35/36pt#;    % uppercase curve breadth
+cap_ess#:=33/36pt#;    % breadth in middle of uppercase s
+rule_thickness#:=.4pt#;    % thickness of lines in math symbols
+
+dish#:=1/36pt#;      % amount erased at top or bottom of serifs
+bracket#:=20/36pt#;    % vertical distance from serif base to tangent
+jut#:=30/36pt#;      % protrusion of lowercase serifs
+cap_jut#:=37/36pt#;    % protrusion of uppercase serifs
+beak_jut#:=10/36pt#;    % horizontal protrusion of beak serifs
+beak#:=70/36pt#;    % vertical protrusion of beak serifs
+vair#:=8/36pt#;      % vertical diameter of hairlines
+notch_cut#:=10pt#;    % maximum breadth above or below notches
+bar#:=11/36pt#;      % lowercase bar thickness
+slab#:=11/36pt#;    % serif and arm thickness
+cap_bar#:=11/36pt#;    % uppercase bar thickness
+cap_band#:=11/36pt#;    % uppercase thickness above/below lobes
+cap_notch_cut#:=10pt#;    % max breadth above/below uppercase notches
+serif_drop#:=4/36pt#;    % vertical drop of sloped serifs
+stem_corr#:=1/36pt#;    % for small refinements of stem breadth
+vair_corr#:=1/36pt#;    % for small refinements of hairline height
+apex_corr#:=0pt#;    % extra width at diagonal junctions
+
+%% o#:=8/36pt#;      % amount of overshoot for curves
+apex_o#:=8/36pt#;    % amount of overshoot for diagonal junctions
+
+slant:=.25;      % tilt ratio $(\Delta x/\Delta y)$
+fudge:=1;      % factor applied to weights of heavy characters
+math_spread:=0;      % extra openness of math symbols
+superness:=1/sqrt2;    % parameter for superellipses
+superpull:=1/6;      % extra openness inside bowls
+beak_darkness:=11/30;    % fraction of triangle inside beak serifs
+ligs:=2;      % level of ligatures to be included
+
+square_dots:=false;    % should dots be square?
+hefty:=false;      % should we try hard not to be overweight?
+serifs:=true;      % should serifs and bulbs be attached?
+monospace:=false;    % should all characters have the same width?
+variant_g:=true;    % should an italic-style g be used?
+low_asterisk:=false;    % should the asterisk be centered at the axis?
+math_fitting:=true;    % should math-mode spacing be used?
+
+subs:=7/10;  % subscripts to 10pt will normally be in 7pt type
+rth#:=.4pt#;  % assume that rules will come from cmex10
+fontdimen 8:  % parameters $\sigma_8$ through $\sigma_{22}$ will now be listed
+ math_axis#+3.51rth#+54/36pt#+subs*desc_depth#,      % num1
+ math_axis#+1.51rth#+30/36pt#,          % num2
+ math_axis#+1.51rth#+48/36pt#,          % num3
+ -(math_axis#-3.51rth#-subs*fig_height#-124/36pt#),    % denom1
+ -(math_axis#-1.51rth#-subs*fig_height#-30/36pt#),    % denom2
+ 8.99pt#-subs*asc_height#,          % sup1
+ 8.49pt#-subs*asc_height#,          % sup2
+ 104/36pt#,              % sup3
+ 54/36pt#,              % sub1
+ -(8.49pt#-2subs*asc_height#-3.1rth#),        % sub2
+ subs*asc_height#-36/36pt#,          % sup\_drop
+ 18/36pt#,              % sub\_drop
+ 23.9pt#,              % delim1
+ 10.1pt#,              % delim2
+ math_axis#;              % axis\_height
+
+generate esrelation      % switch to the driver file
+
+%</mf10>
+%    \end{macrocode}
+% \Finale
\ No newline at end of file
diff --git a/Master/texmf-dist/source/fonts/esrelation/esrelation.ins b/Master/texmf-dist/source/fonts/esrelation/esrelation.ins
new file mode 100644
index 00000000000..ac6b7eafb11
--- /dev/null
+++ b/Master/texmf-dist/source/fonts/esrelation/esrelation.ins
@@ -0,0 +1,19 @@
+%% filename: esrelation.ins
+%% version: 1.0
+%% date: 2015/04/30
+%%
+%% ------------------------------------------------------
+
+\input docstrip.tex
+\keepsilent
+\preamble
+
+Copyright (C) 2015
+by Byron Cook, Tauba Auerbach, and David Reinfurt
+
+\endpreamble
+\generate{\file{esrelation.sty}{\from{esrelation.dtx}{style}}}
+\generate{\file{uesrelation.fd}{\from{esrelation.dtx}{fd}}}
+\generate{\file{esrelation.mf}{\from{esrelation.dtx}{mf}}}
+\generate{\file{esrelation10.mf}{\from{esrelation.dtx}{mf10}}}
+\endbatchfile
diff --git a/Master/texmf-dist/tex/latex/esrelation/esrelation.sty b/Master/texmf-dist/tex/latex/esrelation/esrelation.sty
new file mode 100644
index 00000000000..324ea77f424
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/esrelation/esrelation.sty
@@ -0,0 +1,122 @@
+%%
+%% This is file `esrelation.sty',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% esrelation.dtx  (with options: `style')
+%% 
+%% Copyright (C) 2015
+%% by Byron Cook, Tauba Auerbach, and David Reinfurt
+%% 
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{esrelation}
+\DeclareSymbolFont{esrelation}{U}{esrelation}{m}{n}
+\DeclareMathSymbol{\arrwr}{\mathord}{esrelation}{'022} % arrow_project_right
+\DeclareMathSymbol{\arrwl}{\mathord}{esrelation}{'023} % arrow_project_left
+\DeclareMathSymbol{\brktr}{\mathrel}{esrelation}{'025} % bracket_project_right
+\DeclareMathSymbol{\brktl}{\mathrel}{esrelation}{'024} % bracket_project_left
+\DeclareMathSymbol{\brktlift}{\mathrel}{esrelation}{'026} % bracket_lifting
+\DeclareMathSymbol{\barshort}{\mathrel}{esrelation}{'040}
+\DeclareMathSymbol{\barlong}{\mathrel}{esrelation}{'043}
+\DeclareMathSymbol{\verticalbarshort}{\mathord}{esrelation}{'045}
+\DeclareMathSymbol{\verticalbarlongleft}{\mathord}{esrelation}{'044}
+\DeclareMathSymbol{\verticalbarlongright}{\mathord}{esrelation}{'046}
+\DeclareMathSymbol{\restrictwand}{\mathord}{esrelation}{'027}
+\DeclareMathSymbol{\restrictbarb}{\mathord}{esrelation}{'030}
+\DeclareMathSymbol{\restrictmallet}{\mathord}{esrelation}{'021}
+\DeclareMathSymbol{\restrictwandup}{\mathord}{esrelation}{'050}
+\DeclareMathSymbol{\restrictbarbup}{\mathord}{esrelation}{'051}
+\DeclareMathSymbol{\restrictmalletup}{\mathord}{esrelation}{'052}
+%%----------------------------------------
+%% 0. main
+%%----------------------------------------
+
+\ProcessOptions\relax
+
+\def\relationrightproject{\parindent 0pt\mathpalette{\relationbuildprojectright\relationbarfill}}
+\def\relationleftproject{\parindent 0pt\mathpalette{\relationbuildprojectleft\relationbarfill}}
+\def\relationlifting{\parindent 0pt\mathpalette{\relationbuildlifting\relationbarfill}}
+%%----------------------------------------
+%% 1. fills
+%%----------------------------------------
+
+\def\relationbarfill#1{
+\m@th\leaders\hbox{$\mkern-2mu\barlong\mkern-2mu$}\hfill
+}
+
+\def\relationverticalbarfillleft#1{
+  \hbox to .5em{\vbox to #1{
+  \leaders\hbox{\hbox{$\verticalbarlongleft$}}
+  \vfill\kern-.5em$\verticalbarlongleft$}}
+}
+
+\def\relationverticalbarfillright#1{
+  \hbox to .5em{\vbox to #1{
+  \leaders\hbox{\hbox{$\verticalbarlongright$}}
+  \vfill\kern-.5em$\verticalbarlongright$}}
+}
+%%----------------------------------------
+%% 2. build
+%%----------------------------------------
+
+\def\relationbuildprojectright #1#2#3{
+%% #1 = \relationbarfill
+%% #2 = \mathchoice
+%% #3 = \relationleftproject{...}
+\setbox0=\hbox{$#3$} %% main expression
+\dimen0=\ht0 %% main box height
+\dimen1=\wd0 %% main box width
+\vbox{
+\ialign{##\crcr
+\noalign{\kern-.3em\nointerlineskip} %% overline
+\hbox to \dimen1{$\kern.1em\brktr$#1#2}$\mkern-3mu
+\arrwr$\crcr
+\noalign{\kern-.1em\nointerlineskip}$\m@th %% main
+\kern.1em\relationverticalbarfillleft{\dimen0}\kern-.3em\box0 $\crcr
+}
+}
+}
+
+\def\relationbuildprojectleft #1#2#3{
+%% #1 = \relationbarfill
+%% #2 = \mathchoice
+%% #3 = \relationleftproject{...}
+\setbox0=\hbox{$#3$} %% main expression
+\dimen0=\ht0 %% main box height
+\dimen1=\wd0 %% main box width
+\vbox{
+\ialign{##\crcr
+\noalign{\kern-.3em\nointerlineskip} %% overline
+\hbox to \dimen1{$\mkern2mu\arrwl$#1#2}$\kern.1em\brktl$\crcr
+\noalign{\kern-.1em\nointerlineskip}$\m@th %% main
+\mkern3mu\box0\mkern-3mu\kern.1em\relationverticalbarfillright{
+\dimen0}$\crcr
+}
+}
+}
+
+\def\relationbuildlifting #1#2#3{
+%% #1 = \relationbarfill
+%% #2 = \mathchoice
+%% #3 = \relationbuildlifting{...}
+\setbox0=\hbox{$#3$} %% main expression
+\dimen0=\ht0 %% main box height
+\dimen1=\wd0 %% main box width
+\advance\dimen1 by -.25em %% close horizontal gap
+\lower.75ex\hbox{\vbox{
+\ialign{##\crcr
+\noalign{\kern0em\nointerlineskip}$\m@th %% main
+\kern.1em\relationverticalbarfillleft{\dimen0}\mkern-5mu
+\box0 $\crcr
+\noalign{\kern-.2em\nointerlineskip} %% underline
+\hbox to \dimen1{$\kern.1em\brktlift$#1#2}$\mkern-3mu\barlong
+\barlong$\crcr
+}
+}
+}\kern-.25em
+}
+
+\endinput
+%%
+%% End of file `esrelation.sty'.
diff --git a/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd b/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd
new file mode 100644
index 00000000000..a08b53023b3
--- /dev/null
+++ b/Master/texmf-dist/tex/latex/esrelation/uesrelation.fd
@@ -0,0 +1,17 @@
+%%
+%% This is file `uesrelation.fd',
+%% generated with the docstrip utility.
+%%
+%% The original source files were:
+%%
+%% esrelation.dtx  (with options: `fd')
+%% 
+%% Copyright (C) 2015
+%% by Byron Cook, Tauba Auerbach, and David Reinfurt
+%% 
+\ProvidesFile{uesrelation.fd}
+\DeclareFontFamily{U}{esrelation}{}
+\DeclareFontShape{U}{esrelation}{m}{n}{<->esrelation10}{}
+\endinput
+%%
+%% End of file `uesrelation.fd'.
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 3f4645b2182..126572bd902 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -208,8 +208,8 @@ my @TLP_working = qw(
     epsdice epsf epsf-dvipdfmx epsincl epslatex-fr
     epspdf epspdfconversion epstopdf epyt
     eqell eqlist eqname eqnarray eqparbox errata esami es-tex-faq
-    erdc erewhon esdiff esint esint-type1 esk eskd eskdx eso-pic esstix esvect
-    estcpmm
+    erdc erewhon esdiff esint esint-type1 esk eskd eskdx
+    eso-pic esrelation esstix estcpmm esvect
     etaremune etdipa etex-pkg etextools ethiop ethiop-t1
     etoc etoolbox etoolbox-de
     euenc eukdate
diff --git a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
index 3d7717b4c94..94a251d4a44 100644
--- a/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-fontsextra.tlpsrc
@@ -92,6 +92,7 @@ depend elvish
 depend epigrafica
 depend epsdice
 depend erewhon
+depend esrelation
 depend esstix
 depend esvect
 depend eulervm
diff --git a/Master/tlpkg/tlpsrc/esrelation.tlpsrc b/Master/tlpkg/tlpsrc/esrelation.tlpsrc
new file mode 100644
index 00000000000..c571a15bdb8
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/esrelation.tlpsrc
@@ -0,0 +1 @@
+execute addMap esrelation.map