X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=week2.mdwn;fp=week2.mdwn;h=1e3aa2bc8799735b8802114a75c34f91e9eea36e;hp=ce2df76df252e30b20e142599925ed771e6097a2;hb=0c631b92e0888c41633150b8d4865b3e1d670a2e;hpb=6b354c56b73998dfcdd5be0f148ad24f1b9fed1d

diff --git a/week2.mdwn b/week2.mdwn
index ce2df76d..1e3aa2bc 100644
--- a/week2.mdwn
+++ b/week2.mdwn
@@ -241,7 +241,7 @@ in two books in the 1990's.
 
 A final linguistic application: Steedman's Combinatory Categorial Grammar, where the "Combinatory" is 
 from combinatory logic (see especially his 2000 book, <cite>The Syntactic Processs</cite>).  Steedman attempts to build
-a syntax/semantics interface using a small number of combinators, including T = `\xy.yx`, B = `\fxy.f(xy)`,
+a syntax/semantics interface using a small number of combinators, including T &equiv; `\xy.yx`, B &equiv; `\fxy.f(xy)`,
 and our friend S.  Steedman used Smullyan's fanciful bird 
 names for the combinators, Thrush, Bluebird, and Starling.